Skip to content

Commit

Permalink
test reports
Browse files Browse the repository at this point in the history
  • Loading branch information
@fvogels
fvogels committed Nov 18, 2024
1 parent 30e9875 commit 3b57b23
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
1 change: 1 addition & 0 deletions tests/coq-tests/tests-history.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -165,3 +165,4 @@
2024-11-18 PASS:165 FAIL:12
2024-11-18 PASS:166 FAIL:11
2024-11-18 PASS:166 FAIL:11
2024-11-18 PASS:167 FAIL:10
4 changes: 2 additions & 2 deletions tests/coq-tests/tests-overview.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -171,8 +171,8 @@ PASS unions-scattered-unary
PASS unions-scattered-with-alias
PASS unions-with-record-field
PASS unions-with-union-field
FAIL unit-equality
PASS unit-equality
PASS unit-return
PASS value-definitions-001
PASS value-definitions-002
PASS:166 FAIL:11
PASS:167 FAIL:10

0 comments on commit 3b57b23

Please sign in to comment.