114
72%
master: 88%

Ran 21 Jun 2018 12:11PM UTC

Jobs 1

Files 48

Run time 3s

Badge

Embed ▾

pending completion

Build # 114

Build Type

push

travis-ci

Committed by Martin Jonáš

Commit Message

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.

Run Details

2113 of 2974 relevant lines covered (71.05%)

13124.16 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	114.1	21 Jun 2018 12:11PM UTC	0	71.05	Travis Job 114.1

Source Files on build 114

Detailed source file information is not available for this build.

martinjonas / Q3B / 114
72%
master: 88%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 114

martinjonas / Q3B / 114 72% master: 88%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 114

martinjonas / Q3B / 114
72%
master: 88%

README BADGES
x