diff --git a/smtcomp/main.py b/smtcomp/main.py index 311b2878..6987166f 100644 --- 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("."))