search

isabelle-prover / proving-contest-backends

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

Catch stderr #3

Closed wimmers closed 5 years ago

wimmers commented 5 years ago

Add a pipe for stderr so that error is not empty.