Repo Added
|
Files
158
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
5959 of 10635 relevant lines covered (56.03%)
0.56 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1122 | 32-simplify-aspats | ES: now QC only generates semantically correct programs for conversion | push | Anabra | travis-ci | pending completion | |
1118 | 32-simplify-aspats | ES: removed accidentally added notes file | push | Anabra | travis-ci | pending completion | |
1111 | 32-simplify-aspats | ES: as-pat conversion extra comment | push | Anabra | travis-ci | pending completion | |
1110 | 32-simplify-aspats | ES: as-pat tests | push | Anabra | travis-ci | pending completion |