Issue #73 - Prevent test files to run twice
On bug 34415 a test file is renamed, and modified on another commit. We end up with the file renamed and the 'new one' in the list of the files to check and to prove.
On bug 34415 a test file is renamed, and modified on another commit. We end up with the file renamed and the 'new one' in the list of the files to check and to prove.