From unknown Sat Aug 09 04:55:15 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#69838 <69838@debbugs.gnu.org> To: bug#69838 <69838@debbugs.gnu.org> Subject: Status: [PATCH] gnu: Add go-pgregory-net-rapid. Reply-To: bug#69838 <69838@debbugs.gnu.org> Date: Sat, 09 Aug 2025 11:55:15 +0000 retitle 69838 [PATCH] gnu: Add go-pgregory-net-rapid. reassign 69838 guix-patches submitter 69838 "Artyom V. Poptsov" severity 69838 normal tag 69838 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 17 00:48:14 2024 Received: (at submit) by debbugs.gnu.org; 17 Mar 2024 04:48:14 +0000 Received: from localhost ([127.0.0.1]:57499 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rliRS-000348-CX for submit@debbugs.gnu.org; Sun, 17 Mar 2024 00:48:14 -0400 Received: from lists.gnu.org ([209.51.188.17]:53928) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rliRQ-00033x-E0 for submit@debbugs.gnu.org; Sun, 17 Mar 2024 00:48:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rliQl-0002Z7-RX for guix-patches@gnu.org; Sun, 17 Mar 2024 00:47:32 -0400 Received: from mail-lj1-x234.google.com ([2a00:1450:4864:20::234]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rliQk-0004KL-3h for guix-patches@gnu.org; Sun, 17 Mar 2024 00:47:31 -0400 Received: by mail-lj1-x234.google.com with SMTP id 38308e7fff4ca-2d46e25d6b9so58000071fa.1 for ; Sat, 16 Mar 2024 21:47:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1710650847; x=1711255647; darn=gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=+ts7o3LoqOpRMSYR0ZjnRT/8eOwVkZVXC5STODnr62k=; b=BP3sy8n9iqKrOvPTmANKKGtvjTiX6ZWMuj6dI1tStNzPRAFoax2EF5UXtMYQY6au+O aQmsXoEeDySP01fPIH0BJ6yiyUqD3sJe3lfVf9H6Ap2vbTpnRBfOoxamfqr5ObFAu04z eFERzy2641Rx4eyJyCj69ocHGUFsKSANCUMVEhjWP1j4x1KjNwREUot0BL3XNUuesa6T BIhVTQQ191BzKZkhZSop+EoeQBSKRNm6M/FWnh6riBVE9sbRDomj9I+Qv+XmKpjULLuN p6D1MAlAAOaJmZQAJ6XCrw8bOo3Q2hzeEzBV+i/MtCyq2cPZJKspTEejLJ/d5d/TxIFj UOww== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1710650847; x=1711255647; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=+ts7o3LoqOpRMSYR0ZjnRT/8eOwVkZVXC5STODnr62k=; b=lrDFrQPKR8KGKs4A6sF5AhSoiDOR1J+xO1BTjtOYdA6kIU46nK7IZmAYirgh5ghhP7 5H7dNyfehH1yziP0rNY2j/pXNQdufCzQC33uZg+RJ33cnAHlJG6jqurI57qYLRIj2xOo tnk5qKdPUPBESEakRLCJ7/+7qVteqJLncP611IONQqLCaNd7l3JYu3mcxR3fX5t7rj3H fTs9riHnAVoDaDWMe3C0rv0F8eBOFtZJzEAKeZg9kKNUBPFDRyKreUClJBIm7guJGZep ZkalW373WEhhJzJHuHCMb/XP3UGwSrSM6tohvpl26ncz5LigibjI/2S9bdRFoFIVDu56 Oy8g== X-Gm-Message-State: AOJu0Yx+8ewtdYfmAymEjlaBRHb0fqgi4QtUfwzCcXNOMEnbyC0Yxbn/ ADvNj4PwBy/zoJAidcOOb6IxPdP2YM4HsbUe+lMndc+LUsAMmyH6Qk6sazvc X-Google-Smtp-Source: AGHT+IEbDvZrxrtCSZzO1ifd41uXuvv/VacUzisLvVVqdKJ9jkB3Zp/vJ52RjdRzaIy/IeUuV45LNQ== X-Received: by 2002:a2e:9557:0:b0:2d4:954d:2c2d with SMTP id t23-20020a2e9557000000b002d4954d2c2dmr2433649ljh.32.1710650846911; Sat, 16 Mar 2024 21:47:26 -0700 (PDT) Received: from elephant.. ([5.164.220.172]) by smtp.gmail.com with ESMTPSA id n15-20020a2e86cf000000b002d361916b1fsm1015895ljj.32.2024.03.16.21.47.25 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 16 Mar 2024 21:47:26 -0700 (PDT) From: "Artyom V. Poptsov" To: guix-patches@gnu.org Subject: [PATCH] gnu: Add go-pgregory-net-rapid. Date: Sun, 17 Mar 2024 07:47:17 +0300 Message-ID: X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a00:1450:4864:20::234; envelope-from=poptsov.artyom@gmail.com; helo=mail-lj1-x234.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: "Artyom V. Poptsov" X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) * 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 From debbugs-submit-bounces@debbugs.gnu.org Thu Mar 21 20:04:18 2024 Received: (at 69838-done) by debbugs.gnu.org; 22 Mar 2024 00:04:18 +0000 Received: from localhost ([127.0.0.1]:48207 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rnSOQ-0006A4-4e for submit@debbugs.gnu.org; Thu, 21 Mar 2024 20:04:18 -0400 Received: from mail-wm1-f48.google.com ([209.85.128.48]:53664) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rnSON-00069Z-UP for 69838-done@debbugs.gnu.org; Thu, 21 Mar 2024 20:04:16 -0400 Received: by mail-wm1-f48.google.com with SMTP id 5b1f17b1804b1-41477452178so8034895e9.3 for <69838-done@debbugs.gnu.org>; Thu, 21 Mar 2024 17:03:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1711065750; x=1711670550; darn=debbugs.gnu.org; h=mime-version:message-id:date:subject:to:from:from:to:cc:subject :date:message-id:reply-to; bh=SA3iA4pvinClt+K0/PRna9HhYHHpb22oa0ATYIVMKUk=; b=QXhOqkXl8O9MKc75pwRoLi/vHaXdVdDVCoVTZZKHG1RI7tAhAtLgoOcDTR6YY2DNPN mDRLiP+B+P9a2WY+qrwTRI/UG+LaHTQfR/eSsHu1wC0ncM0gDiOJ3qoagV09r82qDKHL ZKbh2G/+GMt+6lVl53m7Nf3OTKKXtCNDL8ckdoRnw9p4pefFFvilITLVrWditpF17pX6 WRy2f7udRyjmU0P6ZCwSq28FRsU/jw3XUiOVMZBJRolfWq8th952TOQKZytdicog5a6Q ukoMxIiiFLZRYORIxD55AillL8UZHoN8tgPFPT6ZdSohwqxLbWXCCIZ7g0FmQ0UEMwvJ DhIA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1711065750; x=1711670550; h=mime-version:message-id:date:subject:to:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=SA3iA4pvinClt+K0/PRna9HhYHHpb22oa0ATYIVMKUk=; b=OYEC48UNYw9YhGHbQp0Y4Rbr3/rlL6I5JnF7Qe4kVffuNWvf6AF4MHtuyF0+ww2yWc aauSKZzVtU5M7BdGb+0kfkgYSLpoUQ8vC9UgUlvmgD2rJDpOg3eU198HSPN25fDC2Hrp Boh7NoqZplweIcyJogr45F/WxBHoHE6/N2PoMpN4XsE1f+bFvDIEjaJUuh7yyVFG8UlX q61InrrCZIpd/QmIrxEMcHppucM9i2ec16Q6QkkGR81n5Wkt0ofCHpS08bEJnqlJGrMF EsqCXPet37fxxOjQtja247uzX5FGCo4O33QVpbZ94cJUu1W8kiqSTBxnuXAaeR4oPTBm Z8WQ== X-Gm-Message-State: AOJu0YzBiNjSg598n07iY0q4aNlRkeHT6ug4Zb2H7jD+7yYSm15c/aK+ 8KlAQnkMNEdkV4HC9jmGIfBbqZEn75MSAbuUhGkT7mTh3+HAJ/rqZnAjb9FfCPo= X-Google-Smtp-Source: AGHT+IERflqLUmnJdtkNtv0L+5lVOEsVmxF7VDxyQntfRP04OBl3t2PV0cmKkTbVrxb7JwXcPoTFPQ== X-Received: by 2002:a05:6000:2c3:b0:33d:1eea:4346 with SMTP id o3-20020a05600002c300b0033d1eea4346mr537320wry.37.1711065377025; Thu, 21 Mar 2024 16:56:17 -0700 (PDT) Received: from guxtil (cpc100856-bagu15-2-0-cust368.1-3.cable.virginm.net. [82.25.93.113]) by smtp.gmail.com with ESMTPSA id q2-20020adfcd82000000b0033e7603987dsm737225wrj.12.2024.03.21.16.56.16 for <69838-done@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 21 Mar 2024 16:56:16 -0700 (PDT) From: Sharlatan Hellseher To: 69838-done@debbugs.gnu.org Subject: [PATCH] gnu: Add go-pgregory-net-rapid. Date: Thu, 21 Mar 2024 23:56:15 +0000 Message-ID: <871q83xhpc.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 69838-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain - 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. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEmEeB3micIcJkGAhndtcnv/Ys0rUFAmX8yR8ACgkQdtcnv/Ys 0rUV0Q//V+ufXbMb/W3FM0NLyPrhYGK0DV0EcOtWkZos4P++1MEpyM5x5Ht2Alxr vTjN4uKB65N+yGYqano6pCjlAIoIG+95TxvYuyU5imK1WFYU7uEMQiIgLencUNLb o5upkSC5K0RsJd3UU00zaVyJuCfmfBB62ESHqLh58y0v/o0Q40Djxz1ow2CEK0gC h3wD7uDInZ9vpc5BbLQcCSzR4ncgGLe1aBWFC3ZOW+WINjpx9Vf0zxNYUvuAOs2M QyySFawX8xqFdhQgzY7gzFPOy+4DBgZNkxxE8lC8k+BjDR2JBXHD+2zwxqzovnL9 20mKNEKkn9SpFJfWfl4Xn+TiqDwr2kvqSKbQADEZwnYs7NvJdVxaUq4t3uXQsdh0 8uuxHNAOydZPjqT99ycaJqMl7SPsckCJ27VLs9v31SqMPiRKEk7uY7cPHx1Kbnsl BuiIJHHXhK6NbTKrtZkRwnGxeml7tJJvRBwrLKBbhd4x+Yd7JXdLdok/dpAhOFwk oDRP9ZqohkZk8PZfUkbEKdtKs46RzzIoQJ3tTgasuJnNNlntLiyX4CEyg52loGH5 QKp/ncMseH2scwxWH+I7OOYpuKmM9suXuGAvxo8pfQqY6YNPtODBitgVNV2c6Tk2 ogeuEnnH0M+6clAt/ZGE9LAsjwJ4uvYY18sVZLOEIFWgiUtCrMc= =gKIe -----END PGP SIGNATURE----- --=-=-=-- From unknown Sat Aug 09 04:55:15 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 19 Apr 2024 11:24:17 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator