Skip to content
Snippets Groups Projects
Commit 2ea7a43c authored by Jammer, Tim's avatar Jammer, Tim
Browse files

fix that filenames will be counted correctly if generated cases needed to be skipped

parent e2bb1fee
No related branches found
No related tags found
1 merge request!5more work on infrastructure III
......@@ -128,11 +128,11 @@ class GeneratorManager:
for i in range(num_errors_in_generator):
try:
result_error = generator.generate(i)
if not float(result_error.get_version()) > float(max_mpi_version):
case_name = result_error.get_short_descr()
fname = self.get_filename(case_name)
full_name = os.path.join(outpath, fname)
if not float(result_error.get_version()) > float(max_mpi_version):
if not overwrite and os.path.isfile(full_name):
assert False and "File Already exists"
......@@ -144,7 +144,7 @@ class GeneratorManager:
subprocess.check_call([mpicc, full_name])
# raises CalledProcessError if code does not compile
except CorrectTestcase:
# ignore a corect case
# ignore a correct case
pass
if print_progress_bar:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment