run_tests: configure RISCV64 sessions for abstract invariant proofs

Enable AInvs, remove everything from Refine onwards, but include CSpec.
seL4 · Jul 31, 2019 · 17ca50d · 17ca50d
1 parent 3f32b21
commit 17ca50d
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/run_tests b/run_tests
@@ -64,15 +64,17 @@ EXCLUDE["X64"]=[
 ]
 
 EXCLUDE["RISCV64"]=[
-    "AInvs",
-    "ASepSpec",
+    "Access",
+    "AutoCorresSEL4",
+    "Bisim",
+    "BaseRefine",
     "DSpec",
-    "c-kernel",
-    "CKernel",
-    "CSpec",
+    "DBaseRefine",
+    "CBaseRefine",
     "CamkesDarpaReport",
     "CamkesGlueProofs",
     "RefineOrphanage",
+    "SimplExportAndRefine",
     "AsmRefine"
 ]