Permutation testing for concurrent code
Loom is a testing tool for concurrent Rust code. It runs a test many times, permuting the possible concurrent executions of that test under the C11 memory model. It uses state reduction techniques to avoid combinatorial explosion.
| System | Target | Derivation | Build status |
|---|---|---|---|
| x86_64-linux | /gnu/store/qz5zrcq3dv06w4gbpp05jny1fdmzlnv7-rust-loom-0.3.6.drv | ||
| mips64el-linux | /gnu/store/pw1hk0nw6wcv9widc8y79q7qgan4d0kj-rust-loom-0.3.6.drv | ||
| i686-linux | /gnu/store/5x7xblbl3zjra1dab4v8aq3kwqwkcgr0-rust-loom-0.3.6.drv | ||
| i586-gnu | /gnu/store/s4s81878m9hixcl7gnrzw682hdg9wmxi-rust-loom-0.3.6.drv | ||
| armhf-linux | /gnu/store/ia4rblcnlr25r01803s7kja8x6532fjy-rust-loom-0.3.6.drv | ||
| aarch64-linux | /gnu/store/1mahsxibg2f7dikk9hdw35s5b2dgd9dc-rust-loom-0.3.6.drv |
| Linter | Message | Location |
|---|---|---|
| No lint warnings ✓ | ||