wassail
wassail copied to clipboard
lib/analysis/slice/slicing.ml error on ubuntu 22.04
wasm@wasm:~/Desktop/wassail$ make test
opam exec -- dune build main.exe
opam exec -- dune runtest
[WARNING] using incorrect control_dep algorithm
[WARNING] using incorrect control_dep algorithm
[IMPRECISION] summaries not equal:
expected: stack: [l0], globals: [g0], mem: l0
actual: stack: [l0], globals: [l0,g0], mem: l0,g0
2 call summary:
1 call summary: 2 → l0;g0
0 call summary: 1 → l0, 2 → l0;g0
[WARNING] Analyzing unsafe flows in indirect calls is not yet implemented
2 call summary:
1 call summary: 2 → l0;g0
0 call summary: 1 → l1, 2 → l1;g0
[WARNING] Analyzing unsafe flows in indirect calls is not yet implemented
File "lib/dune", line 22, characters 1-23:
22 | (inline_tests (flags)) ;; To include online one test, use -only-test foo.ml:linenumber
^^^^^^^^^^^^^^^^^^^^^^
[WARNING] instruction is unreachable: 2
[WARNING] instruction is unreachable: 3
[WARNING] instruction is unreachable: 2
File "lib/analysis/slice/slicing.ml", line 1622, characters 2-455: slicing with unreachable return is false.
FAILED 1 / 36 tests
make: *** [Makefile:9: test] Error 1