lakshmiDRIP / DROP / 945 / 1
33%
master: 33%

DEFAULT BRANCH: master
Ran
Files 3297
Run time 6min
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
coverage: 33.844% (-0.2%) from 34.004%
945.1

push

travis-ci

lakshmiDRIP 
Features:

	- Function Definition R2ToR1 Evaluator Stub (1)
	- R^2 To R^1 Estimator - Shell (2)
	- R^2 To R^1 Estimator - Body (3, 4, 5)
	- Beta Function Summation Series #1 (6, 7)
	- Beta Function Summation Series #2 (8, 9)
	- Beta Function Summation Series #3 (10)
	- Beta Function Equality Lemma - Shell (15)
	- Beta Function Equality Lemma - Identity #6 (16, 17)
	- Beta Function Equality Lemma - Identity #5 (24)
	- R2ToR1 Function Property Verification - Shell (26)
	- RxToR1 Function Property Verification - Shell (27)
	- RxToR1 Function Property Verification - Body (28, 29)
	- R1ToR1 RxToR1 Verifier Property Inheritance (30, 31)
	- RxToR1 LHS RHS Property Verifier (32, 33, 34)
	- R2ToR1 RxToR1 Verifier Property Inheritance (35, 36)
	- Beta Function Equality Lemma - Identity #4 (37, 38)
	- Beta Function Equality Lemma - Identity #5 (43)
	- Beta Function Equality Lemma - Identity #6 (46)
	- Beta Function Equality Lemma - Identity #7 (49)
	- Beta Function Combinatorial Estimate - Shell (52)
	- Beta Function Combinatorial Estimate - Binomial (53, 54, 55)


Bug Fixes/Clean-up:

	- R^1 Function Definition Property Verification (25)


Samples:

	- Beta Function Numerical Estimate #1 (11, 12)
	- Beta Function Numerical Estimate #2 (13, 14)
	- Beta Function Identity Property #1 (18, 19)
	- Beta Function Identity Property #2 (20, 21)
	- Beta Function Identity Property #3 (22, 23)
	- Beta Function Identity Property #4 (39, 40)
	- Beta Function Identity Property #5 (41, 42)
	- Beta Function Identity Property #6 (44, 45)
	- Beta Function Identity Property #7 (47, 48)
	- Beta Function Identity Property #8 (50, 51)
	- Beta Binomial Coefficient Estimate #1 (56, 57)
	- Beta Binomial Coefficient Estimate #2 (58, 59)
	- Beta Binomial Coefficient Estimate #3 (60)

101164 of 298914 relevant lines covered (33.84%)

0.34 hits per line

Source Files on job 945.1