Closed aytey closed 3 years ago
Yeah, it's an unlikely issue I'm not planning to address. Thanks for the report.
I'm not saying this needs to be fixed, but maybe (and I can do a PR for this if you're interested), we could do something like:
try:
shutil.copy(test_env.test_case_path, self.current_test_case)
except FileNotFoundError:
raise RuntimeError("Can't find {:s} -- did your interestingness test move it?".format(self.current_test_case))
(written in the browser, so might not be perfect code)
At least then it could make it clear to people what the issue is.
We do agree though, this isn't a big deal to me ...
Thanks for help, I pushed the change.
I just added something like:
to my interestingness test, where
unit.cpp
is the input name as given tocvise
.However, this then led to:
and
cvise
couldn't do anything (this was withcvise --version
==cvise 2.3.0
).There's a good chance this is "play stupid games, win stupid prizes", but I'm creating this issue in case other people come across it.