diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2024-05-10 15:32:14 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2024-05-10 15:32:14 +0900 |
| commit | 29722642fda319da96cee10f209a5121f1988767 (patch) | |
| tree | ff46f312e866dc3e1c49f2b4e074fe844bd0bf01 | |
| parent | 744bdc9f56d7d10f1b3b81e2b6348b360776d6ea (diff) | |
| download | klee-psychic.tar.gz | |
Rewrite seed mode wrapper psychic
| -rwxr-xr-x | tools/klee-psychic/klee-psychic | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/klee-psychic/klee-psychic b/tools/klee-psychic/klee-psychic index df066a41..271c7496 100755 --- a/tools/klee-psychic/klee-psychic +++ b/tools/klee-psychic/klee-psychic @@ -31,13 +31,13 @@ do # TODO: --sym-files else ktest_args+=" $arg" - sym_args+=" --sym-arg=${#arg}" + sym_args+=" --sym-arg=o{#arg}" fi done ktest_gen=$KLEE_PREFIX/bin/ktest-gen test -x "$ktest_gen" -"$ktest_gen" "${ktest_args[@]}" --bout-file "$ktest_file" +"$ktest_gen" ${ktest_args[@]} --bout-file "$ktest_file" klee_bin=$KLEE_PREFIX/bin/klee test -x "$klee_bin" "$klee_bin" ${klee_args[@]} "$program_bc" "$program_bin" ${sym_args[@]} |