jonsterling / racket-grit
72%
master: 89%

LAST BUILD BRANCH: feature/gui
DEFAULT BRANCH: master
Repo Added
Files 55
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH feature/gui
branch: feature/gui
CHANGE BRANCH
x

93

push

travis-ci

david-christiansen 
Track sibling subgoal dependencies explicitly

1348 of 1863 relevant lines covered (72.36%)

2.16 hits per line

Relevant lines Covered
1863 RELEVANT LINES 1348 COVERED LINES
2.16 HITS PER LINE
Source Files on feature/gui
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
93 feature/gui Track sibling subgoal dependencies explicitly push david-christiansen travis-ci pending completion  
91 feature/gui Merge remote-tracking branch 'origin/feature/gui' into feature/gui push david-christiansen travis-ci pending completion  
89 feature/gui Reduce flickering + propage more info Re-use old GUI widgets to reduce flickering, and begin propagating extracts through the proof push david-christiansen travis-ci pending completion  
82 feature/gui Improve the sketch of the GUI push david-christiansen travis-ci pending completion  
See All Builds (65)