1
68%
master: 51%

Ran 18 Oct 2019 04:27PM CUT

Files 69

Run time 6s

Badge

Committed 18 Oct 2019 04:27PM CUT coverage: 67.924%. First build

Build Type

push

buildkite

Committed by Michael Hueschen

Commit Message

[#870] Add `pStateIsInternallyConsistent` property

Run Details

2827 of 4162 relevant lines covered (67.92%)

0.68 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	...edger/executable-spec/src/Delegation/PoolParams.hs	12	1	0	1	0.0
20.0	...spec/src/Control/State/Transition/Invalid/Trace.hs	39	5	1	4	1.0
23.81	...elley/chain-and-ledger/executable-spec/src/Slot.hs	88	21	5	16	1.0
25.0	...elley/chain-and-ledger/executable-spec/src/Coin.hs	21	4	1	3	1.0
25.0	byron/ledger/executable-spec/src/Ledger/UTxO.hs	217	84	21	63	1.0
29.17	...semantics/executable-spec/src/Data/AbstractSize.hs	188	24	7	17	1.0
38.46	...xecutable-spec/src/Cardano/Spec/Chain/STS/Block.hs	261	91	35	56	1.0
40.0	.../chain-and-ledger/executable-spec/src/STS/Bbody.hs	99	15	6	9	1.0
41.46	byron/ledger/executable-spec/src/Ledger/Core.hs	538	164	68	96	1.0
43.18	...ey/chain-and-ledger/executable-spec/src/PParams.hs	111	44	19	25	1.0