From 3eee31df2a2c07eca7e899b42746ce02af9c56ff Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 12 Jun 2020 17:41:11 +0100
Subject: Update sailcov readme for option change

---
 sailcov/README.md | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/sailcov/README.md b/sailcov/README.md
index a7aadc68..31c775c1 100644
--- a/sailcov/README.md
+++ b/sailcov/README.md
@@ -9,13 +9,12 @@ Requires OCaml 4.07 or greater
 
 First, compile your model to c using the `-c_coverage` flag and
 including the [sail_coverage.h](../lib/sail_coverage.h) header via
-the `-c_include sail_coverage.h` flag. Currently the `-c_coverage`
-option will print information about possible branches and function
-calls to stdout, which will be needed later, so redirect this to a
-file called `all_branches`, i.e.
+the `-c_include sail_coverage.h` flag. The `-c_coverage`
+option will print information about all possible branches and function
+calls to a given file, called `all_branches` in the example below, i.e.
 
 ```
-sail -c -c_coverage -c_include sail_coverage.h my_model.sail -o my_model > all_branches
+sail -c -c_coverage all_branches -c_include sail_coverage.h my_model.sail -o my_model
 ```
 
 Next we need to link implementations of the coverage tracking
-- 
cgit v1.2.3