From 663ea12374e958fa83ac7e1b439dd6ab22bb59ed Mon Sep 17 00:00:00 2001
From: Nguyễn Gia Phong <cnx@loang.net>
Date: Fri, 17 Oct 2025 06:19:22 +0900
Subject: Implement ERM

---
 fix.m4 | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'fix.m4')

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
-- 
cgit 1.4.1