ghaetinger / DesignByContract.jl
100%

DEFAULT BRANCH: main
Repo Added
Files 5
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 main
branch: main
CHANGE BRANCH
x

74

push

travis-ci-com

web-flow 
Merge pull request #2 from ghaetinger/fix-loop-invariant

🚑 Fixed Loop Invariant logic

75 of 75 relevant lines covered (100.0%)

29.04 hits per line

Relevant lines Covered
75 RELEVANT LINES 75 COVERED LINES
29.04 HITS PER LINE
Source Files on main
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
74 main Merge pull request #2 from ghaetinger/fix-loop-invariant 🚑 Fixed Loop Invariant logic push web-flow travis-ci-com pending completion  
73 main WIP push ghaetinger travis-ci-com pending completion  
72 main WIP push ghaetinger travis-ci-com pending completion  
71 main WIP push ghaetinger travis-ci-com pending completion  
70 main WIP push ghaetinger travis-ci-com pending completion  
69 main Merge pull request #3 from ghaetinger/add-documentation-website Add documentation website push web-flow travis-ci-com pending completion  
65 main Merge pull request #2 from ghaetinger/fix-loop-invariant 🚑 Fixed Loop Invariant logic push web-flow travis-ci-com pending completion  
59 main 📝 Acknowledge Contracts.jl package push ghaetinger travis-ci-com pending completion  
58 main 📝 Acknowledge Contracts.jl package push ghaetinger travis-ci-com pending completion  
57 main 📝 Acknowledge Contracts.jl package push ghaetinger travis-ci-com pending completion  
See All Builds (48)