Float: Delete error result file if test pass (#521)

* Remove undefined_gen for if-else type * Remove the TODO workaround as fixed. Signed-off-by: Pan Li <[email protected]> * Delete error result file if test passed * To avoid noisy files, only keep the error result file of failed test. Signed-off-by: Pan Li <[email protected]> --------- Signed-off-by: Pan Li <[email protected]>
rems-project · May 8, 2024 · 05db2f6 · 05db2f6
1 parent 227b425
commit 05db2f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/float/run_tests.py b/test/float/run_tests.py
@@ -31,7 +31,7 @@ def test_float(name, sail_opts, compiler, c_opts):
                 step('{} {} {}.c {}/lib/*.c -lgmp -lz -I {}/lib -o {}.bin'.format(compiler, c_opts, basename, sail_dir, sail_dir, basename))
                 step('./{}.bin > {}.result 2> {}.err_result'.format(basename, basename, basename), expected_status = 1 if basename.startswith('fail') else 0)
 
-                step('diff {}.err_result no_error'.format(basename))
+                step('diff {}.err_result no_error && rm {}.err_result'.format(basename, basename))
                 step('rm {}.c {}.bin {}.result'.format(basename, basename, basename))
 
                 print_ok(filename)