Do not use outdated *-mod.gb file

The regression test wrapper scripts perform a conditional copy of the goto
binary, which is meant to cover the case that an invocation of goto-instrument
does not generate a goto binary. When regression tests are re-run without an
intermittent "clean", the conditional copy was not performed. This may lead to
spurious test failures when goto binary versions change.

Author: tautschnig

regression/contracts/chain.sh

@@ -19,6 +19,7 @@ else
   $goto_cc -o "${name}.gb" "${name}.c"
 fi
 
+rm -f "${name}-mod.gb"
 $goto_instrument ${args} "${name}.gb" "${name}-mod.gb"
 if [ ! -e "${name}-mod.gb" ] ; then
   cp "$name.gb" "${name}-mod.gb"

regression/goto-instrument/chain.sh

@@ -19,6 +19,7 @@ else
   $goto_cc -o "${name}.gb" "${name}.c"
 fi
 
+rm -f "${name}-mod.gb"
 $goto_instrument ${args} "${name}.gb" "${name}-mod.gb"
 if [ ! -e "${name}-mod.gb" ] ; then
   cp "$name.gb" "${name}-mod.gb"