search

cvc5 / LFSC

LFSC Proof Checker
Other
11 stars 9 forks source link

Add failing test from previous PR #78

Closed ajreynol closed 2 years ago

ajreynol commented 2 years ago

Adds test that could not be added on https://github.com/cvc5/LFSC/pull/15.