GNU bug report logs - #69838
[PATCH] gnu: Add go-pgregory-net-rapid.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 69838 in the body.
You can then email your comments to 69838 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: "Artyom V. Poptsov" <poptsov.artyom <at> gmail.com>
To: guix-patches <at> gnu.org
Cc: "Artyom V. Poptsov" <poptsov.artyom <at> gmail.com>
Subject: [PATCH] gnu: Add go-pgregory-net-rapid.
Date: Sun, 17 Mar 2024 07:47:17 +0300

* 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

Message #10 received at 69838-done <at> debbugs.gnu.org (full text, mbox):

From: Sharlatan Hellseher <sharlatanus <at> gmail.com>
To: 69838-done <at> debbugs.gnu.org
Subject: [PATCH] gnu: Add go-pgregory-net-rapid.
Date: Thu, 21 Mar 2024 23:56:15 +0000

[Message part 1 (text/plain, inline)]

- 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.

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.