diff options
Diffstat (limited to 'fix.m4')
| -rw-r--r-- | fix.m4 | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/fix.m4 b/fix.m4 index 3425e53..4ae99b9 100644 --- a/fix.m4 +++ b/fix.m4 @@ -33,7 +33,7 @@ bad() { if test $# -lt 4 then - echo Usage: taosc-fix WORKDIR TIMEOUT EXECUTABLE PROOFS-OF-CONCEPT [OPTION]... + echo Usage: taosc-fix WORKDIR TIMEOUT EXECUTABLE PROOFS_OF_CONCEPT [OPTION]... exit 1 fi wd="$(realpath $1)" @@ -135,4 +135,6 @@ do "$bin.collect" $options "$input" done done +# TODO: split if the patch location is reached multiple times with an input +taosc-synth $stack_size "$wd"/values/{benign,malicious} > "$wd/predicates" # vim: filetype=sh.m4 |