Skip to content

Skip typechecking tests with CVC4 if there is no CVC4#380

Merged
Alasdair merged 1 commit intosail2from test_cvc4Nov 26, 2023

Commits

Commits on Nov 26, 2023