Skip to content
Snippets Groups Projects
Commit 41df8d02 authored by Michele Alberti's avatar Michele Alberti
Browse files

[doc] Rework instruction for path to solver.

parent 9d4ceb72
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 2 deletions
doc/usage.rst
+ 3
− 2
View file @ 41df8d02
......@@ -38,8 +38,9 @@ Each supported prover is registered by specifying the following fields:
* ``driver``: location of the CAISAR driver for the prover, if any
Assuming you have installed a prover and you filled the `caisar-detection.conf` file,
you can register the prover to CAISAR using the following command: ``DIR=/path/to/solver/exec caisar config -d``.
Assuming you have installed a prover and you filled the
``caisar-detection.conf`` file, you can register the prover to CAISAR using the
following command: ``PATH=$PATH:/path/to/solver/executable caisar config -d``.
Property verification
---------------------
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment