search

isabelle-prover / proving-contest-backends

"proving-contest"-backends for several theorem provers
MIT License
12 stars 5 forks source link

Catch stderr #4

Open wimmers opened 5 years ago

wimmers commented 5 years ago

https://github.com/maxhaslbeck/proving-contest-backends/blob/bb2180986cf3532aa45b3f9ed574465aba669911/Lean/poller_lean.py#L36 https://github.com/maxhaslbeck/proving-contest-backends/blob/bb2180986cf3532aa45b3f9ed574465aba669911/Isabelle/poller_isa.py#L136 Add a pipe for stderr so that error is not empty.