dannypsnl / classical-logic / #14
65%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 9
Run time 1s
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
#14

push

cover

dannypsnl 
fix resolution

the bug is came from unify same clause from too early,
for different clausal, them should be removed on resolve

12 of 12 new or added lines in 1 file covered. (100.0%)

218 of 356 relevant lines covered (61.24%)

0.61 hits per line

Jobs
ID Job ID Ran Files Coverage
1 #14.1 0
61.24
Source Files on build #14
Detailed source file information is not available for this build.