Proof files without proofs in automode

[mattulbrich]

Description

Running KeY with --auto is meant to save .proof files for the conducted proofs. However the currently produced .proof files merely contain the problem statement, but no proofs.

Reproducible

always

Steps to reproduce

Run key with --auto and observe that the created .proof does not contain the proof.

Culprit

Running git-bisect identified the culprit commit as 4e5cd04.

---

• Commit: 25c50a7

[mattulbrich]

It might be that "saveProofObligationToFile" should be "saveToFile" in line 36 of ProofSaver.java