search

cvc5 / LFSC

LFSC Proof Checker
Other
11 stars 9 forks source link

Add some skolem-themed tests of macro handling. #45

Closed alex-ozdemir closed 4 years ago

alex-ozdemir commented 4 years ago

Tests provided by yoni & andy.

Good to have more macro tests.

Co-authored-by: yoni206 yoni206@users.noreply.github.com Co-authored-by: Andrew Reynolds andrew.j.reynolds@gmail.com