Twigonometry / IsabelleDSL

IsabelleDSL (iDSL) is a framework for generating Domain-Specific Languages from specifications written in Isabelle
0 stars 0 forks source link

Add error handling based on popen status codes #11

Open Twigonometry opened 2 years ago

Twigonometry commented 2 years ago

Check return codes from popen() calls, rather than searching for strings than indicate failure, when looking for errors