Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Tags: cvc5/cvc5

Tags

latest

Toggle latest's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Disable an iand test in competition build (#12377)

Some tests are disabled in competition build, such as
[this](https://github.com/cvc5/cvc5/blob/main/test/regress/cli/regress0/bv/issue-4075.smt2)
one.
The recently added iand test is similar, and thus we disable it as well.

---------

Co-authored-by: Yoni Zohar <[email protected]>

cvc5-1.3.2

Toggle cvc5-1.3.2's commit message
Bump version to 1.3.2

cvc5-1.3.1

Toggle cvc5-1.3.1's commit message
Bump version to 1.3.1

cvc5-1.3.0

Toggle cvc5-1.3.0's commit message
Bump version to 1.3.0

cvc5-1.2.1

Toggle cvc5-1.2.1's commit message
Bump version to 1.2.1

cvc5-1.2.0

Toggle cvc5-1.2.0's commit message
Bump version to 1.2.0

cvc5-1.1.2

Toggle cvc5-1.1.2's commit message
Bump version to 1.1.2

cvc5-1.1.1

Toggle cvc5-1.1.1's commit message
Bump version to 1.1.1

cvc5-1.1.0

Toggle cvc5-1.1.0's commit message
Bump version to 1.1.0

cvc5-1.0.9

Toggle cvc5-1.0.9's commit message
Bump version to 1.0.9