Merge pull request #221 from SethPoulsen/test-readme

Fix typos in Test README
boogie-org · Apr 15, 2020 · daf8f92 · daf8f92
2 parents 6ba61ee + 5bf3931
commit daf8f92
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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