add countnegative test case #2

icyphy · Nov 9, 2024 · 015a63d · 015a63d
1 parent 8b5f74c
commit 015a63d
Show file tree

Hide file tree

Showing 3 changed files with 33 additions and 1 deletion.
diff --git a/test/tacle_test/programs/countnegative/config.yaml 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 → ...st/programs/countnegative/countnegative.c b/test/tacle_test/programs/countnegative.c → ...st/programs/countnegative/countnegative.c
diff --git 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)