Add exit codes to wp - Githubissues

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.

MIT License

102 stars 14 forks source link

Closed fortunac closed 2 years ago

fortunac commented 2 years ago

Adds exit codes to WP: unsat -> 0 sat -> 1 unknown -> 2

jtpaasch commented 2 years ago

Fantastic work on fixing this.