test reports

katamaran-project · Nov 15, 2024 · efe0f13 · efe0f13
1 parent b876330
commit efe0f13
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/tests/coq-tests/tests-history.txt b/tests/coq-tests/tests-history.txt
@@ -138,3 +138,5 @@
 2024-11-15 PASS:143 FAIL:13
 2024-11-15 PASS:144 FAIL:12
 2024-11-15 PASS:145 FAIL:11
+2024-11-15 PASS:145 FAIL:11
+2024-11-15 PASS:147 FAIL:11
diff --git a/tests/coq-tests/tests-overview.txt b/tests/coq-tests/tests-overview.txt
@@ -17,8 +17,10 @@ PASS bitvectors-register
 PASS bitvectors-returning
 PASS bool-conjunction
 PASS bool-disjunction
-PASS bool-equality
-PASS bool-inequality
+PASS bool-equality-function-notation
+PASS bool-equality-infix-notation
+PASS bool-inequality-function-notation
+PASS bool-inequality-infix-notation
 PASS bool-manual-equality
 PASS bool-negation
 PASS bool-return-false
@@ -154,4 +156,4 @@ FAIL unit-equality
 PASS unit-return
 PASS value-definitions-001
 PASS value-definitions-002
-PASS:145 FAIL:11
+PASS:147 FAIL:11