lang/solidity: Disable CVC4 option because the project doesn't yet support CVC5
Description
Description
Details
Details
- Provenance
yuri Authored on Jan 4 2023, 11:49 AM - Parents
- R11:a41f63c03eae: math/py-pysmt: Test dependency changed to CVC5
- Branches
- Unknown
- Tags