pysmt / pysmt / 165 / 17

Ran 19 Aug 2017 01:09AM UTC

Files 17

Run time 1s

Badge

Committed 25 Oct 2015 02:07PM UTC coverage: 92.808%. First build

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #202 from pysmt/readme_example_as_repl

Changed first example of REDME.rst to simulate the REPL.

Run Details

155 of 233 branches covered (66.52%)

271 of 292 relevant lines covered (92.81%)

3.33 hits per line