* [bug#69838] [PATCH] gnu: Add go-pgregory-net-rapid.
@ 2024-03-17 4:47 Artyom V. Poptsov
2024-03-21 23:56 ` bug#69838: " Sharlatan Hellseher
0 siblings, 1 reply; 2+ messages in thread
From: Artyom V. Poptsov @ 2024-03-17 4:47 UTC (permalink / raw)
To: 69838; +Cc: Artyom V. Poptsov
* gnu/packages/golang-check.scm (go-pgregory-net-rapid): New variable.
Change-Id: I09a89c779a352e6a102d0b4c7af3aa1f7c3cac70
---
gnu/packages/golang-check.scm | 39 +++++++++++++++++++++++++++++++++++
1 file changed, 39 insertions(+)
diff --git a/gnu/packages/golang-check.scm b/gnu/packages/golang-check.scm
index 290afdd3b9..c4bdd75f00 100644
--- a/gnu/packages/golang-check.scm
+++ b/gnu/packages/golang-check.scm
@@ -804,6 +804,45 @@ (define-public go-honnef-co-go-tools
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
+ `(#:import-path "pgregory.net/rapid"
+ #:go ,go-1.18))
+ (native-inputs (list go-github-com-stretchr-testify))
+ (home-page "https://pgregory.net/rapid/")
+ (synopsis "Modern 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:
;;;
base-commit: edfb05e16d409ab71f5cc5c91747b693f0054d59
--
2.41.0
^ permalink raw reply related [flat|nested] 2+ messages in thread
* bug#69838: [PATCH] gnu: Add go-pgregory-net-rapid.
2024-03-17 4:47 [bug#69838] [PATCH] gnu: Add go-pgregory-net-rapid Artyom V. Poptsov
@ 2024-03-21 23:56 ` Sharlatan Hellseher
0 siblings, 0 replies; 2+ messages in thread
From: Sharlatan Hellseher @ 2024-03-21 23:56 UTC (permalink / raw)
To: 69838-done
[-- Attachment #1: Type: text/plain, Size: 281 bytes --]
- Modifications
- Remove any native-inputs as not required, to support the claim "no
dependencies outside the Go standard library"
- Adjust description style
- Adjust synopsis statement
- Use 'list' style
Pushed as 9a5b9dad0d542b94bc34d5d5cfab70bff6c29c90 to master.
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 832 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2024-03-22 0:04 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-03-17 4:47 [bug#69838] [PATCH] gnu: Add go-pgregory-net-rapid Artyom V. Poptsov
2024-03-21 23:56 ` bug#69838: " Sharlatan Hellseher
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).