Finalizing CI

mldiego · Oct 18, 2023 · 6383270 · 6383270
1 parent ca1d5f5
commit 6383270
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 20 deletions.
diff --git 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
@@ -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
@@ -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;