Closed jzstark closed 1 year ago
base
zoo
aeos
Currently the make test still returns error message on my machine:
make test
File "test/dune", line 2, characters 8-19: 2 | (names test_runner) ^^^^^^^^^^^ (cd _build/default/test && ./test_runner.exe) Command got signal SEGV.
EDIT:
I checked the test cases, and found that as long as I remove the following two test sets, make test works fine:
"linear algebra", Unit_linalg.test_set second test ("algodiff matrix", Unit_algodiff_matrix.[ Reverse.test; Forward.test ])
The make test passed on my machine, Win10 Enterprise, Ubuntu on WSL. What is your environment?
base
zoo
moduleaeos
moduleCurrently the
make test
still returns error message on my machine:EDIT:
I checked the test cases, and found that as long as I remove the following two test sets,
make test
works fine: