alps-asd/app-state-diagram
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| August 10 2025, 18:10:22 | d62b63b | 99.110% | 2K |
| August 10 2025, 18:06:10 | 604e21e | 99.110% | 2K |
| August 10 2025, 05:23:37 | fdddff9 | 99.110% | 2K |
| August 10 2025, 01:20:00 | 7953f10 | 99.110% | 2K |
| August 10 2025, 01:10:51 | 8ee465a | 99.109% | 2K |
| August 10 2025, 00:41:47 | dfc1f10 | 99.110% | 2K |
| August 8 2025, 17:08:42 | dc83a5e | 99.099% | 1.9K |
| August 8 2025, 15:34:08 | 5872147 | 99.099% | 1.9K |
| August 8 2025, 02:15:11 | 8d2457c | 99.096% | 1.9K |
| August 8 2025, 02:12:56 | 4b29a35 | 99.096% | 1.9K |
| August 7 2025, 11:36:24 | 5f9428e | 99.090% | 1.9K |
| August 7 2025, 11:29:33 | 6687c60 | 99.090% | 1.9K |
| August 6 2025, 16:49:39 | 5b14391 | 99.085% | 1.9K |
| August 6 2025, 16:22:32 | 1bd676b | 99.085% | 1.9K |
| August 6 2025, 16:17:56 | fdd6cc8 | 99.085% | 1.9K |
| August 6 2025, 16:11:26 | 336e855 | 99.085% | 1.9K |
| August 6 2025, 16:09:09 | c0e4edb | 99.085% | 1.9K |
| August 6 2025, 15:58:04 | d1d671e | 99.085% | 1.9K |
| August 6 2025, 15:55:37 | 273ac44 | 99.085% | 1.9K |
| August 6 2025, 08:11:12 | c8e558c | 99.066% | 1.9K |
| August 6 2025, 04:51:43 | c9828e1 | 99.063% | 1.9K |
| August 5 2025, 09:56:09 | 7df926f | 99.063% | 1.9K |
| August 5 2025, 09:37:27 | d70c83f | 99.063% | 1.9K |
| August 5 2025, 09:36:04 | e2b1877 | 99.063% | 1.9K |
| August 5 2025, 08:37:41 | f97899e | 99.063% | 1.9K |
| August 5 2025, 08:33:05 | 2a6d662 | 99.063% | 1.9K |
| August 5 2025, 08:03:19 | 9cb3ca7 | 99.063% | 1.9K |
| July 21 2025, 00:11:50 | 84fb9d4 | 99.042% | 1.8K |
| June 20 2025, 06:37:01 | e0a11dd | 99.042% | 1.8K |
| June 11 2025, 06:33:18 | 3b04a26 | 99.042% | 1.8K |
| May 14 2025, 22:05:01 | d4fe3ed | 99.042% | 1.8K |
| May 14 2025, 22:01:20 | f781579 | 99.042% | 1.8K |
| May 12 2025, 23:36:10 | fe29b4f | 99.042% | 1.8K |
| May 12 2025, 14:50:00 | 7bdf652 | 99.033% | 1.8K |
| May 12 2025, 14:38:12 | 2c3dbbc | 99.033% | 1.8K |
| May 12 2025, 11:50:23 | 42a6b26 | 99.033% | 1.8K |
| May 9 2025, 02:35:32 | e94ef9b | 99.033% | 1.8K |
| May 6 2025, 11:45:05 | 57fb32d | 99.033% | 1.8K |
| May 6 2025, 11:23:48 | a6a7614 | 99.033% | 1.8K |
| May 6 2025, 01:58:02 | c0dd9fe | 99.035% | 1.8K |
| May 5 2025, 16:38:20 | a013bd5 | 99.035% | 1.8K |
| May 5 2025, 16:29:45 | 69e6445 | 99.035% | 1.8K |
| May 5 2025, 16:24:42 | d2c669d | 99.035% | 1.8K |
| May 5 2025, 16:12:17 | b51946f | 99.035% | 1.8K |
| May 5 2025, 11:25:13 | bd85ecd | 99.035% | 1.8K |
| May 5 2025, 07:12:00 | 78e5bc5 | 99.035% | 1.8K |
| May 5 2025, 04:03:51 | 09bfd71 | 99.039% | 1.8K |
| May 5 2025, 03:08:08 | 0557d96 | 99.039% | 1.8K |
| May 5 2025, 01:59:18 | c9a2b2b | 99.034% | 1.8K |
| May 4 2025, 16:21:24 | 1f108b5 | 99.025% | 1.8K |
| May 4 2025, 03:10:26 | fbe5e7c | 99.022% | 1.8K |
| May 4 2025, 03:07:58 | 3baa27b | 99.022% | 1.8K |
| May 4 2025, 03:04:49 | 1de9eb9 | 99.022% | 1.8K |
| May 4 2025, 01:46:48 | 963e8aa | 99.022% | 1.8K |
| May 3 2025, 17:10:22 | e370c46 | 99.029% | 1.8K |
| April 1 2025, 11:36:46 | e0fb497 | 99.011% | 1.7K |
| 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 |