ghaetinger / DesignByContract.jl
100%
main: 100%

LAST BUILD BRANCH: add-structure-invariants
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 add-structure-invariants
branch: SELECT
CHANGE BRANCH
x

81

push

travis-ci-com

ghaetinger 
:bulb: Added enhancement suggestion

103 of 103 relevant lines covered (100.0%)

22.98 hits per line

Relevant lines Covered
103 RELEVANT LINES 103 COVERED LINES
22.98 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
81 add-structure-invariants :bulb: Added enhancement suggestion push ghaetinger travis-ci-com pending completion  
82 add-structure-invariants Merge 4d4a4d1e3 into 7cb504a65 Pull #4 web-flow travis-ci-com pending completion  
78 add-structure-invariants Merge eb82f0166 into 7cb504a65 Pull #4 web-flow travis-ci-com pending completion  
77 add-structure-invariants :white_check_mark: Added new test and removed TODO push ghaetinger travis-ci-com pending completion  
76 add-structure-invariants Merge d5b778d0e into 7cb504a65 Pull #4 web-flow travis-ci-com pending completion  
75 add-structure-invariants :sparkles: New structure invariant implementation push ghaetinger travis-ci-com pending completion  
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  
See All Builds (48)