From 5bf3931c6a26c551c3280e982b89195dd6b3c1fa Mon Sep 17 00:00:00 2001 From: Seth Poulsen Date: Tue, 14 Apr 2020 16:43:15 -0500 Subject: [PATCH] Fix typos in Test README --- Test/README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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