Removed last --no-malloc-may-fail from test runner

Author: Enrico Steffinlongo

Diff for: regression/contracts-dfcc/chain.sh

@@ -43,10 +43,6 @@ else
   $goto_cc -o "${name}${dfcc_suffix}.gb" "${name}.c"
 fi
 
-if [[ "${args_inst}" != *"malloc"* ]]; then
-  args_inst="--no-malloc-may-fail $args_inst"
-fi
-
 rm -f "${name}${dfcc_suffix}-mod.gb"
 $goto_instrument ${args_inst} "${name}${dfcc_suffix}.gb" "${name}${dfcc_suffix}-mod.gb"
 if [ ! -e "${name}${dfcc_suffix}-mod.gb" ] ; then