diff --git a/bin/zafl.sh b/bin/zafl.sh index a7799b35002ca8b3b524f56fe3ab89ce6f4b1349..bdb58491ed3a597d8696b38dff732aa02b798131 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 6c3740ea211d420951c30be35f41b4aec7af32de..449004a6120cfe0b24694868c79a93cbf0753c5e 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; }