554347304
97%
master: 99%

Ran 10 Feb 2021 10:47AM CUT

Jobs 1

Files 138

Run time 11s

Badge

Build Type

push

github

Committed by GitHub

Commit Message

Merge pull request #580 from tienvx/reduce-bug-again

Run Details

1648 of 1705 relevant lines covered (96.66%)

6.25 hits per line

ID	Job ID	Ran	Files	Coverage
1	554347304.1	10 Feb 2021 10:47AM CUT	0	96.66	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/Channel/AbstractChannel.php	11	1	0	1	0.0
50.0	src/Provider/AbstractProvider.php	33	4	2	2	1.0
50.0	src/Generator/AbstractGenerator.php	16	2	1	1	1.0
62.5	src/Model/Generator/State.php	105	32	20	12	5.0
66.67	src/Channel/ChannelManager.php	18	3	2	1	1.0
66.67	src/Reducer/ReducerManager.php	18	3	2	1	1.0
66.67	src/Generator/GeneratorManager.php	18	3	2	1	1.0
80.0	src/Reducer/ReducerTemplate.php	32	5	4	1	2.0
81.25	src/Model/Task.php	129	32	26	6	9.0
82.35	src/Service/Petrinet/MarkingHelper.php	62	17	14	3	9.0