arm-hyp regression: minimise run_tests exclusions

seL4 · Aug 23, 2017 · 6aa0ef4 · 6aa0ef4
1 parent 4d81972
commit 6aa0ef4
Showing 1 changed file with 3 additions and 35 deletions.
diff --git a/run_tests b/run_tests
@@ -44,44 +44,12 @@ if os.environ.has_key("QUICK_AND_DIRTY"):
 
 # Lists of excluded tests for diferent archs
 EXCLUDE={}
+
 EXCLUDE["ARM_HYP"]=[
-    "CamkesAdlSpec",
-    "CamkesGlueSpec",
-    "SimpleSystem",
-    "RelyGuarantee",
-    "Sep_Algebra",
-    "tests-xml-correct",
-    "SepTactics",
-    "SepTacticsExamples",
-    "DBaseRefine",
-    "DRefine",
     "Access",
-    "InfoFlow",
-    "ArmConfidentiality",
-    "DPolicy",
-    "CamkesCdlRefine",
     "Bisim",
-    "DSpec",
-    "SepDSpec",
-    "DSpecProofs",
-    "TakeGrant",
-    "ASepSpec",
-    "HaskellKernel",
-    "SysInit",
-    "SysInitExamples",
-    "InfoFlowCBase",
-    "InfoFlowC",
-    "SimplExportAndRefine",
-    "CParserTest",
-    "CParserTestX64",
-    "CParserTools",
-    "AutoCorres",
-    "CamkesGlueProofs",
-    "CamkesDarpaReport",
-    "theory_imports",
-    "AutoCorresDoc",
-    "AutoCorresTest",
-    "AutoCorresSEL4"]
+    "DRefine",
+    "SimplExportAndRefine"]
 
 EXCLUDE["ARM"]=[]