=========================================================
equiv_status - print status of equivalent checking module
=========================================================

.. raw:: latex

    \begin{comment}

.. cmd:def:: equiv_status
    :title: print status of equivalent checking module



    .. code:: yoscrypt

        equiv_status [options] [selection]

    ::

        This command prints status information for all selected $equiv cells.


    .. code:: yoscrypt

        -assert

    ::

            produce an error if any unproven $equiv cell is found

.. raw:: latex

    \end{comment}

.. only:: latex

    ::

        
            equiv_status [options] [selection]
        
        This command prints status information for all selected $equiv cells.
        
            -assert
                produce an error if any unproven $equiv cell is found