Initial check doesn't provide the cpp file to compile

[JVApen]

When your reproduction fails to reproduce, the following is printed out:

  DIR=`mktemp -d`
  cp c:\path\to\t.cpp $DIR
  cd $DIR
  C:\Path\to\checkSuccess.bat c:\path\to\t.cpp
  echo $?

However, if your script relies on the fact that c:\path\to\t.cpp being passed into it, the sanity check fails as this argument isn't being passed. (At least on windows)

[JVApen]

I had to update my script to not take the first argument in consideration to get things working, so not sure if this can be considered closed

[marxin]

Ok, I improved the wording. Note that we copy here the same behavior as CReduce:
https://embed.cs.utah.edu/creduce/
Using C-Reduce section.