Merge pull request eth-sri#7 from kylematoba/master

Fix setup instructions
Grena-verifier · Jun 14, 2019 · 02d060b · 02d060b
2 parents d5ea0b9 + 3567b74
commit 02d060b
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -126,7 +126,7 @@ Usage
 -------------
 
 ```
-cd tf-verify
+cd tf_verify
 
 python3 . --netname <path to the network file> --epsilon <float between 0 and 1> --domain <deepzono/deeppoly/refinezono> --dataset <mnist/cifar10/acasxu> [optional] --complete <True/False> --timeout_lp <float> --timeout_milp <float> --use_area_heuristic <True/False>
 ```

diff --git a/tf_verify/gurobi_setup_path.sh → gurobi_setup_path.sh b/tf_verify/gurobi_setup_path.sh → gurobi_setup_path.sh
-Original file line number
+Diff line change
@@ Expand Up / @@ -126,7 +126,7 @@ Usage @@
     -------------
     ```
-    cd tf-verify
+    cd tf_verify
     python3 . --netname <path to the network file> --epsilon <float between 0 and 1> --domain <deepzono/deeppoly/refinezono> --dataset <mnist/cifar10/acasxu> [optional] --complete <True/False> --timeout_lp <float> --timeout_milp <float> --use_area_heuristic <True/False>
     ```
@@ Expand Down @@