Document lit's ``-s`` option.

1 files changed, 15 insertions, 1 deletions

diff --git a/Test/README.md b/Test/README.md
index 136881a5..05a0f521 100644
--- a/Test/README.md
+++ b/Test/README.md
@@ -76,7 +76,15 @@ $ cd Test
 $ lit test0/ livevars/bla1.bpl aitest0/constants.bpl

 ```

 

-Note replace ``/`` with ``\`` on Windows (tab completition is your friend)

+Note replace ``/`` with ``\`` on Windows (tab completition is your friend).

+

+If you would prefer to see less information when running tests you can use the

+``-s`` flag to show progress information and a summary when tests finish.

+

+```

+$ cd Test

+$ lit -s .

+```

 

 To pass additional flags to Boogie when running tests run the following command

 where ``-someParamter`` is a paramter Boogie supports.

@@ -86,6 +94,12 @@ $ cd Test
 $ lit --param boogie_params='-someParameter' .

 ```

 

+For more ``lit`` options run

+

+```

+$ lit --help

+```

+

 Debugging failing tests

 -----------------------