Model-based testing for data structures
Model-based testing for data structures, with linearizability checking.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/6h80k5la6yhnnrr61w0958k5hnz04laz-rust-model-0.1.2.drv | ||
mips64el-linux | /gnu/store/b85cd62ww7b2fcwl33igmaxxnzfk1drc-rust-model-0.1.2.drv | ||
i686-linux | /gnu/store/5jlmw2qnx825z9cpdajkgzgaxyi4aa2b-rust-model-0.1.2.drv | ||
armhf-linux | /gnu/store/iyy4jalk22asrmrxdy3lmrs2rsbqkq7n-rust-model-0.1.2.drv | ||
aarch64-linux | /gnu/store/spjbsm5xbyv2wrjfskw2wr88xc3lw07a-rust-model-0.1.2.drv |
Linter | Message | Location |
---|---|---|
derivation Report failure to compile a package to a derivation | failed to create i686-linux derivation: path ‘/gnu/store/2f4hwvm2isrsbi0zvsgw58ab6g6ckig0-patch-2.7.6.drv’ is not valid | |
derivation Report failure to compile a package to a derivation | failed to create armhf-linux derivation: path ‘/gnu/store/132aqp4qjfys7abpr30jklkd33dl5lc1-patch-2.7.6.drv’ is not valid | |
derivation Report failure to compile a package to a derivation | failed to create aarch64-linux derivation: path ‘/gnu/store/09hhdxcfrm56afpglx3ff2dj4ibfl92x-sed-4.7.drv’ is not valid | |
derivation Report failure to compile a package to a derivation | failed to create mips64el-linux derivation: path ‘/gnu/store/110f2jlvf1bgwppx81sa07nc53c5v7vd-gzip-1.10.drv’ is not valid |