diff --git a/code/nnv/examples/Submission/VNN_COMP2024/config.yaml b/code/nnv/examples/Submission/VNN_COMP2024/config.yaml index c5a75c586..117a3957b 100644 --- a/code/nnv/examples/Submission/VNN_COMP2024/config.yaml +++ b/code/nnv/examples/Submission/VNN_COMP2024/config.yaml @@ -4,6 +4,6 @@ scripts_dir: code/nnv/examples/Submission/VNN_COMP2024/ manual_installation_step: True run_installation_script_as_root: True run_post_installation_script_as_root: False -run_toolkit_as_root: False +run_toolkit_as_root: True description: > Matlab Toolbox for Neural Network Verification. This toolbox implements reachability methods for analyzing deep learning models including but not limited to convolutional, recurrent and binary neural networks. NNV is also capable of analyzing neural networks on closed-loop controllers in autonomous cyber-physical systems (CPS).