testing.rst

Testing

You can run tests using the following commands.

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.