no need for manuel post install

mldiego · Jul 11, 2024 · bf572c7 · bf572c7
1 parent 2dde2c2
commit bf572c7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 8 deletions.
diff --git a/code/nnv/examples/Submission/VNN_COMP2024/config.yaml b/code/nnv/examples/Submission/VNN_COMP2024/config.yaml
@@ -1,7 +1,7 @@
 name: nnv
 ami: ami-080fce32dc8c15ced
 scripts_dir: code/nnv/examples/Submission/VNN_COMP2024/
-manual_installation_step: True
+manual_installation_step: False
 run_installation_script_as_root: False
 run_post_installation_script_as_root: False
 run_toolkit_as_root: False

diff --git a/code/nnv/examples/Submission/VNN_COMP2024/run_vnncomp2024_instance.m b/code/nnv/examples/Submission/VNN_COMP2024/run_vnncomp2024_instance.m
@@ -76,13 +76,6 @@
 
             reachOptions = reachOptionsList{1};
 
-            if strcmp(reachOptions.reachMethod, 'exact-star')
-                p = gcp('nocreate');
-                if isempty(p)
-                    parpool('Threads');
-                end
-            end
-
             IS = create_input_set(lb, ub, inputSize, needReshape);
 
             % Compute reachability