6754690042
86%

Ran 04 Nov 2023 12:13PM CUT

Jobs 1

Files 83

Run time 8s

Badge

Committed 11 Jul 2023 03:14PM CUT coverage: 86.448% (+0.01%) from 86.435%

Build Type

push

github

Committed by

Commit Message

Project is in Maintenance Mode (#2645)

Run Details

20827 of 24092 relevant lines covered (86.45%)

2.94 hits per line

Lines	Coverage	∆	File
2	88.91	-0.31%	manticore/core/smtlib/solver.py

ID	Job ID	Ran	Files	Coverage
1	6754690042.1	04 Nov 2023 12:45PM CUT	83	86.45

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	manticore/utils/command_line.py	42	18	0	18	0.0
8.18	manticore/native/state_merging.py	226	110	9	101	1.0
59.07	manticore/platforms/decree.py	1132	601	355	246	1.0
63.52	manticore/core/parser/parser.py	356	159	101	58	1.0
64.49	manticore/utils/helpers.py	213	107	69	38	6.0
67.57	manticore/platforms/linux_syscall_stubs.py	1186	703	475	228	2.0
71.43	manticore/native/plugins.py	143	56	40	16	1.0
71.5	manticore/platforms/linux.py	4172	2130	1523 + 4	607 - 4	2.0
74.24	manticore/ethereum/verifier.py	510	229	170	59	1.0
76.0	manticore/utils/nointerrupt.py	31	25	19	6	8.0