diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a440b6ec8c..c0ba6715a2 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -32,5 +32,4 @@ jobs: - name: Run all tests uses: matlab-actions/run-command@v1 with: - command: disp('Running NNV custom testing procedure!'); diary github_actions.txt; disp('creating file for testing'); diary off; cd("code/nnv"); install; disp(pwd); disp(is_github_actions()); results = runtests('tests', 'IncludeSubfolders', true); assertSuccess(results); - # command: disp('Running NNV custom testing procedure!'); mkdir('/github_actions-true'); cd("code/nnv"); install; results = runtests('tests', 'IncludeSubfolders', true); assertSuccess(results); + command: disp('Running NNV custom testing procedure!'); diary github_actions.txt; disp('creating file for testing'); diary off; cd("code/nnv"); install; results = runtests('tests', 'IncludeSubfolders', true); assertSuccess(results); diff --git a/code/nnv/engine/utils/is_github_actions.m b/code/nnv/engine/utils/is_github_actions.m index 85225d2aa0..c577873200 100644 --- a/code/nnv/engine/utils/is_github_actions.m +++ b/code/nnv/engine/utils/is_github_actions.m @@ -1,12 +1,6 @@ function out = is_github_actions() nnvpath = nnvroot(); file_path = [nnvpath, '/github_actions.txt']; - % for debugging - disp(nnvpath); - disp(file_path); - allfiles = dir(nnvpath); - tableFiles = struct2table(allfiles); - disp(tableFiles); if isfile(file_path) out = 1; % 'github actions detected' diff --git a/code/nnv/tests/tutorial/test_all_tutorial.m b/code/nnv/tests/tutorial/test_all_tutorial.m index e72a5a862b..8f39d99edc 100644 --- a/code/nnv/tests/tutorial/test_all_tutorial.m +++ b/code/nnv/tests/tutorial/test_all_tutorial.m @@ -7,19 +7,11 @@ verify_onnx_vnnlib; end -%% 2) NN: GTSRB (verify_falsify_1) -cd ../GTSRB; -verify_falsify_1; %% 3) NN: GTSRB (verify_robust_13) +cd ../GTSRB; verify_robust_13; -%% 4) NN: GTSRB (verify_robust_27) -verify_robust_27; - -%% 5) NN: GTSRB (verify_unknown_1) -verify_unknown_1; - %% 6) NN: MNIST (input set examples) cd ../MNIST; input_set_examples; @@ -42,9 +34,6 @@ cd ../../AEBS; reach; -%% 12) NNCS: AEBS (reach_full_brake) -reach_full_brake; - %% 13) NNCS: Inverted Pendulum cd ../InvertedPendulum; reach_invP;