Fix (sc)tptp output when the problem file is in cnf#61

Open

jcailler wants to merge 2 commits intoGoelandProver:masterfrom

jcailler:fix-otptp-cnf

Commits on Aug 29, 2025

Fix (sc)tptp output when the problem file is in cnf
jcailler
committed
update run-test-suite so file with -proof that don't have a .out don't fail
jcailler
committed