From: Loup Vaillant Date: Sun, 17 Jun 2018 17:19:20 +0000 (+0200) Subject: Run the TIS interpreter in 2 commands instead of 3. X-Git-Url: https://git.codecow.com/?a=commitdiff_plain;h=db2f87049082e592e150b9db9d80703e54e4f6a1;p=Monocypher.git Run the TIS interpreter in 2 commands instead of 3. The TIS interpreter doesn't need to be run from inside the formal-analysis folder. We can refer to the relevant C files directly. This simplify the README a tiny little bit. --- diff --git a/README.md b/README.md index e728dfe..6d3e600 100644 --- a/README.md +++ b/README.md @@ -89,8 +89,7 @@ You must have Frama-c installed. See `frama-c.sh` for the recommended settings. To run the code under the TIS interpreter, run $ tests/formal-analysis.sh - $ cd tests/formal-analysis - $ tis-interpreter.sh *.c + $ tis-interpreter.sh tests/formal-analysis/*.c (Note: `tis-interpreter.sh` is part of TIS. If it is not in your path, adjust the command accordingly.)