summaryrefslogtreecommitdiff
path: root/gnu/packages/crates-io.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2022-09-01 18:50:31 +0200
committerRicardo Wurmus <rekado@elephly.net>2022-09-05 00:12:49 +0200
commit1a69cdd800a74f5c77744973180ae15f95699dbd (patch)
tree4c95776c2e45bc8f461e3926633a9bd740f4f691 /gnu/packages/crates-io.scm
parent90309a79ce108bb3b6c685a3ea7c477aaf78d8c8 (diff)
gnu: Add rust-loom-0.5.
* gnu/packages/crates-io.scm (rust-loom-0.5): New variable.
Diffstat (limited to 'gnu/packages/crates-io.scm')
-rw-r--r--gnu/packages/crates-io.scm32
1 files changed, 32 insertions, 0 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index b08ba85210..ee3c234ab3 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -33248,6 +33248,38 @@ logging implementation for the `log` facade.")
(description "This package tests and asserts log statements.")
(license (list license:expat license:asl2.0))))
+(define-public rust-loom-0.5
+ (package
+ (name "rust-loom")
+ (version "0.5.6")
+ (source (origin
+ (method url-fetch)
+ (uri (crate-uri "loom" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1x9hmiv00ir79kypcg0jdw0j0fkd3ymq6rpv6pli6q5qifrfql7z"))))
+ (build-system cargo-build-system)
+ (arguments
+ `(;#:skip-build? #t
+ #:cargo-inputs
+ (("rust-cfg-if" ,rust-cfg-if-1)
+ ("rust-generator" ,rust-generator-0.7)
+ ("rust-pin-utils" ,rust-pin-utils-0.1)
+ ("rust-scoped-tls" ,rust-scoped-tls-1)
+ ("rust-serde" ,rust-serde-1)
+ ("rust-serde-json" ,rust-serde-json-1)
+ ("rust-tracing" ,rust-tracing-0.1)
+ ("rust-tracing-subscriber" ,rust-tracing-subscriber-0.3))))
+ (home-page "https://github.com/tokio-rs/loom")
+ (synopsis "Permutation testing for concurrent code")
+ (description
+ "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.")
+ (license license:expat)))
+
(define-public rust-loom-0.4
(package
(name "rust-loom")