You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Then I tried to replay test000001.ktest with klee-replay and it gave " KLEE_RUN_TEST_ERROR: object name mismatch. Requesting "a" but returning "arg00" "
@Hripsime-H thanks for your report. Right now, KLEE does not support replaying a test involving both symbolic arguments/files and klee_make_symbolic (or similar) calls. I have marked this issue as a feature request.
I run KLEE on the following C example (ex.c)
I compiled to bitcode using the following command
clang -emit-llvm -c ex.c -I include -S -o argument.ll
I compiled the executable using the following command
clang ex.c -L build/lib/ -I include -o argument.out -lkleeRuntest
I ran KLEE using the following command
klee -posix-runtime argument.ll -sym-arg 5
Output:
Then I tried to replay test000001.ktest with klee-replay and it gave " KLEE_RUN_TEST_ERROR: object name mismatch. Requesting "a" but returning "arg00" "
KTEST_FILE=/absalute/path/to/klee-last/test000001 klee-replay argument.out /absalute/path/to/klee-last/test000001.ktest
Output:
ktest-tool klee-last/test000001.ktest
The text was updated successfully, but these errors were encountered: