140
84%

Ran 27 Feb 2018 07:43AM UTC

Jobs 2

Files 47

Run time 48s

Badge

Build # 140

Build Type

push

travis-ci

Committed by

Commit Message

MIX can now be used with parametric FODs with SMT models

Run Details

638 of 854 branches covered (74.71%)

Branch coverage included in aggregate %.

3325 of 3838 relevant lines covered (86.63%)

1.73 hits per line

ID	Job ID	Ran	Files	Coverage
1	140.1 (PYTHON_VERSION=2.7 MINICONDA_URL="https://repo.continuum.io/miniconda/Miniconda2-latest-Linux-x86_64.sh")	27 Feb 2018 07:44AM UTC	0	84.52	Travis Job 140.1
2	140.2 (PYTHON_VERSION=3.5 MINICONDA_URL="https://repo.continuum.io/miniconda/Miniconda3-latest-Linux-x86_64.sh")	27 Feb 2018 07:43AM UTC	0	84.68	Travis Job 140.2

Detailed source file information is not available for this build.