From 1723a435272ce6372681b9da6897abc7c8336176 Mon Sep 17 00:00:00 2001 From: maaz139 Date: Mon, 8 Aug 2016 00:21:25 -0700 Subject: [PATCH 1/2] Update README.md --- README.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 76774c5..f610214 100644 --- a/README.md +++ b/README.md @@ -15,10 +15,13 @@ To learn more about Casper, visit our [homepage](http://casper.uwplse.org), read Nodejs* - https://nodejs.org/en/ * optional, for generated code formatting - You must set environment variables for Sketch and Dafny for Casper to run successfully. To check whether you have all the necessary dependencies installed and properly configured, you can run: + You must set environment variables for Sketch and Dafny for Casper to run successfully. To + check whether you have all the necessary dependencies installed and properly configured, + you can run: $ ./bin/check.sh - You can compile the project by running ant in the project's root directory. Once compiled, you run the tool as follows: + You can compile the project by running ant in the project's root directory. Once compiled, + you run the tool as follows: $ ./bin/run.sh [input-file] [output-file] To help you get started, check out the benchmarks under `/bin/benchmarks`. In From 7078c35e9bce8446fde56a4468c93e59e228a250 Mon Sep 17 00:00:00 2001 From: maaz139 Date: Mon, 8 Aug 2016 00:48:54 -0700 Subject: [PATCH 2/2] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index f610214..b1d92d3 100644 --- a/README.md +++ b/README.md @@ -20,7 +20,7 @@ To learn more about Casper, visit our [homepage](http://casper.uwplse.org), read you can run: $ ./bin/check.sh - You can compile the project by running ant in the project's root directory. Once compiled, + You can compile the project by running 'ant' in the project's root directory. Once compiled, you run the tool as follows: $ ./bin/run.sh [input-file] [output-file]