forked from PLSysSec/sys
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathAllTests.hs
39 lines (34 loc) · 1.51 KB
/
AllTests.hs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
module AllTests (allTests) where
import Constants (constantTests)
import Instructions (instructionTests)
import PathPrefix (pathPrefixTests)
import Pathsearch (pathSearchTests)
import Regression (regressionTests)
import SSA (ssaTests)
import RenameVariables (renameVariablesTests)
import Representation (representationTests)
import StaticPath (staticPathTests)
import Types (typeTests)
import Vectors (vectorTests)
import BenchUtils
frontendTests :: BenchTest
frontendTests = benchTestGroup "Frontend" [ renameVariablesTests
, ssaTests
, pathSearchTests
, representationTests
, pathPrefixTests
, staticPathTests
]
backendTests :: BenchTest
backendTests = benchTestGroup "Backend" [ instructionTests
, constantTests
, vectorTests
, typeTests
]
endToEndTests :: BenchTest
endToEndTests = benchTestGroup "End-to-end" [ regressionTests ]
allTests :: [BenchTest]
allTests = [ frontendTests
, backendTests
, endToEndTests
]