pysmt / pysmt / 1620 / 15

Ran 12 Sep 2017 05:10PM UTC

Files 49

Run time 5s

Badge

Committed 12 Sep 2017 03:25PM UTC coverage: 85.146% (+0.006%) from 85.14%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #437 from pysmt/array_infix

Arrays: Infix notation for Store and Select

Run Details

8300 of 9748 relevant lines covered (85.15%)

0.85 hits per line