test-script only relative path

SMT-COMP · May 28, 2024 · f2c8993 · f2c8993
1 parent 8b9074c
commit f2c8993
Showing 1 changed file with 1 addition and 10 deletions.
diff --git a/smtcomp/main.py b/smtcomp/main.py
@@ -560,13 +560,4 @@ def read_submission(file: Path) -> defs.Submission:
                     for _, logics in divisions.items():
                         for logic in logics:
                             for status in [defs.Status.Sat, defs.Status.Unsat]:
-                                write_test(out, track, logic, part, status, trivial_bench.relative_to(outdir), outdir)
-                                write_test(
-                                    out,
-                                    track,
-                                    logic,
-                                    part,
-                                    status,
-                                    trivial_bench.absolute(),
-                                    outdir.absolute(),
-                                )
+                                write_test(out, track, logic, part, status, trivial_bench.relative_to(outdir), Path("."))