69
79%
master: 79%

Ran 02 Sep 2016 08:50AM UTC

Jobs 1

Files 22

Run time 1s

Badge

Build # 69

Build Type

push

travis-ci

Committed by

Commit Message

DOC: use TLA+ syntax in docs

for now the logic remains typed by the hints in the symbol table.

Run Details

2625 of 3282 relevant lines covered (79.98%)

0.8 hits per line

Lines	Coverage	∆	File
1	100.0		/home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/symbolic/bdd.py
12	100.0		/home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/logic/lexyacc.py

ID	Job ID	Ran	Files	Coverage
1	69.1	02 Sep 2016 08:50AM UTC	0	79.98	Travis Job 69.1

Detailed source file information is not available for this build.