Enumtype smtlib - Githubissues

ftsrg / theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

http://theta.inf.mit.bme.hu/

Apache License 2.0

49 stars 43 forks source link

Closed RipplB closed 4 months ago

RipplB commented 5 months ago

Introduce domain size for types
Introduce EnumType for enumerations
Remove enumerated type wrappers from xsts, use EnumType directly
Have all solver types support EnumType
Fix https://github.com/ftsrg/theta/issues/122
Partially solve https://github.com/ftsrg/theta/issues/270
Fix floating point number equality simplifications, see 285b991abeb47609faec9b9578b5acdb4f9e4476

mondokm commented 4 months ago

Tests fail for theta-solver-smtlib. Formatting is wrong on subprojects/common/core/src/main/java/hu/bme/mit/theta/core/utils/ExprSimplifier.java

sonarcloud[bot] commented 4 months ago

Failed conditions
35.0% Coverage on New Code (required ≥ 60%)
6.5% Duplication on New Code (required ≤ 5%)