Repo Added
|
Files
289
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
5316 of 8648 relevant lines covered (61.47%)
1.21 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
619 | tuples | New array model working, though still buggy | push | rodykersten | travis-ci | pending completion | |
613 | tuples | merge | push | rodykersten | travis-ci | pending completion | |
610 | tuples | Look for null check for *any* variable in pull | push | rodykersten | travis-ci | pending completion | |
609 | tuples | Do not move pulls past null checks | push | rodykersten | travis-ci | pending completion | |
608 | tuples | added default initializers to arrays constructor. addred test case for issue 112 | push | martinschaef | travis-ci | pending completion | |
607 | tuples | Progress on array model | push | rodykersten | travis-ci | pending completion | |
606 | tuples | Fix unsoundness caused by soot optimization | push | rodykersten | travis-ci | pending completion | |
605 | tuples | Another one | push | rodykersten | travis-ci | pending completion | |
604 | tuples | inliner bug | push | rodykersten | travis-ci | pending completion | |
603 | tuples | Back to 122 correct | push | rodykersten | travis-ci | pending completion |