Testing
===================

You can run tests using the following commands.

.. code:: bash

   make tests        # Unit tests (not stopping on failure).
   make real_tests   # Unit tests (stopping on first failure).

   make dklib        # Checks files at https://github.com/rafoo/dklib/
   make focalide     # Checks files generated from the Focalize library
   make holide       # Checks files generated from the OpenTheory library
   make matita       # Checks the traduction of Matita's arithmetic library.
   make verine       # Checks files generated by the VeriT prover.
   make iprover      # Checks files generated by iProverModulo.
   make zenon_modulo # Checks files generated by ZenonModulo.