From 29722642fda319da96cee10f209a5121f1988767 Mon Sep 17 00:00:00 2001 From: Nguyễn Gia Phong Date: Fri, 10 May 2024 15:32:14 +0900 Subject: Rewrite seed mode wrapper --- tools/klee-psychic/klee-psychic | 4 ++-- 1 file 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[@]} -- cgit 1.4.1