mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-01 00:45:29 +00:00
88b704db19
Our overall nightly test time greatly decreases when the timeouts for the single tests are not that over-pessimistic. Using the slowest platforms as reference, this commit reduces the test timeouts. Ref #3027
Test for weak-pointer utilities.