diff options
author | Artyom V. Poptsov <poptsov.artyom@gmail.com> | 2024-03-17 07:47:17 +0300 |
---|---|---|
committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2024-03-21 23:50:26 +0000 |
commit | 9a5b9dad0d542b94bc34d5d5cfab70bff6c29c90 (patch) | |
tree | 4ca36d1dd8fef0ccaad469b00de64360e687b033 | |
parent | f620261a56cde804cb52b31666b6dd0f5777ba11 (diff) | |
download | guix-9a5b9dad0d542b94bc34d5d5cfab70bff6c29c90.tar.gz |
gnu: Add go-pgregory-net-rapid.
* gnu/packages/golang-check.scm (go-pgregory-net-rapid): New variable. Change-Id: I09a89c779a352e6a102d0b4c7af3aa1f7c3cac70 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
-rw-r--r-- | gnu/packages/golang-check.scm | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/gnu/packages/golang-check.scm b/gnu/packages/golang-check.scm index 290afdd3b9..1558536182 100644 --- a/gnu/packages/golang-check.scm +++ b/gnu/packages/golang-check.scm @@ -804,6 +804,45 @@ custom assertions to be used alongside native Go testing.") advanced Go linter.") (license license:expat))) +(define-public go-pgregory-net-rapid + (package + (name "go-pgregory-net-rapid") + (version "1.1.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/flyingmutant/rapid") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1alyhcbdq6113sfymx7xxmxpcbgvkaipsn15cgjrcqrx8ks1hm5i")))) + (build-system go-build-system) + (arguments + (list + #:go go-1.18 + #:import-path "pgregory.net/rapid")) + (home-page "https://pgregory.net/rapid/") + (synopsis "Go property-based testing library") + (description + "@code{Rapid} is a Go library for property-based testing. + +Rapid checks that properties you define hold for a large number of automatically +generated test cases. If a failure is found, rapid automatically minimizes the +failing test case before presenting it. + +Features: +@itemize +@item imperative Go API with type-safe data generation using generics +@item data generation biased to explore \"small\" values and edge cases more +thoroughly +@item fully automatic minimization of failing test cases +@item persistence and automatic re-running of minimized failing test cases +@item support for state machine (\"stateful\" or \"model-based\") testing +@item no dependencies outside the Go standard library +@end itemize") + (license license:mpl2.0))) + ;;; ;;; Executables: ;;; |