pysmt / pysmt / 1620 / 14

Ran 12 Sep 2017 05:10PM UTC

Files 49

Run time 5s

Badge

Committed 12 Sep 2017 03:25PM UTC coverage: 85.135% (-0.003%) from 85.138%

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

8299 of 9748 relevant lines covered (85.14%)

0.85 hits per line