diff --git a/Test/README.md b/Test/README.md index 6e315d132..6706b4369 100644 --- a/Test/README.md +++ b/Test/README.md @@ -76,7 +76,7 @@ $ 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 completion 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. @@ -87,7 +87,7 @@ $ lit -s . ``` To pass additional flags to Boogie when running tests run the following command -where ``-someParamter`` is a paramter Boogie supports. +where ``-someParameter`` is a parameter Boogie supports. ``` $ cd Test @@ -104,7 +104,7 @@ Debugging failing tests ----------------------- You can pass the ``-v`` flag to get more verbose output to try to determine why -certains tests are failing. +certain tests are failing. ``` $ cd Test