klee icon indicating copy to clipboard operation
klee copied to clipboard

Published 20 hours ago • verified publisher icon klee

Some of the system tests fail

Open davidtr1037 opened this issue 10 months ago • 2 comments

Some of the tests related to ubsan runtime fail when running: make check (or make systemtests). It seems that debug information is missing and as a result, the log messages are different from those that are expected. For example:

KLEE: ERROR: (location information missing) load invalid value

Are some specific compilation flags needed in order to run make check?

Run: make check

The output can be seen when running the command from above.

Running on Ubuntu 22.04 with:

  • GCC 11.4.0
  • LLVM 13.0.0 (compiled from sources)

davidtr1037 avatar Apr 10 '24 15:04 davidtr1037