spiral/validation
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| February 29 2024, 13:52:50 | c614ef0 | 94.595% | 37 |
| December 29 2023, 10:49:02 | d9ab039 | 94.595% | 37 |
| December 29 2023, 10:41:32 | d40f889 | 94.595% | 37 |
| December 21 2023, 14:47:59 | 20e220f | 94.595% | 37 |
| December 12 2023, 11:53:37 | 2f4518b | 94.595% | 37 |
| December 12 2023, 11:46:07 | 814a81c | 94.595% | 37 |
| November 24 2023, 08:34:45 | 15a50a8 | 94.595% | 37 |
| October 24 2023, 14:16:57 | e03c7a3 | 94.595% | 37 |
| October 24 2023, 14:07:36 | 95e7426 | 94.595% | 37 |
| October 19 2023, 14:26:11 | 0772a08 | 94.595% | 37 |
| September 8 2023, 10:11:28 | 53c6c80 | 94.595% | 37 |
| September 8 2023, 10:09:07 | c1550bf | 94.595% | 37 |
| August 29 2023, 15:12:54 | 3cfa0d7 | 94.595% | 37 |
| August 18 2023, 10:04:02 | ed7a55a | 94.595% | 37 |
| August 18 2023, 10:01:46 | 7e08f87 | 94.595% | 37 |
| August 16 2023, 17:47:39 | fae3dd2 | 94.595% | 37 |
| August 16 2023, 17:45:13 | 2748efc | 94.595% | 37 |
| August 14 2023, 17:48:40 | 51cf2e2 | 94.595% | 37 |
| April 25 2023, 17:36:21 | f081692 | 94.595% | 37 |
| April 21 2023, 14:50:31 | 0a99f0f | 94.595% | 37 |
| April 21 2023, 14:43:37 | d33a96f | 94.595% | 37 |
| April 20 2023, 16:09:12 | 68bd7ac | 94.595% | 37 |
| April 13 2023, 16:29:40 | 1569e1a | 94.595% | 37 |
| April 10 2023, 08:53:38 | f9e542b | 94.595% | 37 |
| March 23 2023, 13:03:27 | b1d38b7 | 94.595% | 37 |
| February 23 2023, 22:23:11 | 34de1d1 | 94.595% | 37 |
| February 20 2023, 15:49:06 | 9fe2b1c | 94.595% | 37 |
| February 20 2023, 15:39:17 | efa7a21 | 94.595% | 37 |
| February 20 2023, 15:37:56 | 3ae9cb0 | 94.595% | 37 |
| February 19 2023, 07:37:48 | 344ff69 | 94.595% | 37 |
| January 19 2023, 08:21:47 | 8350fca | 94.595% | 37 |
| December 23 2022, 13:38:16 | 29e45bf | 94.595% | 37 |
| December 23 2022, 13:30:35 | 9b3dd23 | 94.595% | 37 |
| December 8 2022, 18:15:56 | 11f3144 | 94.595% | 37 |
| November 18 2022, 08:03:26 | c8bc135 | 94.595% | 37 |
| November 17 2022, 15:51:29 | e27a43f | 94.595% | 37 |
| October 21 2022, 09:47:29 | 24d92fe | 94.595% | 37 |
| October 3 2022, 16:15:42 | acd49e3 | 94.595% | 37 |
| September 29 2022, 15:09:13 | bc15037 | 94.595% | 37 |
| September 29 2022, 15:01:16 | 89003d5 | 94.595% | 37 |
| September 29 2022, 14:46:26 | e2155c0 | 94.595% | 37 |
| September 29 2022, 14:08:13 | e3b0685 | 93.333% | 15 |
| September 28 2022, 09:42:53 | e724d9d | 91.892% | 37 |
| September 16 2022, 09:33:39 | 24255ae | 93.333% | 15 |
| September 14 2022, 07:23:25 | d35d309 | 93.333% | 15 |
| September 13 2022, 15:16:23 | 5949651 | 93.333% | 15 |
| September 13 2022, 15:00:38 | ba90d3b | 93.333% | 15 |
| September 13 2022, 14:53:13 | fdc697e | 93.333% | 15 |
| September 13 2022, 11:40:19 | 34feb39 | 93.333% | 15 |