From 6383270fd2dec40928ab97fa534dceb1b3128e28 Mon Sep 17 00:00:00 2001
From: Diego Manzanas <diego.manzanas.lopez@vanderbilt.edu>
Date: Wed, 18 Oct 2023 11:31:43 -0500
Subject: [PATCH] Finalizing CI

---
 .github/workflows/ci.yml                    |  3 +--
 code/nnv/engine/utils/is_github_actions.m   |  6 ------
 code/nnv/tests/tutorial/test_all_tutorial.m | 13 +------------
 3 files changed, 2 insertions(+), 20 deletions(-)

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;