1
97%
master: 97%

Ran 12 Jan 2020 04:28PM UTC

Files 35

Run time 2s

Badge

Committed 12 Jan 2020 04:28PM UTC coverage: 90.601%. Remained the same

Build Type

push

circle-ci

Committed by Arthur Goldberg

Commit Message

increase maximum number of attempts to verify an SSA model to 3, and make the limit a class variable

Coverage Stats

1075 of 1255 branches covered (85.66%)

2940 of 3245 relevant lines covered (90.6%)

0.91 hits per line