Merge branch 'master' of https://github.com/mldiego/nnv

mldiego · Mar 29, 2024 · 3b0c499 · 3b0c499
2 parents caae820 + c6d8d5c
commit 3b0c499
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/code/nnv/examples/Submission/VNN_COMP2023/README.md b/code/nnv/examples/Submission/VNN_COMP2023/README.md
@@ -34,7 +34,6 @@ TODO:
 
 2) Go to https://github.com/ChristopherBrix/vnncomp2023_benchmarks, clone the repo and run (in your desired folder) ./setup.sh
 
-3) Change line 4 in 'test_some_instances.m' to the folder where you downloaded the benchmarks.
+3) Change line 4 in `test_some_instances.m` to the folder where you downloaded the benchmarks.
 
-
-3) 
+4) Run `test_some_instances.m`. Change the instances tested as desired from the vnncomp_benchmarks repo.