1
95%
master: 95%

Ran 05 Dec 2018 09:57PM UTC

Files 76

Run time 2006min

Badge

Committed 05 Dec 2018 09:48PM UTC coverage: 96.119% (+0.006%) from 96.113%

Build Type

push

travis-ci

Committed by

Commit Message

Fix #177 which was introduced by PR #174

The same iteration index was used in two nested loops which caused
missed unfulfilled constraints or loops.

Run Details

5597 of 5823 relevant lines covered (96.12%)

111318.41 hits per line