pysmt / pysmt / 1784 / 2

Ran 21 Nov 2017 03:24AM UTC

Files 49

Run time 2s

Badge

Committed 21 Nov 2017 02:48AM UTC coverage: 85.192% (-0.02%) from 85.213%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #459 from pysmt/minor_smtlib_printing_fix

SMTLIB: Remove trailing whitespace from bvrol and bvsext

Run Details

8359 of 9812 relevant lines covered (85.19%)

0.85 hits per line