pysmt / pysmt / 931 / 2

Ran 29 Oct 2018 08:43PM UTC

Files 90

Run time 7s

Badge

Committed 25 Aug 2016 07:45AM UTC coverage: 66.86%. First build

Build Type

travis-ci

Committed by

Commit Message

Merge pull request #310 from pysmt/i291/payload_access_assertions

Assertions protecting FNodeContent.payload access

Run Details

579 of 1020 branches covered (56.76%)

1267 of 1895 relevant lines covered (66.86%)

9.8 hits per line