From 015a63d629430efb827871e3ab33865542ab9ea3 Mon Sep 17 00:00:00 2001
From: Haron-Benfaida <110578609+Haron-Benfaida@users.noreply.github.com>
Date: Sat, 9 Nov 2024 13:00:02 -0800
Subject: [PATCH] add countnegative test case #2

---
 .../programs/countnegative/config.yaml        | 23 +++++++++++++++++++
 .../{ => countnegative}/countnegative.c       |  0
 test/tacle_test/wcet_test.py                  | 11 ++++++++-
 3 files changed, 33 insertions(+), 1 deletion(-)
 create mode 100644 test/tacle_test/programs/countnegative/config.yaml
 rename test/tacle_test/programs/{ => countnegative}/countnegative.c (100%)

diff --git a/test/tacle_test/programs/countnegative/config.yaml b/test/tacle_test/programs/countnegative/config.yaml
new file mode 100644
index 0000000..3847e8e
--- /dev/null
+++ b/test/tacle_test/programs/countnegative/config.yaml
@@ -0,0 +1,23 @@
+---
+gametime-project:
+  file:
+    location: countnegative.c
+    analysis-function: main
+    additional-files: []
+    start-label: null
+    end-label: null
+
+
+  preprocess:
+    include: null
+    merge: null
+    inline: yes
+    unroll-loops: null
+
+  analysis:
+    maximum-error-scale-factor: 10
+    determinant-threshold: 0.001
+    max-infeasible-paths: 100
+    ilp-solver: glpk
+    gametime-path: ../../ # default path when tests locally
+    gametime-file-path: ../../../.. # default path when tests locally
diff --git a/test/tacle_test/programs/countnegative.c b/test/tacle_test/programs/countnegative/countnegative.c
similarity index 100%
rename from test/tacle_test/programs/countnegative.c
rename to test/tacle_test/programs/countnegative/countnegative.c
diff --git a/test/tacle_test/wcet_test.py b/test/tacle_test/wcet_test.py
index 1a3ee3c..ba149f5 100644
--- a/test/tacle_test/wcet_test.py
+++ b/test/tacle_test/wcet_test.py
@@ -104,6 +104,14 @@ class TestBinarysearchX86(TestX86Backend):
     config_path = "./programs/binarysearch/config.yaml"
 class TestBinarysearchARM(TestARMBackend):
     config_path = "./programs/binarysearch/config.yaml"
+
+
+class TestCountNegativeFlexpret(TestFlexpretBackend):
+    config_path = "./programs/countnegative/config.yaml"
+class TestCountNegativeX86(TestX86Backend):
+    config_path = "./programs/countnegative/config.yaml"
+class TestCountNegativeARM(TestARMBackend):
+    config_path = "./programs/countnegative/config.yaml"
     
 
 
@@ -120,7 +128,8 @@ class TestBinarysearchARM(TestARMBackend):
     # suite.addTests(loader.loadTestsFromTestCase(TestIfElifElseX86))
     # suite.addTests(loader.loadTestsFromTestCase(TestBinarysearchARM))
     # suite.addTests(loader.loadTestsFromTestCase(TestIfElifElseARM))
-    suite.addTests(loader.loadTestsFromTestCase(TestPrimeARM))
+    # suite.addTests(loader.loadTestsFromTestCase(TestPrimeARM))
+    suite.addTests(loader.loadTestsFromTestCase(TestCountNegativeARM))
 
     runner = unittest.TextTestRunner()
     runner.run(suite)