From 19a8da89fe73be6ef306b7722cb0c946e8bebcaf Mon Sep 17 00:00:00 2001
From: Anh Nguyen-Tuong <zenpoems@gmail.com>
Date: Mon, 11 Mar 2019 21:24:20 -0400
Subject: [PATCH] Update --help for zafl.sh
---
bin/zafl.sh | 4 ++--
tools/laf/test/test2.c | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/bin/zafl.sh b/bin/zafl.sh
index a7799b3..bdb5849 100755
--- a/bin/zafl.sh
+++ b/bin/zafl.sh
@@ -40,8 +40,8 @@ usage()
echo " -r, --random-seed <value> Specify random seed"
echo " -w, --whitelist <file> Specify function whitelist (one function per line)"
echo " -b, --blacklist <file> Specify function blacklist (one function per line)"
- echo " -l, --enable-laf Enable laf-intel split compare for integer constants"
- echo " -L, --disable-laf Disable laf-intel split compare for integer constants"
+ echo " -l, --enable-laf Enable laf-intel style instrumentation"
+ echo " -L, --disable-laf Disable laf-intel style instrumentation"
echo " -v Verbose mode"
echo
}
diff --git a/tools/laf/test/test2.c b/tools/laf/test/test2.c
index 6c3740e..449004a 100644
--- a/tools/laf/test/test2.c
+++ b/tools/laf/test/test2.c
@@ -6,7 +6,7 @@ int main(int argc, char **argv)
{
int x = 0;
std::cin >> std::hex >> x;
- if (x != 0x01000000)
+ if (x == 0x12345678)
abort();
return 0;
}
--
GitLab