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

Update commands in readme file.

parent 777cf520
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 16 additions and 16 deletions
README.md
+ 16
− 16
View file @ 864aa46e
...@@ -19,7 +19,7 @@ v2.1 or higher, which is typically avaible in all major GNU/Linux distributions. ...@@ -19,7 +19,7 @@ v2.1 or higher, which is typically avaible in all major GNU/Linux distributions.
To install CAISAR via [opam](https://opam.ocaml.org/), do the following: To install CAISAR via [opam](https://opam.ocaml.org/), do the following:
``` ```
$ opam install caisar opam install caisar
``` ```
### Docker image ### Docker image
...@@ -28,20 +28,20 @@ A ready-to-use [Docker](https://www.docker.com/) image of CAISAR is available on ...@@ -28,20 +28,20 @@ A ready-to-use [Docker](https://www.docker.com/) image of CAISAR is available on
[Docker Hub](https://hub.docker.com). To retrieve such an image, do the [Docker Hub](https://hub.docker.com). To retrieve such an image, do the
following: following:
``` ```
$ docker pull laiser/caisar:pub docker pull laiser/caisar:pub
``` ```
Alternatively, a [Docker](https://www.docker.com/) image for CAISAR can be Alternatively, a [Docker](https://www.docker.com/) image for CAISAR can be
created locally by proceeding as follows: created locally by proceeding as follows:
``` ```
$ git clone https://git.frama-c.com/pub/caisar git clone https://git.frama-c.com/pub/caisar
$ cd caisar cd caisar
$ make docker make docker
``` ```
To run the CAISAR [Docker](https://www.docker.com/) image, do the following: To run the CAISAR [Docker](https://www.docker.com/) image, do the following:
``` ```
$ docker run -it laiser/caisar:pub sh docker run -it laiser/caisar:pub sh
``` ```
### From source code ### From source code
...@@ -52,24 +52,24 @@ v2.1 or higher, which is typically avaible in all major GNU/Linux distributions. ...@@ -52,24 +52,24 @@ v2.1 or higher, which is typically avaible in all major GNU/Linux distributions.
To build and install CAISAR, do the following: To build and install CAISAR, do the following:
``` ```
$ git clone https://git.frama-c.com/pub/caisar git clone https://git.frama-c.com/pub/caisar
$ cd caisar cd caisar
$ opam switch create --yes --no-install . 4.13.1 opam switch create --yes --no-install . 4.13.1
$ opam install . --deps-only --with-test --yes opam install . --deps-only --with-test --yes
$ make make
$ make install make install
``` ```
To run the tests: To run the tests:
``` ```
$ make test make test
``` ```
## Usage ## Usage
To start using CAISAR, please run the command: To start using CAISAR, please run the command:
``` ```
$ caisar --help caisar --help
``` ```
### Property verification ### Property verification
...@@ -79,7 +79,7 @@ machines (SVM). ...@@ -79,7 +79,7 @@ machines (SVM).
The prototype command is: The prototype command is:
``` ```
$ caisar verify --prover=PROVER FILE caisar verify --prover=PROVER FILE
``` ```
`FILE` defines the property to verify, and it must be `FILE` defines the property to verify, and it must be
...@@ -97,7 +97,7 @@ path to the prover executables should appear in the environment variable ...@@ -97,7 +97,7 @@ path to the prover executables should appear in the environment variable
Run the following command to confirm that CAISAR detects the installed provers: Run the following command to confirm that CAISAR detects the installed provers:
``` ```
$ caisar config --detect caisar config --detect
``` ```
The following are the provers for which a support is provided in CAISAR: The following are the provers for which a support is provided in CAISAR:
......
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