feat(test/lean): support self-tests from the C backend #2068
AlasdairAnnotations
1 error and 1 notice
|
1 out of 9 runs with error: hello_world.sail:
/#L0
./lean/tests.xml
|
|
764 tests found
There are 764 tests, see "Raw output" for the full list of tests.
|