From c6d8d5ce3f369ef21a6e75e8846ff18b2ff68de5 Mon Sep 17 00:00:00 2001 From: Diego Manzanas Lopez Date: Fri, 29 Mar 2024 16:48:19 -0500 Subject: [PATCH] Update README.md --- code/nnv/examples/Submission/VNN_COMP2023/README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/code/nnv/examples/Submission/VNN_COMP2023/README.md b/code/nnv/examples/Submission/VNN_COMP2023/README.md index d3a2824698..e55f9df1e6 100644 --- a/code/nnv/examples/Submission/VNN_COMP2023/README.md +++ b/code/nnv/examples/Submission/VNN_COMP2023/README.md @@ -34,5 +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. +4) Run `test_some_instances.m`. Change the instances tested as desired from the vnncomp_benchmarks repo.