issues
search
usi-verification-and-security
/
opensmt
The opensmt solver
Other
78
stars
18
forks
source link
Improve handling of failures in the main executable
#810
Open
Tomaqa
opened
2 weeks ago
Tomaqa
commented
2 weeks ago
[ ] Handle uncaught exceptions.
[ ] Do not use
exit
and definitely not
abort
. Instead, just use the return code of the
main
function.
exitand definitely notabort. Instead, just use the return code of themainfunction.