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)