@@ -51330,3 +51330,44 @@ configuration file and/or environment variables.")
" A macro which makes error types pleasant to write.
")
(license (list license:expat license:asl2.0))))
+
+(define-public rust-proptest-1
+ (package
+ (name "rust-proptest")
+ (version "1.0.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "proptest" version))
+ (file-name
+ (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1rdhjnf0xma5rmsq04d31n2vq1pgbm42pjc6jn3jsj8qgz09q38y"))))
+ (build-system cargo-build-system)
+ (arguments
+ `(#:skip-build?
+ #t
+ #:cargo-inputs
+ (("rust-bit-set" ,rust-bit-set-0.5)
+ ("rust-bitflags" ,rust-bitflags-1)
+ ("rust-byteorder" ,rust-byteorder-1)
+ ("rust-lazy-static" ,rust-lazy-static-1)
+ ("rust-num-traits" ,rust-num-traits-0.2)
+ ("rust-quick-error" ,rust-quick-error-2)
+ ("rust-rand" ,rust-rand-0.8)
+ ("rust-rand-chacha" ,rust-rand-chacha-0.3)
+ ("rust-rand-xorshift" ,rust-rand-xorshift-0.3)
+ ("rust-regex-syntax" ,rust-regex-syntax-0.6)
+ ("rust-rusty-fork" ,rust-rusty-fork-0.3)
+ ("rust-tempfile" ,rust-tempfile-3)
+ ("rust-x86" ,rust-x86-0.33))))
+ (home-page
+ "https://altsysrq.github.io/proptest-book/proptest/index.html")
+ (synopsis
+ "Hypothesis-like property-based testing and shrinking.
+")
+ (description
+ "Hypothesis-like property-based testing and shrinking.
+")
+ (license (list license:expat license:asl2.0))))