test reports

katamaran-project · Nov 22, 2024 · 9f04b98 · 9f04b98
1 parent 303559d
commit 9f04b98
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/tests/coq-tests/tests-history.txt b/tests/coq-tests/tests-history.txt
@@ -185,3 +185,4 @@
 2024-11-22 PASS:198 FAIL:13
 2024-11-22 PASS:198 FAIL:14
 2024-11-22 PASS:198 FAIL:14
+2024-11-22 PASS:200 FAIL:14
diff --git a/tests/coq-tests/tests-overview.txt b/tests/coq-tests/tests-overview.txt
@@ -29,9 +29,10 @@ PASS bitvectors-hexadecimal-literal
 FAIL bitvectors-indexing
 PASS bitvectors-matching
 PASS bitvectors-nested-comparison
-PASS bitvectors-ones-with-literal
-PASS bitvectors-ones-with-sizeof
-PASS bitvectors-ones-with-variable
+PASS bitvectors-ones-with-literal-formatting
+PASS bitvectors-ones-with-literal-size
+PASS bitvectors-ones-with-sizeof-size
+PASS bitvectors-ones-with-variable-size
 PASS bitvectors-parameter
 PASS bitvectors-register
 PASS bitvectors-returning
@@ -211,4 +212,4 @@ PASS unit-equality
 PASS unit-return
 PASS value-definitions-001
 PASS value-definitions-002
-PASS:199 FAIL:14
+PASS:200 FAIL:14