search

cvc5 / LFSC

LFSC Proof Checker
Other
11 stars 9 forks source link

Add infrastructure for failing tests #22

Closed 4tXJ7f closed 1 year ago

4tXJ7f commented 5 years ago

See https://github.com/CVC4/LFSC/pull/15#issue-303813986.

ajreynol commented 2 years ago

It seems tests can use ; errorline: N. Is there something else that is necessary for this issue?