Coq: drop old testing _CoqProject file, and update test skip list

rems-project · Sep 12, 2023 · 8171ef5 · 8171ef5
1 parent 7131062
commit 8171ef5
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/test/coq/_CoqProject b/test/coq/_CoqProject
diff --git a/test/coq/skip b/test/coq/skip
@@ -38,3 +38,10 @@ XXXXX Existential that should produce a pair
 exist_tlb.sail
 XXXXX A use of an existential type that's not supported yet
 ast_with_dep_tuple.sail
+XXXXX Essential use of an equality constraint in the context
+equation_arguments.sail
+multiple_unifiers.sail
+type_div.sail
+XXXXX Need to be built against stdpp version of Sail (for now)
+concurrency_interface_dec.sail
+concurrency_interface_inc.sail