Sergej Sakac
f14bf347e8
Broker pallet: RegionDropped event fix & additional tests ( #1609 )
...
This PR includes the following fix:
- [x] The `duration` is always set to zero in the `RegionDropped` event.
This is fixed in this PR.
Also added some additional tests to cover some cases that aren't covered
:
- [x] Selling a partitioned region to the instantaneous coretime pool.
- [x] Partitioning a region after assigning it to a particular task.
- [x] Interlacing a region after assigning it to a particular task.
2023-09-18 12:02:15 +02:00
..
2023-08-31 14:08:44 +03:00
2023-09-06 15:00:53 +01:00
2023-09-15 11:52:05 +02:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-09-15 01:03:46 -04:00
2023-09-17 12:19:18 +01:00
2023-09-14 10:31:24 +03:00
2023-09-13 09:33:12 +02:00
2023-09-04 12:02:32 +03:00
2023-08-29 13:39:41 +02:00
2023-09-18 12:02:15 +02:00
2023-09-04 12:02:32 +03:00
2023-08-31 14:08:44 +03:00
2023-09-15 11:45:49 +02:00
2023-08-31 14:08:44 +03:00
2023-09-04 12:02:32 +03:00
2023-09-17 12:19:18 +01:00
2023-09-18 11:18:19 +02:00
2023-09-15 11:45:49 +02:00
2023-09-04 12:02:32 +03:00
2023-09-18 11:05:12 +02:00
2023-09-04 12:02:32 +03:00
2023-09-15 01:03:46 -04:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-08-29 13:39:41 +02:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-08-31 14:08:44 +03:00
2023-08-29 13:39:41 +02:00
2023-08-29 13:39:41 +02:00
2023-09-05 12:11:30 +02:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-08-29 13:39:41 +02:00
2023-09-14 10:25:50 +10:00
2023-09-04 12:02:32 +03:00
2023-09-15 01:03:46 -04:00
2023-09-17 12:19:18 +01:00
2023-08-31 14:08:44 +03:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-09-17 12:19:18 +01:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-09-06 16:06:47 +03:00
2023-09-04 12:02:32 +03:00
2023-09-17 12:19:18 +01:00
2023-08-29 13:39:41 +02:00
2023-09-04 12:02:32 +03:00
2023-09-13 09:34:53 +02:00
2023-09-15 11:45:49 +02:00
2023-08-31 14:08:44 +03:00
2023-08-29 13:39:41 +02:00
2023-09-15 01:03:46 -04:00
2023-09-17 12:19:18 +01:00
2023-09-04 12:02:32 +03:00
2023-09-18 11:09:17 +02:00
2023-09-04 12:02:32 +03:00
2023-09-15 11:45:49 +02:00
2023-09-04 12:02:32 +03:00
2023-08-31 14:08:44 +03:00
2023-08-29 13:39:41 +02:00
2023-09-12 12:41:34 +02:00
2023-09-04 12:02:32 +03:00
2023-09-04 12:02:32 +03:00
2023-08-31 14:08:44 +03:00
2023-09-17 12:19:18 +01:00
2023-09-04 12:02:32 +03:00