1306

Ran 02 Nov 2016 01:45PM UTC

Jobs 6

Files 46

Run time 9min

Badge

Build # 1306

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #376 from pysmt/smtlibparser_testing

Use Fuzzer for testing of SMTLIB Parser

Run Details

33 of 33 new or added lines in 2 files covered. (100.0%)

8602 of 9337 relevant lines covered (92.13%)

3.68 hits per line

Lines	Coverage	∆	File
1	100.0		pysmt/smtlib/parser.py

ID	Job ID	Ran	Coverage
1	1306.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	02 Nov 2016 01:45PM UTC	91.89	Travis Job 1306.1
2	1306.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	02 Nov 2016 01:46PM UTC	91.88	Travis Job 1306.2
10	1306.10 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	02 Nov 2016 01:48PM UTC		Travis Job 1306.10
13	1306.13 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	02 Nov 2016 01:53PM UTC	91.88	Travis Job 1306.13
14	1306.14 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	02 Nov 2016 01:53PM UTC	91.89	Travis Job 1306.14
22	1306.22 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	02 Nov 2016 01:55PM UTC		Travis Job 1306.22

Detailed source file information is not available for this build.