From db2f87049082e592e150b9db9d80703e54e4f6a1 Mon Sep 17 00:00:00 2001
From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Sun, 17 Jun 2018 19:19:20 +0200
Subject: [PATCH] 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.
---
 README.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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.)
-- 
2.47.3