spiral/stempler-bridge
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| November 8 2024, 08:52:47 | 8363d71 | 95.658% | 737 |
| October 22 2024, 21:48:34 | 57c4c07 | 95.658% | 737 |
| September 30 2024, 19:02:11 | 0ff8d80 | 95.658% | 737 |
| September 23 2024, 07:58:31 | 0efe7d3 | 95.658% | 737 |
| September 23 2024, 07:49:36 | 24a9b80 | 95.658% | 737 |
| September 11 2024, 17:50:16 | 73fb6d9 | 95.658% | 737 |
| September 11 2024, 17:40:07 | 739b2f3 | 95.658% | 737 |
| September 11 2024, 17:17:50 | cc2b380 | 95.658% | 737 |
| September 4 2024, 11:00:39 | f94a47a | 95.658% | 737 |
| September 4 2024, 10:55:41 | ff98c8e | 95.658% | 737 |
| August 22 2024, 09:42:17 | c075369 | 95.658% | 737 |
| May 22 2024, 18:34:49 | 2ba577c | 95.658% | 737 |
| January 11 2024, 13:31:26 | 47809f7 | 95.658% | 737 |
| December 29 2023, 10:46:22 | ce29df2 | 95.658% | 737 |
| December 29 2023, 10:40:29 | a63b40c | 95.658% | 737 |
| December 12 2023, 11:47:17 | f21ec1e | 95.658% | 737 |
| December 12 2023, 11:45:34 | 77d1bd3 | 95.658% | 737 |
| October 24 2023, 14:14:17 | 39ff655 | 95.387% | 737 |
| October 24 2023, 14:06:54 | daee04d | 95.387% | 737 |
| September 14 2023, 05:53:13 | 6490de7 | 95.387% | 737 |
| September 8 2023, 10:10:19 | 463de21 | 95.387% | 737 |
| September 8 2023, 10:08:23 | 08a86e5 | 95.387% | 737 |
| August 29 2023, 15:14:59 | af910b2 | 95.387% | 737 |
| August 29 2023, 15:11:48 | f0792d4 | 95.387% | 737 |
| August 18 2023, 10:02:56 | 2cefcba | 95.387% | 737 |
| August 18 2023, 10:00:43 | 02aff59 | 95.387% | 737 |
| August 16 2023, 17:46:40 | 1c5539e | 95.387% | 737 |
| August 16 2023, 17:44:43 | 703b67e | 95.387% | 737 |
| August 14 2023, 17:47:41 | 9ac7297 | 95.387% | 737 |
| April 25 2023, 17:32:03 | 1feef69 | 95.387% | 737 |
| April 21 2023, 14:44:45 | c4a9c66 | 95.387% | 737 |
| April 21 2023, 14:42:51 | 77ed063 | 95.387% | 737 |
| April 10 2023, 08:50:23 | 148e6a1 | 95.387% | 737 |
| February 23 2023, 22:20:29 | 81e3b76 | 95.387% | 737 |
| February 20 2023, 15:39:38 | 6a7ae60 | 95.387% | 737 |
| February 20 2023, 15:38:18 | 30847e3 | 95.387% | 737 |
| February 20 2023, 15:37:12 | b981fef | 95.387% | 737 |
| December 8 2022, 14:13:10 | 90c7f00 | 95.387% | 737 |
| December 8 2022, 07:57:30 | 859029d | 95.387% | 737 |
| September 29 2022, 15:02:17 | b5a70b3 | 95.323% | 727 |
| September 16 2022, 09:26:42 | d04e111 | 95.323% | 727 |
| September 13 2022, 15:08:00 | 20422c4 | 95.000% | 720 |
| September 13 2022, 14:55:15 | 9cb32e1 | 95.000% | 720 |
| September 13 2022, 14:50:54 | 4b95999 | 95.000% | 720 |
| September 13 2022, 11:37:59 | 1556b01 | 95.000% | 720 |