martinjonas / Q3B / 122

72%

master: 88%

Pull #7

travis-ci

Do not propagate bits from existentially quantified variable.

Rationale: This may be incorrect in combination with variable
approximations when the variable is quantified after a universally
quantified variable. For example, in

forall x, exists y, y = x*x

the upper bits of y are incorrectly identified to be certainly zeroes
due to the zero-extension overapproximation.

16 of 16 new or added lines in 3 files covered. (100.0%)

2143 of 2973 relevant lines covered (72.08%)

19517.78 hits per line