search

StephanGocht / VeriPB

Verifier for pseudo-Boolean proofs
MIT License
12 stars 1 forks source link

Use exit status to indicate failed verification #1

Closed ciaranm closed 5 years ago

ciaranm commented 5 years ago

For my convenience, in automated testing.