26886801725
30%
master: 30%

Ran 03 Jun 2026 01:09PM UTC

Jobs 120

Files 47

Run time 1min

Badge

Embed ▾

Committed 03 Jun 2026 01:07PM UTC coverage: 30.035% (-5.7%) from 35.747%

Build # 26886801725

Build Type

Pull #53

github

Committed by

web-flow

Commit Message

Merge 8a5668b06 into fd9deb72c

Pull Request Pull Request #53: Adding the MCCT to pyMaBoSS

Coverage Stats

232 of 1613 new or added lines in 9 files covered. (14.38%)

1812 of 6033 relevant lines covered (30.03%)

12.48 hits per line

Uncovered Changes

Lines	Coverage	File
813	7.09	maboss/temporal_logic/evaluator.py
339	12.4	maboss/temporal_logic/logical_expression_compute.py
73	39.17	maboss/temporal_logic/formulas.py
56	13.85	maboss/temporal_logic/temporal_parser.py
43	24.56	maboss/temporal_logic/extractors.py
36	18.18	maboss/temporal_logic/visualiser.py
21	65.57	maboss/temporal_logic/custom_exceptions.py

Jobs

ID	Job ID	Ran	Files	Coverage
1	26886801725.1	03 Jun 2026 01:09PM UTC	2	65.38	GitHub Action Run
2	26886801725.2	03 Jun 2026 01:09PM UTC	2	65.38	GitHub Action Run
3	26886801725.3	03 Jun 2026 01:11PM UTC	2	65.38	GitHub Action Run
4	26886801725.4	03 Jun 2026 01:11PM UTC	2	65.38	GitHub Action Run
5	26886801725.5	03 Jun 2026 01:14PM UTC	2	65.38	GitHub Action Run
6	26886801725.6	03 Jun 2026 01:15PM UTC	2	65.38	GitHub Action Run
7	26886801725.7	03 Jun 2026 01:15PM UTC	45	28.34	GitHub Action Run
8	26886801725.8	03 Jun 2026 01:15PM UTC	45	28.26	GitHub Action Run
9	26886801725.9	03 Jun 2026 01:16PM UTC	45	19.88	GitHub Action Run
10	26886801725.10	03 Jun 2026 01:17PM UTC	45	19.8	GitHub Action Run
11	26886801725.11	03 Jun 2026 01:17PM UTC	2	65.38	GitHub Action Run
12	26886801725.12	03 Jun 2026 01:17PM UTC	2	65.38	GitHub Action Run
13	26886801725.13	03 Jun 2026 01:17PM UTC	45	19.88	GitHub Action Run
14	26886801725.14	03 Jun 2026 01:17PM UTC	45	19.88	GitHub Action Run
15	26886801725.15	03 Jun 2026 01:19PM UTC	45	19.88	GitHub Action Run
16	26886801725.16	03 Jun 2026 01:19PM UTC	45	19.88	GitHub Action Run
17	26886801725.17	03 Jun 2026 01:20PM UTC	45	19.88	GitHub Action Run
18	26886801725.18	03 Jun 2026 01:20PM UTC	45	19.76	GitHub Action Run
19	26886801725.19	03 Jun 2026 01:21PM UTC	45	19.68	GitHub Action Run
20	26886801725.20	03 Jun 2026 01:22PM UTC	45	19.8	GitHub Action Run
21	26886801725.21	03 Jun 2026 01:22PM UTC	2	65.38	GitHub Action Run
22	26886801725.22	03 Jun 2026 01:23PM UTC	45	28.34	GitHub Action Run
23	26886801725.23	03 Jun 2026 01:24PM UTC	2	65.38	GitHub Action Run
24	26886801725.24	03 Jun 2026 01:24PM UTC	2	65.38	GitHub Action Run
25	26886801725.25	03 Jun 2026 01:24PM UTC	45	19.8	GitHub Action Run
26	26886801725.26	03 Jun 2026 01:25PM UTC	2	65.38	GitHub Action Run
27	26886801725.27	03 Jun 2026 01:25PM UTC	2	65.38	GitHub Action Run
28	26886801725.28	03 Jun 2026 01:25PM UTC	45	19.8	GitHub Action Run
29	26886801725.29	03 Jun 2026 01:25PM UTC	45	19.8	GitHub Action Run
30	26886801725.30	03 Jun 2026 01:25PM UTC	45	20.28	GitHub Action Run
31	26886801725.31	03 Jun 2026 01:26PM UTC	2	65.38	GitHub Action Run
32	26886801725.32	03 Jun 2026 01:26PM UTC	45	19.88	GitHub Action Run
33	26886801725.33	03 Jun 2026 01:26PM UTC	2	65.38	GitHub Action Run
34	26886801725.34	03 Jun 2026 01:26PM UTC	45	19.88	GitHub Action Run
35	26886801725.35	03 Jun 2026 01:26PM UTC	2	65.38	GitHub Action Run
36	26886801725.36	03 Jun 2026 01:27PM UTC	2	65.38	GitHub Action Run
37	26886801725.37	03 Jun 2026 01:27PM UTC	2	65.38	GitHub Action Run
38	26886801725.38	03 Jun 2026 01:27PM UTC	45	20.28	GitHub Action Run
39	26886801725.39	03 Jun 2026 01:27PM UTC	45	19.88	GitHub Action Run
40	26886801725.40	03 Jun 2026 01:27PM UTC	2	65.38	GitHub Action Run
41	26886801725.41	03 Jun 2026 01:28PM UTC	45	28.26	GitHub Action Run
42	26886801725.42	03 Jun 2026 01:28PM UTC	2	65.38	GitHub Action Run
43	26886801725.43	03 Jun 2026 01:28PM UTC	45	20.28	GitHub Action Run
44	26886801725.44	03 Jun 2026 01:28PM UTC	2	65.38	GitHub Action Run
45	26886801725.45	03 Jun 2026 01:28PM UTC	45	20.36	GitHub Action Run
46	26886801725.46	03 Jun 2026 01:28PM UTC	45	19.76	GitHub Action Run
47	26886801725.47	03 Jun 2026 01:28PM UTC	45	19.8	GitHub Action Run
48	26886801725.48	03 Jun 2026 01:29PM UTC	45	19.76	GitHub Action Run
49	26886801725.49	03 Jun 2026 01:29PM UTC	2	65.38	GitHub Action Run
50	26886801725.50	03 Jun 2026 01:29PM UTC	45	19.8	GitHub Action Run
51	26886801725.51	03 Jun 2026 01:30PM UTC	2	65.38	GitHub Action Run
52	26886801725.52	03 Jun 2026 01:30PM UTC	2	65.38	GitHub Action Run
53	26886801725.53	03 Jun 2026 01:32PM UTC	2	65.38	GitHub Action Run
54	26886801725.54	03 Jun 2026 01:33PM UTC	45	19.88	GitHub Action Run
55	26886801725.55	03 Jun 2026 01:33PM UTC	45	19.8	GitHub Action Run
56	26886801725.56	03 Jun 2026 01:33PM UTC	2	65.38	GitHub Action Run
57	26886801725.57	03 Jun 2026 01:34PM UTC	45	19.8	GitHub Action Run
58	26886801725.58	03 Jun 2026 01:35PM UTC	2	65.38	GitHub Action Run
59	26886801725.59	03 Jun 2026 01:35PM UTC	45	20.36	GitHub Action Run
60	26886801725.60	03 Jun 2026 01:35PM UTC	45	19.8	GitHub Action Run
61	26886801725.61	03 Jun 2026 01:36PM UTC	45	19.8	GitHub Action Run
62	26886801725.62	03 Jun 2026 01:36PM UTC	45	19.68	GitHub Action Run
63	26886801725.63	03 Jun 2026 01:37PM UTC	45	19.76	GitHub Action Run
64	26886801725.64	03 Jun 2026 01:37PM UTC	45	19.76	GitHub Action Run
65	26886801725.65	03 Jun 2026 01:37PM UTC	2	65.38	GitHub Action Run
66	26886801725.66	03 Jun 2026 01:37PM UTC	45	19.76	GitHub Action Run
67	26886801725.67	03 Jun 2026 01:37PM UTC	45	19.8	GitHub Action Run
68	26886801725.68	03 Jun 2026 01:38PM UTC	2	65.38	GitHub Action Run
69	26886801725.69	03 Jun 2026 01:38PM UTC	2	65.38	GitHub Action Run
70	26886801725.70	03 Jun 2026 01:38PM UTC	2	65.38	GitHub Action Run
71	26886801725.71	03 Jun 2026 01:39PM UTC	45	19.8	GitHub Action Run
72	26886801725.72	03 Jun 2026 01:39PM UTC	2	65.38	GitHub Action Run
73	26886801725.73	03 Jun 2026 01:39PM UTC	45	20.36	GitHub Action Run
74	26886801725.74	03 Jun 2026 01:39PM UTC	2	65.38	GitHub Action Run
75	26886801725.75	03 Jun 2026 01:39PM UTC	2	65.38	GitHub Action Run
76	26886801725.76	03 Jun 2026 01:39PM UTC	45	19.68	GitHub Action Run
77	26886801725.77	03 Jun 2026 01:39PM UTC	2	65.38	GitHub Action Run
78	26886801725.78	03 Jun 2026 01:39PM UTC	45	19.68	GitHub Action Run
79	26886801725.79	03 Jun 2026 01:40PM UTC	45	19.8	GitHub Action Run
80	26886801725.80	03 Jun 2026 01:41PM UTC	2	65.38	GitHub Action Run
81	26886801725.81	03 Jun 2026 01:41PM UTC	2	65.38	GitHub Action Run
82	26886801725.82	03 Jun 2026 01:41PM UTC	2	65.38	GitHub Action Run
83	26886801725.83	03 Jun 2026 01:41PM UTC	2	65.38	GitHub Action Run
84	26886801725.84	03 Jun 2026 01:41PM UTC	2	65.38	GitHub Action Run
85	26886801725.85	03 Jun 2026 01:41PM UTC	2	65.38	GitHub Action Run
86	26886801725.86	03 Jun 2026 01:41PM UTC	2	65.38	GitHub Action Run
87	26886801725.87	03 Jun 2026 01:41PM UTC	45	19.88	GitHub Action Run
88	26886801725.88	03 Jun 2026 01:42PM UTC	45	19.8	GitHub Action Run
89	26886801725.89	03 Jun 2026 01:42PM UTC	2	65.38	GitHub Action Run
90	26886801725.90	03 Jun 2026 01:43PM UTC	2	65.38	GitHub Action Run
91	26886801725.91	03 Jun 2026 01:44PM UTC	2	65.38	GitHub Action Run
92	26886801725.92	03 Jun 2026 01:46PM UTC	45	19.76	GitHub Action Run
93	26886801725.93	03 Jun 2026 01:46PM UTC	45	19.88	GitHub Action Run
94	26886801725.94	03 Jun 2026 01:47PM UTC	2	65.38	GitHub Action Run
95	26886801725.95	03 Jun 2026 01:48PM UTC	2	65.38	GitHub Action Run
96	26886801725.96	03 Jun 2026 01:48PM UTC	45	19.76	GitHub Action Run
97	26886801725.97	03 Jun 2026 01:49PM UTC	45	19.76	GitHub Action Run
98	26886801725.98	03 Jun 2026 01:49PM UTC	2	65.38	GitHub Action Run
99	26886801725.99	03 Jun 2026 01:49PM UTC	2	65.38	GitHub Action Run
100	26886801725.100	03 Jun 2026 01:50PM UTC	2	65.38	GitHub Action Run
101	26886801725.101	03 Jun 2026 01:52PM UTC	2	65.38	GitHub Action Run
102	26886801725.102	03 Jun 2026 01:52PM UTC	45	19.8	GitHub Action Run
103	26886801725.103	03 Jun 2026 01:53PM UTC	2	65.38	GitHub Action Run
104	26886801725.104	03 Jun 2026 01:56PM UTC	45	19.76	GitHub Action Run
105	26886801725.105	03 Jun 2026 01:56PM UTC	45	19.68	GitHub Action Run
106	26886801725.106	03 Jun 2026 02:00PM UTC	45	19.8	GitHub Action Run
107	26886801725.107	03 Jun 2026 02:01PM UTC	45	19.76	GitHub Action Run
108	26886801725.108	03 Jun 2026 02:03PM UTC	45	19.8	GitHub Action Run
109	26886801725.109	03 Jun 2026 02:04PM UTC	2	65.38	GitHub Action Run
110	26886801725.110	03 Jun 2026 02:04PM UTC	45	20.24	GitHub Action Run
111	26886801725.111	03 Jun 2026 02:06PM UTC	45	19.76	GitHub Action Run
112	26886801725.112	03 Jun 2026 02:06PM UTC	2	65.38	GitHub Action Run
113	26886801725.113	03 Jun 2026 02:07PM UTC	2	65.38	GitHub Action Run
114	26886801725.114	03 Jun 2026 02:08PM UTC	2	65.38	GitHub Action Run
115	26886801725.115	03 Jun 2026 02:08PM UTC	2	65.38	GitHub Action Run
116	26886801725.116	03 Jun 2026 02:09PM UTC	2	65.38	GitHub Action Run
117	26886801725.117	03 Jun 2026 02:10PM UTC	45	20.28	GitHub Action Run
118	26886801725.118	03 Jun 2026 02:10PM UTC	2	65.38	GitHub Action Run
119	26886801725.119	03 Jun 2026 02:10PM UTC	2	65.38	GitHub Action Run
120	26886801725.120	03 Jun 2026 02:17PM UTC	45	19.68	GitHub Action Run

colomoto / pyMaBoSS / 26886801725
30%
master: 30%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Jobs

Source Files on build 26886801725

colomoto / pyMaBoSS / 26886801725 30% master: 30%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Jobs

Source Files on build 26886801725

colomoto / pyMaBoSS / 26886801725
30%
master: 30%

README BADGES
x