Make rida the default for zafl

9f04551d · Anh Nguyen-Tuong · 112693ee · 9f04551d
Commit 9f04551d authored 6 years ago by Anh Nguyen-Tuong
--- a/bin/zafl.sh
+++ b/bin/zafl.sh
@@ -33,8 +33,8 @@ output_zafl_binary=$2
 shift
 shift

-#ida_or_rida_opt=" -s meds_static=off -s rida=on "
-ida_or_rida_opt=" "
+#ida_or_rida_opt=" "
+ida_or_rida_opt=" -s meds_static=off -s rida=on "
 stars_opt=" -o zafl:--stars "

 other_args=""