Commit 13e61437 authored by Yliès Falcone's avatar Yliès Falcone
Browse files

Update README.md

parent 8e763bb9
......@@ -61,11 +61,12 @@ opam install --unlock-base oasis camlp4 batteries ocamlbuild ocamlfind
```
oasis setup -setup-update dynamic
```
6. To build DecentMon, run:
6. Edit setup.data to match the pathes of your OCaml binaries.
7. To build DecentMon, run:
```
ocaml setup.ml -build
```
7. If need be, to clean DecentMon, run:
8. If need be, to clean DecentMon, run:
```
ocaml setup.ml -clean
```
......@@ -73,7 +74,7 @@ ocaml setup.ml -clean
## 4 Running DecentMon
To run the benchmark, it is simply needed to run the executable file "decentmon" with appropriate options.
To run the benchmark, it is simply needed to run the executable file "decentmon" (either native or bytecode) with appropriate options.
Two kinds of benchmarks are implemented for now. Options required for both kinds are described below.
### Benchmarking randomly generated LTL formulae
......
Markdown is supported
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