Rewrite seed mode wrapper psychic

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