diff --git a/bin/zafl.sh b/bin/zafl.sh index a5d157d394bf2856123c98da1f55dcb7fc6ee9f7..35e5844c8edff417a59bcf20ca586c65e96520aa 100755 --- 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=""