Isabelle grader: improve error handling

isabelle-prover / proving-contest-backends

"proving-contest"-backends for several theorem provers

MIT License

12 stars 5 forks source link

Closed wimmers closed 5 years ago

wimmers commented 5 years ago

The Isabelle grader.py should catch common errors and communicate them properly via return codes.

wimmers commented 5 years ago

fdf5970da55fbf3cd221c6abaafb85d42b2fc395