Skip to content
GitLab
Commit 734ca7d7 authored by Matthew Fernandez's avatar Matthew Fernandez
Browse files

fix: failure to recognise CVC4 during testing 

9d129532 accidentally made the CVC4 check in the
test suite a no-op. Surprisingly I failed to notice SMT tests were being skipped
on a CVC4 machine until just now.
parent f4dd1c22
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment