diff options
| -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[@]} |