| custom_config.rs |
Ensures that a custom config behaves as the default config, until limits are reached.
Prevents regression after #80. |
2502 |
| loom_pool.rs |
|
18194 |
| loom_slab.rs |
|
23000 |
| mod.rs |
|
2200 |
| properties.rs |
This module contains property-based tests against the public API:
* API never panics.
* Active entries cannot be overridden until removed.
* The slab doesn't produce overlapping keys.
* The slab doesn't leave "lost" keys.
* `get()`, `get_owned`, and `contains()` are consistent.
* `RESERVED_BITS` are actually not used.
The test is supposed to be deterministic, so it doesn't spawn real threads
and uses `tid::with()` to override the TID for the current thread. |
7917 |