test reports

katamaran-project · Nov 16, 2024 · 22940ab · 22940ab
1 parent 9cf3bc9
commit 22940ab
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/tests/coq-tests/tests-history.txt b/tests/coq-tests/tests-history.txt
@@ -143,3 +143,4 @@
 2024-11-16 PASS:147 FAIL:11
 2024-11-16 PASS:147 FAIL:11
 2024-11-16 PASS:147 FAIL:11
+2024-11-16 PASS:147 FAIL:17
diff --git a/tests/coq-tests/tests-overview.txt b/tests/coq-tests/tests-overview.txt
@@ -9,12 +9,18 @@ FAIL bit-returning-zero
 PASS bitvectors-addition
 PASS bitvectors-alias
 PASS bitvectors-binary-literal
+FAIL bitvectors-conjunction
+FAIL bitvectors-disjunction
 PASS bitvectors-hexadecimal-literal
 FAIL bitvectors-indexing
 FAIL bitvectors-matching
+FAIL bitvectors-ones
 PASS bitvectors-parameter
 PASS bitvectors-register
 PASS bitvectors-returning
+FAIL bitvectors-subtraction
+FAIL bitvectors-xor
+FAIL bitvectors-zeros
 PASS bool-conjunction
 PASS bool-disjunction
 PASS bool-equality-function-notation
@@ -156,4 +162,4 @@ FAIL unit-equality
 PASS unit-return
 PASS value-definitions-001
 PASS value-definitions-002
-PASS:147 FAIL:11
+PASS:147 FAIL:17