Rename revealed_testcases to revealed_testcases.sage