pysmt / pysmt / 1577 / 14
|
Ran
|
Files
48
|
Run time
9s
|
Badge
Embed ▾
README BADGES
|
coverage: 91.246%. Remained the same
push
travis-ci
web-flow<a href="https://github.com/pysmt/pysmt/commit/cc82cc1d2">CVC4: Upgrade to 1.5 (#424) Note: CVC4 does not distinguish anymore between IFF and EQUALS. See https://github.com/CVC4/CVC4/commit/</a><a class="double-link" href="https://github.com/pysmt/pysmt/commit/1f4b954a2">1f4b954a2</a>
8818 of 9664 relevant lines covered (91.25%)
0.91 hits per line
