lukaszcz / coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Other
218 stars 31 forks source link

No 2> /dev/null redirection #140

Open skogsbaer opened 2 years ago

skogsbaer commented 2 years ago

I had some troubles getting hammer running. It was a configuration problem on my system, but debugging was more complicated then necessary as external commands redirect stderr to /dev/null.

It would be helpful if stderr could be redirected to some error log file. Maybe only of debugging is on.