summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Soo <jsoo1@asu.edu>2019-12-19 20:57:19 -0800
committerEfraim Flashner <efraim@flashner.co.il>2020-01-02 20:16:57 +0200
commite1fd0a817d192c5a5df72dd7422e36558fa78e46 (patch)
treea0cf73225d802ee06a24ac9c755c87d074da4a38
parentd66f264903b114ae7471edf117bc3701bc52d949 (diff)
gnu: Add rust-model-0.1.
* gnu/packages/crates-io.scm (rust-model-0.1): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
-rw-r--r--gnu/packages/crates-io.scm26
1 files changed, 26 insertions, 0 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index b847eba080..30dd7645ef 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -5342,6 +5342,32 @@ IOCP and Async I/O abstractions.")
(base32
"06g9b8sqlh5gxakwqq4rrib07afwanfnxgxajrldwcgk3hxjy7wc"))))))
+(define-public rust-model-0.1
+ (package
+ (name "rust-model")
+ (version "0.1.2")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "model" version))
+ (file-name
+ (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "0kx6hy5i1fn2qs4x6hpng9jixpm68g83vm24z8bqqscr317yinb6"))))
+ (build-system cargo-build-system)
+ (arguments
+ `(#:skip-build? #t
+ #:cargo-inputs
+ (("rust-permutohedron" ,rust-permutohedron-0.2)
+ ("rust-proptest" ,rust-proptest-0.9))))
+ (home-page "https://github.com/spacejam/model")
+ (synopsis "Model-based testing for data structures")
+ (description
+ "Model-based testing for data structures, with linearizability
+checking.")
+ (license (list license:expat license:asl2.0))))
+
(define-public rust-modifier-0.1
(package
(name "rust-modifier")