diff --git a/reprotest.sh b/reprotest.sh new file mode 100644 index 0000000000000000000000000000000000000000..5dbb3b172bcf51fb9f1abd5c3d9acac09510f5b4 --- /dev/null +++ b/reprotest.sh @@ -0,0 +1,8 @@ +#! /bin/sh + +rm reports/* +./compile.sh +./one.sh -b 1 configurations/VoluntaryHelperMovementTest.txt +./one.sh -b 1 configurations/VoluntaryHelperMovementTest.txt +fdupes reports | xargs rm +ls -al reports \ No newline at end of file