From ae83913c82c3591fba9431b016828f3b7c7e2c1b Mon Sep 17 00:00:00 2001
From: Anh <zenpoems@gmail.com>
Date: Mon, 11 Feb 2019 06:13:06 -0800
Subject: [PATCH] Turn off floating instrumentation if --no-stars

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

diff --git a/bin/zafl.sh b/bin/zafl.sh
index aac9a25..aa79619 100755
--- a/bin/zafl.sh
+++ b/bin/zafl.sh
@@ -107,6 +107,7 @@ parse_args()
 				;;
 			-S | --no-stars)
 				stars_opt=" "
+				float_opt=" -o zax:--disable-floating-instrumentation "
 				shift
 				;;
 			-g | --graph-optimization)
-- 
GitLab