Skip to content
Unverified Commit 917ce8e4 authored by Lev Livnev's avatar Lev Livnev
Browse files

solc: build with cvc4 support 

n.b. that cvc4 support is required for the tests to pass
parent fbf323b6
Hide whitespace changes
Inline Side-by-side
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