sebastianbergmann/global-state

Type coverage history

Date	Commit	Type Coverage	Analysed Expression #
March 22 2024, 13:46:11	8e38c9f	89.196%	398
March 11 2024, 06:08:33	5569733	89.196%	398
March 10 2024, 12:25:22	3d08262	89.196%	398
March 2 2024, 07:32:10	c3a307e	89.196%	398
February 2 2024, 05:59:33	590e7cb	89.196%	398
January 30 2024, 13:55:34	5bed1c3	89.196%	398
December 31 2023, 07:33:57	6359ea2	89.196%	398
December 24 2023, 09:10:03	cb5a3e3	89.196%	398
December 23 2023, 06:14:41	095c16c	89.196%	398
December 22 2023, 11:25:08	51f194a	89.250%	400
December 22 2023, 11:22:14	7378b50	89.250%	400
December 17 2023, 06:13:19	35c66ca	89.250%	400
December 9 2023, 12:52:23	4a81eb9	89.250%	400
December 5 2023, 06:24:58	e7a6886	89.250%	400
November 27 2023, 14:38:24	fbfc6c0	89.250%	400
November 23 2023, 06:21:57	1069f54	89.250%	400
November 22 2023, 11:55:49	b59fe08	89.250%	400
November 9 2023, 06:59:31	0fe8793	89.250%	400
November 5 2023, 08:37:19	590126f	89.250%	400
October 29 2023, 06:52:27	30ee9ff	89.250%	400
October 16 2023, 05:02:17	c4be132	89.250%	400
October 6 2023, 09:54:55	c4eab95	89.250%	400
September 29 2023, 10:17:41	e42a5df	89.250%	400
September 17 2023, 15:29:55	a0a8276	89.250%	400
September 10 2023, 06:21:20	ffb5f6d	89.250%	400
September 4 2023, 05:27:48	94c8d3c	89.250%	400
September 1 2023, 08:57:31	c5bb1d2	89.250%	400
September 1 2023, 04:31:36	21d7ed4	89.250%	400
August 30 2023, 12:40:11	e8fc596	89.250%	400
August 30 2023, 10:14:09	4a3685c	89.250%	400
August 21 2023, 06:05:06	0e379e2	89.250%	400
August 14 2023, 13:30:16	f7cd319	89.250%	400
August 2 2023, 09:02:44	6b6a97b	89.250%	400
July 31 2023, 15:14:28	d973068	89.250%	400
July 19 2023, 07:19:23	7ea9ead	89.250%	400
July 19 2023, 07:10:49	baa5a4d	89.196%	398
July 17 2023, 05:03:08	306bf49	89.196%	398
July 16 2023, 11:24:37	f66feb2	89.196%	398
July 6 2023, 09:10:54	01d03b9	89.196%	398
June 28 2023, 04:55:26	ffddf80	89.196%	398
June 26 2023, 07:42:10	6ff8a17	89.196%	398
June 25 2023, 17:46:16	67b5333	89.196%	398
June 25 2023, 05:25:18	3ea7219	89.196%	398
June 24 2023, 12:45:31	3b94c3b	89.196%	398
June 19 2023, 06:34:51	9db5755	89.196%	398
May 25 2023, 05:58:28	1de8dac	89.196%	398
May 8 2023, 12:32:38	8bf2547	89.578%	403
May 8 2023, 12:24:22	72c43bc	89.421%	397
May 7 2023, 07:09:23	06970e9	89.578%	403
May 7 2023, 06:54:44	47dc756	89.578%	403
May 7 2023, 06:24:53	3c7335e	89.578%	403
April 4 2023, 09:36:11	99c6f7b	89.552%	402
April 4 2023, 09:26:38	8e87f4d	89.552%	402
March 30 2023, 08:39:25	ad10cba	89.552%	402
March 25 2023, 08:09:15	ee4bb88	89.552%	402
March 14 2023, 13:41:32	3b3c08e	89.552%	402
March 14 2023, 06:09:51	4ab7e62	89.552%	402
March 13 2023, 07:03:04	2d041b4	89.552%	402
March 13 2023, 06:19:01	61f6f81	89.552%	402
March 10 2023, 06:09:02	b446b5e	89.552%	402
February 23 2023, 13:02:28	f93f771	89.552%	402
February 21 2023, 09:35:31	54f2b8b	89.552%	402
February 20 2023, 06:26:44	b11f5ef	89.552%	402
February 20 2023, 06:15:11	f3821c4	89.552%	402
February 18 2023, 16:29:13	15af79a	89.552%	402
February 11 2023, 08:53:31	5e715e3	89.552%	402
February 9 2023, 14:08:26	3a499f3	89.552%	402
February 8 2023, 06:51:35	7fef14e	89.552%	402
February 3 2023, 07:07:38	aab257c	89.552%	402
February 2 2023, 11:15:47	f1a2664	89.552%	402
January 30 2023, 06:37:30	466a568	89.552%	402
January 25 2023, 13:12:37	aa48fc6	89.552%	402
January 24 2023, 14:24:22	2512260	89.552%	402
January 23 2023, 09:54:13	338a180	89.552%	402
January 23 2023, 09:40:24	e8ae24d	89.552%	402
January 15 2023, 14:06:38	23f9901	89.552%	402
January 15 2023, 13:27:43	af0641b	89.552%	402
January 2 2023, 08:42:48	1511a52	89.552%	402
December 24 2022, 05:49:30	cde7978	89.552%	402
December 20 2022, 11:33:57	d45505f	89.552%	402
December 20 2022, 08:51:35	79da1e7	89.552%	402
December 20 2022, 08:48:37	3473308	89.552%	402
December 19 2022, 05:52:44	d928682	89.552%	402
December 13 2022, 05:45:00	568c24a	89.552%	402
December 3 2022, 06:12:11	4cfac23	89.552%	402
November 30 2022, 18:48:44	a17dbb6	89.552%	402
November 7 2022, 16:05:45	87458d3	89.552%	402
November 1 2022, 06:31:36	8c1dbb6	89.552%	402
October 29 2022, 05:17:04	325b86e	89.552%	402
October 17 2022, 06:27:11	9415843	89.552%	402
October 13 2022, 05:19:27	6d7740c	89.552%	402
October 9 2022, 08:46:50	41a327b	89.552%	402
September 19 2022, 05:27:22	ae8c732	89.552%	402
September 13 2022, 09:41:37	be89e0a	89.552%	402
September 4 2022, 06:43:14	cc47106	89.552%	402
September 2 2022, 05:40:09	6b8043a	89.552%	402
August 17 2022, 01:25:05	39e8159	89.552%	402
August 3 2022, 06:19:03	800e4df	89.552%	402
July 29 2022, 05:20:31	0fee40b	89.552%	402
July 23 2022, 07:46:47	6e31b0b	89.552%	402
July 16 2022, 05:40:22	36b01ca	89.552%	402
July 13 2022, 12:40:43	b7425d5	89.552%	402
July 13 2022, 12:36:15	6d968a2	89.552%	402
July 11 2022, 12:21:19	9a35476	89.552%	402
July 2 2022, 06:30:42	bd12d40	89.552%	402
June 28 2022, 05:33:15	3081830	89.552%	402
June 15 2022, 07:06:13	d8ee7e9	89.552%	402
June 9 2022, 06:24:27	a9e790c	89.552%	402
June 2 2022, 07:19:23	e11d997	89.552%	402
May 3 2022, 08:06:28	f4a0dd4	89.552%	402
April 13 2022, 18:41:23	5d9b093	89.552%	402
April 11 2022, 13:29:57	7f556fe	89.552%	402
April 11 2022, 06:08:39	6778a05	89.552%	402
April 2 2022, 15:47:58	8972421	89.552%	402
March 29 2022, 05:29:31	43f967e	89.552%	402
March 21 2022, 05:53:56	74dcfe8	89.552%	402
March 8 2022, 06:12:54	70280f6	89.552%	402
March 6 2022, 06:25:41	d83aaab	89.552%	402
February 23 2022, 08:29:43	ba12ff8	89.552%	402
February 14 2022, 08:37:01	6d61d0c	89.552%	402
February 10 2022, 07:15:08	f8dc27b	89.526%	401
February 8 2022, 08:23:18	6576067	90.361%	415
February 8 2022, 07:02:00	fe0ec7b	90.120%	415
February 7 2022, 06:23:37	15d3fd4	90.120%	415
January 22 2022, 06:22:08	abef362	90.120%	415
January 14 2022, 07:53:51	3be264d	90.120%	415
January 9 2022, 07:28:42	b7656cd	90.120%	415
January 1 2022, 07:59:28	7870311	90.120%	415
January 1 2022, 07:10:32	53156c8	90.120%	415
December 26 2021, 08:33:39	bfd627f	90.120%	415
December 26 2021, 08:17:13	e191e1f	90.120%	415
December 22 2021, 13:12:59	81a10ae	90.120%	415
December 13 2021, 14:52:36	9327c50	90.120%	415
November 29 2021, 15:32:44	a6a2c16	90.120%	415
November 11 2021, 09:07:59	c034031	90.120%	415
November 6 2021, 06:48:15	a33f92f	90.120%	415
October 28 2021, 05:35:19	1186a71	90.120%	415
October 5 2021, 12:16:32	1ae08a0	90.120%	415
October 5 2021, 11:49:40	0a6e942	90.120%	415
September 16 2021, 05:17:09	c85828d	90.120%	415
September 8 2021, 05:34:50	9d82761	90.120%	415
August 30 2021, 06:10:08	4e23da6	90.120%	415
August 20 2021, 05:38:56	266fda6	90.120%	415
August 16 2021, 05:57:09	4ca2a5f	90.120%	415
August 13 2021, 14:10:17	b04df2c	90.120%	415
August 4 2021, 11:53:35	1aa978d	90.120%	415
July 31 2021, 14:44:47	23d13c6	90.120%	415
July 24 2021, 14:58:38	14a4a6e	90.120%	415
July 22 2021, 12:22:35	c9d5cc6	90.120%	415
July 4 2021, 06:26:33	61b6f14	90.120%	415
July 3 2021, 04:54:43	3588dd9	90.120%	415
June 11 2021, 13:31:12	23bd595	90.049%	412
June 11 2021, 13:28:28	740d0ed	90.049%	412
June 11 2021, 13:27:51	44c8971	90.049%	412
June 5 2021, 04:12:10	26d629c	90.073%	413
June 3 2021, 15:58:08	f39825c	90.073%	413
May 26 2021, 05:02:29	34cb574	90.073%	413
May 22 2021, 10:31:39	987ada2	90.073%	413
May 4 2021, 15:49:40	ec00861	90.073%	413
April 27 2021, 12:11:12	31023f7	90.000%	410
April 20 2021, 05:26:48	0f039e9	90.000%	410
April 2 2021, 08:21:38	8684de2	90.000%	410
March 17 2021, 06:16:56	fe610de	90.000%	410
March 12 2021, 06:35:06	fdc8150	90.000%	410
March 10 2021, 06:28:46	8a1428d	90.000%	410
February 23 2021, 15:48:19	0ac702e	90.000%	410
February 21 2021, 06:38:40	48eacca	90.000%	410
February 14 2021, 06:52:09	a912746	90.000%	410
January 31 2021, 06:05:57	ebe2eda	90.000%	410
January 27 2021, 12:51:08	ae53ac1	90.000%	410
January 23 2021, 09:14:00	483fae6	90.000%	410
January 18 2021, 13:03:37	f512416	90.000%	410
January 14 2021, 08:05:52	d172b1d	90.000%	410
January 2 2021, 06:22:03	a74d82a	90.000%	410
December 24 2020, 12:27:19	0471b24	90.000%	410
December 18 2020, 12:31:12	27db5be	90.000%	410
December 9 2020, 08:38:02	dbf5162	90.000%	410
December 8 2020, 06:08:44	306b1e1	90.000%	410
December 5 2020, 06:50:42	3d3792d	90.000%	410
November 21 2020, 07:22:08	f09b3af	90.000%	410
November 14 2020, 06:22:46	cf722e6	90.000%	410
November 9 2020, 10:26:33	bae2a2a	90.000%	410
November 4 2020, 07:07:15	6c76da2	90.000%	410
October 30 2020, 14:11:34	e969686	90.000%	410
October 28 2020, 16:35:47	9b85db9	90.000%	410
October 26 2020, 15:55:19	a90ccbd	90.000%	410
October 26 2020, 13:00:17	4a27e5a	90.000%	410
October 26 2020, 04:57:03	d54bf9b	90.000%	410
October 25 2020, 06:22:42	25de8ae	90.000%	410
October 25 2020, 06:01:47	739411c	90.000%	410
October 25 2020, 04:50:06	baec50d	89.737%	380
October 24 2020, 11:22:17	c7d087d	89.737%	380
October 24 2020, 11:04:54	7c99932	89.737%	380
October 15 2020, 05:04:42	3a60604	89.737%	380
September 28 2020, 05:54:06	ea779cb	89.267%	382
September 17 2020, 13:46:44	75e7f3c	89.844%	384
September 12 2020, 08:04:36	8b2f0c7	89.844%	384
September 8 2020, 10:36:07	29fcd1e	89.844%	384
September 5 2020, 06:13:25	24ebc5a	89.844%	384
September 2 2020, 11:54:47	1e691c0	89.844%	384
August 24 2020, 05:28:59	915ffaa	89.870%	385
August 18 2020, 07:08:56	9143e54	89.870%	385
August 7 2020, 05:13:41	6817ead	89.870%	385
August 7 2020, 04:09:03	22ae663	89.870%	385
August 6 2020, 06:05:29	89bc30c	89.870%	385
August 6 2020, 05:29:41	3ff40af	89.870%	385
August 6 2020, 05:17:00	b64f8f1	89.870%	385
August 3 2020, 10:00:18	22dc4ab	89.870%	385
July 31 2020, 07:48:48	55b43c8	89.870%	385
July 17 2020, 06:06:30	b317915	89.870%	385
July 4 2020, 05:14:11	3a35e6f	89.870%	385
June 28 2020, 12:07:47	948475e	89.870%	385
June 28 2020, 06:00:42	143dbaa	89.870%	385
June 26 2020, 12:10:03	c6bd3a6	89.870%	385
June 26 2020, 07:32:09	836ce3a	89.870%	385
June 24 2020, 04:56:03	f8a8b8c	89.870%	385
June 23 2020, 06:00:52	40b34ab	89.870%	385
June 22 2020, 14:40:49	4bb6420	89.870%	385
June 22 2020, 12:10:59	29f65f5	89.870%	385
June 18 2020, 05:01:18	2898b6b	89.870%	385
June 16 2020, 07:26:02	df0c6a8	89.870%	385
June 7 2020, 06:03:57	ca306b6	89.870%	385
June 5 2020, 06:49:26	f944d06	89.870%	385
May 28 2020, 05:13:23	23d8ecf	89.870%	385
May 27 2020, 05:54:46	0fdc38e	89.870%	385
May 12 2020, 05:29:49	8b5e4b1	89.870%	385
May 4 2020, 12:48:08	4cf86c3	89.870%	385
May 4 2020, 12:34:27	1d01c2a	89.870%	385
April 17 2020, 05:50:57	2a09863	89.870%	385
April 13 2020, 15:25:02	3263ecf	89.870%	385
April 13 2020, 06:44:27	f85cd7f	89.870%	385
April 10 2020, 12:39:15	89cdefe	90.464%	388
April 10 2020, 06:20:27	86ec013	90.464%	388
April 10 2020, 05:37:05	966c454	90.464%	388
March 23 2020, 14:23:38	f2c4ebf	90.464%	388
March 20 2020, 06:59:58	79511f5	90.464%	388
March 11 2020, 04:00:14	c528c3d	90.464%	388
March 9 2020, 06:22:11	4048aec	90.464%	388
February 25 2020, 13:23:04	31a909b	90.464%	388
February 13 2020, 06:14:02	ecee9f0	90.464%	388