Lean: use match_bv to match on bitvectors for function clauses
#2129
bacamAnnotations
1 notice
|
765 tests found
There are 765 tests, see "Raw output" for the full list of tests.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
code-coverage
|
1.32 MB |
|
|
event.json
|
3.49 KB |
|
|
test-results
|
12.2 KB |
|