Zalathar
5ca30c4646
Store BCB counters externally, not directly in the BCB graph
...
Storing coverage counter information in `CoverageCounters` has a few advantages
over storing it directly inside BCB graph nodes:
- The graph doesn't need to be mutable when making the counters, making it
easier to see that the graph itself is not modified during this step.
- All of the counter data is clearly visible in one place.
- It becomes possible to use a representation that doesn't correspond 1:1 to
graph nodes, e.g. storing all the edge counters in a single hashmap instead of
several.
2023-08-13 12:18:06 +10:00
..
2023-08-13 12:18:06 +10:00
2023-07-14 13:27:35 +01:00
2023-04-06 09:34:16 +01:00
2023-04-24 13:53:35 +00:00
2023-05-25 17:40:46 +00:00
2023-08-06 17:29:09 +03:00
2023-07-05 20:27:07 +01:00
2023-05-02 16:24:18 +01:00
2023-05-02 16:24:18 +01:00
2023-07-14 10:10:15 +02:00
2023-04-21 21:34:59 +00:00
2023-04-24 13:53:35 +00:00
2023-06-21 07:41:09 +00:00
2023-07-25 22:33:59 +02:00
2023-07-20 21:30:51 +00:00
2023-08-06 17:29:09 +03:00
2023-05-17 12:18:55 +00:00
2023-07-12 21:49:27 -04:00
2023-07-19 09:59:12 +00:00
2023-07-14 13:27:35 +01:00
2023-06-29 11:53:41 +10:00
2023-07-12 21:49:27 -04:00
2023-06-06 17:53:29 -04:00
2023-07-12 21:49:27 -04:00
2023-07-14 13:27:35 +01:00
2023-07-25 23:20:28 +02:00
2023-06-13 15:57:59 +00:00
2023-08-08 18:09:56 -07:00
2023-07-25 23:20:28 +02:00
2023-08-01 23:19:31 +00:00
2023-08-03 18:35:56 +00:00
2023-07-25 23:20:28 +02:00
2023-07-14 13:27:35 +01:00
2023-08-08 17:36:30 +02:00
2023-08-03 09:29:00 +00:00
2023-06-18 05:24:38 +00:00
2023-07-25 23:20:28 +02:00
2023-07-25 23:20:28 +02:00
2023-07-07 18:17:16 +02:00
2023-07-25 23:20:28 +02:00
2023-07-25 23:20:28 +02:00
2023-06-14 20:08:04 +00:00
2023-07-10 16:01:19 +00:00
2023-04-06 09:34:16 +01:00
2023-04-21 21:34:59 +00:00
2023-07-14 13:27:35 +01:00
2023-07-25 23:20:28 +02:00
2023-07-25 23:20:28 +02:00
2023-05-31 14:02:57 +00:00
2023-04-23 10:04:41 +00:00
2023-06-21 07:41:09 +00:00
2023-07-14 13:27:35 +01:00
2023-04-23 10:04:41 +00:00
2023-04-23 10:04:41 +00:00
2023-07-12 21:49:27 -04:00
2023-07-14 13:27:35 +01:00
2023-07-12 21:49:27 -04:00
2023-07-12 21:49:27 -04:00
2023-04-10 22:02:52 +02:00