From 394c9e287b7b874c1d9bbab510e6783fd5b32775 Mon Sep 17 00:00:00 2001
From: Anh Nguyen-Tuong <zenpoems@gmail.com>
Date: Fri, 15 Mar 2019 21:09:54 -0400
Subject: [PATCH] Rename options to laf
---
tests/test_cmds.sh | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/tests/test_cmds.sh b/tests/test_cmds.sh
index b0aae4ee0..9b3594309 100755
--- a/tests/test_cmds.sh
+++ b/tests/test_cmds.sh
@@ -133,13 +133,13 @@ do_tests()
zafl.sh $progpath $protected --rida --enable-laf --enable-context-sensitivity function -d --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
laf)
- $PSZ $progpath $protected -s rida=on -s meds_static=off -s laf=on -o laf:--enable-split-compare -o laf:--enable-trace-div --tempdir $temp_dir > test_${prog}.ps.log 2>&1
+ $PSZ $progpath $protected -s rida=on -s meds_static=off -s laf=on --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
- laf_split)
- $PSZ $progpath $protected -s rida=on -s meds_static=off -s laf=on -o laf:--disable-trace-div -o laf:--enable-split-compare --tempdir $temp_dir > test_${prog}.ps.log 2>&1
+ laf_cmp)
+ $PSZ $progpath $protected -s rida=on -s meds_static=off -s laf=on -o laf:--disable-trace-div -o laf:--enable-trace-compare --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
laf_div)
- $PSZ $progpath $protected -s rida=on -s meds_static=off -s laf=on -o laf:--enable-trace-div -o laf:--disable-split-compare --tempdir $temp_dir > test_${prog}.ps.log 2>&1
+ $PSZ $progpath $protected -s rida=on -s meds_static=off -s laf=on -o laf:--enable-trace-div -o laf:--disable-trace-compare --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
zipr)
$PSZ $progpath $protected --tempdir $temp_dir > test_${prog}.ps.log 2>&1
--
GitLab