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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Sharlatan Hellseher <sharlatanus <at> gmail.com>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#69838: closed ([PATCH] gnu: Add go-pgregory-net-rapid.)
Date: Fri, 22 Mar 2024 00:05:02 +0000

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

Your message dated Thu, 21 Mar 2024 23:56:15 +0000
with message-id <871q83xhpc.fsf <at> gmail.com>
and subject line [PATCH] gnu: Add go-pgregory-net-rapid.
has caused the debbugs.gnu.org bug report #69838,
regarding [PATCH] gnu: Add go-pgregory-net-rapid.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
69838: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69838
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

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 part 3 (message/rfc822, inline)]

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