Lean: Monadic lets and returns #1871
javraAnnotations
3 errors and 1 notice
|
1 out of 8 runs with error: struct.sail:
/#L0
./lean/tests.xml
|
|
bitfield.sail with error:
/#L0
./lean/tests.xml
|
|
enum.sail with error:
/#L0
./lean/tests.xml
|
|
750 tests found
There are 750 tests, see "Raw output" for the full list of tests.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
code-coverage
|
1.32 MB |
|
|
event.json
|
3.38 KB |
|
|
test-results
|
12 KB |
|