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/yawfqjf410vw1c31v0l0lx7jimwszgy6-rust-loom-0.2.13.drv | ||
| mips64el-linux | /gnu/store/9q3nc3vhka7hp8id5q5bd8g0d4frf3kw-rust-loom-0.2.13.drv | ||
| i686-linux | /gnu/store/if50ihv28c5jp5qic5ik6i1wlwx0jc39-rust-loom-0.2.13.drv | ||
| i586-gnu | /gnu/store/pfl3636b94cmps8jy7jlq2ylfpivm844-rust-loom-0.2.13.drv | ||
| armhf-linux | /gnu/store/r66akgcdf50gh5ihk57lklwcvg42xinb-rust-loom-0.2.13.drv | ||
| aarch64-linux | /gnu/store/iq81wv0wc0xs5257b34awdfdxq26pjpb-rust-loom-0.2.13.drv |
| Linter | Message | Location |
|---|---|---|
| No lint warnings ✓ | ||