1
61%
master: 65%

Ran 13 Jun 2019 03:12AM UTC

Files 410

Run time 20s

Badge

Committed 12 Jun 2019 11:43PM UTC coverage: 61.481%. Remained the same

Job # 849.1

Build Type

push

travis-ci

Committed by

Commit Message

Fix #123.

In conversion of bvarray to arith, we must check whether
the term 'x' is a power product and convert appropriately.

Run Details

60216 of 97942 relevant lines covered (61.48%)

1173826.7 hits per line