Implemented --cut-off parameter - Githubissues

HeisenbugLtd / spat

SPARK Proof Analysis Tool

https://github.heisenbug.eu/spat/

Do What The F*ck You Want To Public License

15 stars 4 forks source link

Implemented --cut-off parameter #27

Closed Jellix closed 4 years ago

Jellix commented 4 years ago

Implements #24