From a8293c1839b3edc8cae7b5ebb38446182dea3ba2 Mon Sep 17 00:00:00 2001
From: Anh Nguyen-Tuong <zenpoems@gmail.com>
Date: Wed, 6 Mar 2019 17:22:43 -0500
Subject: [PATCH] Make laf step critical when laf enabled

---
 bin/zafl.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/bin/zafl.sh b/bin/zafl.sh
index a9ecff6..dba0e9b 100755
--- a/bin/zafl.sh
+++ b/bin/zafl.sh
@@ -61,7 +61,6 @@ trace_opt=""
 zipr_opt=""
 random_seed=""
 laf_opt=""
-laf_step=""
 
 
 me=$(whoami)
@@ -378,7 +377,7 @@ log_msg "Transforming input binary $input_binary into $output_zafl_binary"
 optional_step=""
 if [ ! -z "$laf_opt" ];
 then
-	optional_step=" -s laf=on $laf_opt "
+	optional_step=" -c laf=on $laf_opt "
 fi
 
 zax_opt=" $zax_opt $float_opt "
-- 
GitLab