alps-asd/app-state-diagram
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| December 23 2024, 12:27:10 | 5d1bb2a | 99.024% | 1.7K |
| December 23 2024, 11:55:31 | bb454da | 99.024% | 1.7K |
| December 23 2024, 09:53:51 | 53aa0fc | 99.024% | 1.7K |
| October 23 2024, 01:05:24 | 2074f9c | 99.024% | 1.7K |
| October 5 2024, 14:23:54 | 4d12465 | 99.025% | 1.7K |
| October 4 2024, 16:23:09 | 3ac6fe9 | 99.026% | 1.7K |
| July 30 2024, 04:12:02 | ce83c67 | 98.586% | 1.6K |
| June 15 2024, 18:54:55 | 2ebd644 | 98.843% | 1.9K |
| June 14 2024, 16:44:25 | 9c23ea0 | 98.843% | 1.9K |
| June 14 2024, 16:19:37 | f39676c | 98.843% | 1.9K |
| June 14 2024, 16:00:01 | 4f920fc | 98.843% | 1.9K |
| June 14 2024, 15:49:37 | 720378d | 98.843% | 1.9K |
| June 14 2024, 15:31:30 | da5247d | 98.843% | 1.9K |
| June 14 2024, 15:12:15 | e516dd7 | 98.843% | 1.9K |
| January 2 2024, 01:30:01 | 54b3ce1 | 98.843% | 1.9K |
| January 2 2024, 01:25:57 | 0110836 | 98.843% | 1.9K |
| December 7 2023, 22:32:46 | e6e4875 | 98.843% | 1.9K |
| December 7 2023, 08:21:09 | 8a003f1 | 98.843% | 1.9K |
| December 7 2023, 07:22:20 | 4eb01cf | 98.843% | 1.9K |
| August 14 2023, 07:35:05 | bbceb80 | 99.203% | 2.1K |
| February 17 2023, 10:24:42 | cbbb208 | 99.203% | 2.1K |
| December 9 2022, 04:17:33 | 2adc2b1 | 99.203% | 2.1K |
| December 2 2022, 14:59:21 | eb146cb | 99.203% | 2.1K |
| November 27 2022, 09:14:16 | 7580fb5 | 99.203% | 2.1K |
| November 18 2022, 11:28:55 | 48bd37a | 99.193% | 2.1K |
| November 1 2022, 01:51:56 | 027147d | 99.191% | 2.1K |
| October 7 2022, 04:19:47 | 0635066 | 99.191% | 2.1K |
| September 9 2022, 02:32:24 | d0583ea | 99.191% | 2.1K |
| August 26 2022, 08:03:17 | 5e5a6ef | 99.210% | 2.1K |
| July 22 2022, 09:46:24 | d7597e4 | 99.150% | 1.9K |
| July 22 2022, 05:27:30 | 8847833 | 99.150% | 1.9K |
| July 22 2022, 04:43:40 | 001c8eb | 99.150% | 1.9K |
| May 28 2022, 07:13:42 | 64f0f3d | 99.150% | 1.9K |
| May 20 2022, 07:03:40 | 4fd7b61 | 99.150% | 1.9K |
| January 7 2022, 11:52:29 | 1117a95 | 99.150% | 1.9K |
| January 7 2022, 11:49:32 | 01de756 | 99.150% | 1.9K |
| January 7 2022, 10:34:35 | 2dbdb4e | 99.151% | 2K |
| January 7 2022, 10:18:29 | 168efa2 | 99.151% | 2K |
| December 18 2021, 00:58:13 | 537afb0 | 99.149% | 1.9K |
| December 3 2021, 07:02:42 | 175c97a | 99.147% | 1.9K |
| December 3 2021, 02:34:15 | 78c1486 | 99.147% | 1.9K |
| December 1 2021, 23:18:05 | 49985fc | 99.147% | 1.9K |
| November 29 2021, 02:10:24 | 4f7b469 | 99.147% | 1.9K |
| November 27 2021, 16:58:03 | 201068d | 99.147% | 1.9K |
| November 27 2021, 15:56:18 | cbdcc20 | 99.149% | 1.9K |
| November 26 2021, 17:00:09 | c5a4d22 | 99.149% | 1.9K |
| November 26 2021, 16:57:59 | bc3ffd2 | 99.149% | 1.9K |
| November 26 2021, 05:56:01 | 2dd2199 | 99.149% | 1.9K |
| November 26 2021, 01:51:40 | 75ecef0 | 99.149% | 1.9K |
| November 26 2021, 01:41:53 | 8c3f8c8 | 99.149% | 1.9K |
| November 25 2021, 10:50:09 | 6fd3014 | 99.149% | 1.9K |