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 e728dfed592b8b4148e7e53d3a88ef90ce54e590..6d3e60080059c76c1bbf2e6a0a79b3b4dc6cb52c 100644 (file)
--- 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.)