GNU bug report logs - #70769
[PATCH] gnu: Add python-clintest.

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Package: guix-patches; Reported by: Liliana Marie Prikler <liliana.prikler@HIDDEN>; Keywords: patch; Done: Nicolas Graves <ngraves@HIDDEN>; Maintainer for guix-patches is guix-patches@HIDDEN.
bug closed, send any further explanations to 70769 <at> debbugs.gnu.org and Liliana Marie Prikler <liliana.prikler@HIDDEN> Request was from Nicolas Graves <ngraves@HIDDEN> to control <at> debbugs.gnu.org. Full text available.

Message received at 70769 <at> debbugs.gnu.org:


Received: (at 70769) by debbugs.gnu.org; 14 May 2024 05:50:35 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue May 14 01:50:35 2024
Received: from localhost ([127.0.0.1]:37177 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1s6l3a-00087w-ND
	for submit <at> debbugs.gnu.org; Tue, 14 May 2024 01:50:34 -0400
Received: from mail-wm1-f67.google.com ([209.85.128.67]:57565)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <liliana.prikler@HIDDEN>) id 1s6l3X-00087o-LY
 for 70769 <at> debbugs.gnu.org; Tue, 14 May 2024 01:50:33 -0400
Received: by mail-wm1-f67.google.com with SMTP id
 5b1f17b1804b1-420116a6652so17476805e9.2
 for <70769 <at> debbugs.gnu.org>; Mon, 13 May 2024 22:50:30 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1715665765; x=1716270565; darn=debbugs.gnu.org;
 h=mime-version:user-agent:content-transfer-encoding:references
 :in-reply-to:date:to:from:subject:message-id:from:to:cc:subject:date
 :message-id:reply-to;
 bh=ZHEPCNds5/Ssi/Xi0+S/wJ7QzDSk2vB9KE3TEXMe9ws=;
 b=X/YKqq/NYOL0DujRwi44IjsJVY9eb8ETGgjsT6PjLfAnUW1uNf8woE6cuVWh42WcIY
 x1FIqKqprdpHn4tuTUs0+2oJOlkQxXRBhAu6Ud68E4nY4lCW999vb7Fjw1lwsCchDUrk
 s6KfAOECg3UGQooJDozPXjLtYFE7lzpT2N6xIomehos5sIpcWbjyGTXE/RHypRcgqsmv
 NgKDmP4IvDVgrACvkwLot2ye8hvaR6Pz22EhkBnXxV7mNAh+fuPmSbegAcGPfsg6eKEs
 bfXj/yPheFWHnKXHQ3mXllVixfkEySqy/EBXGeQQfxuHbtYXq0v0JU/Z7w7n3zTtV59N
 FDrA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1715665765; x=1716270565;
 h=mime-version:user-agent:content-transfer-encoding:references
 :in-reply-to:date:to:from:subject:message-id:x-gm-message-state:from
 :to:cc:subject:date:message-id:reply-to;
 bh=ZHEPCNds5/Ssi/Xi0+S/wJ7QzDSk2vB9KE3TEXMe9ws=;
 b=Rll1149wMR67O47TwRbEKVloscDiUjMAci3E9fxQCIXvTmvc2cMBhi4f0ywqP/L0c+
 gwfSEbpToIgAGqije6wBSmA6xTfgeXkzYtObs4roYivYLwIlK9QWpbryd0nZIPq6J/mq
 afaf/4LMZL1xYo1kV89RM8Gbf4rOWHMGXBZVrKbzPrBmF+eHM1VCCea6fK0aqCMbcd6E
 egRrnaqIKx0wcjIyflhPx24TGaOHK/eVoorfVOWMbvmmcqICRgUVAhm0lpOmwB9m9MUE
 OOKaL2qTfXQdoorYJ4Boy6cVmKkkMUSnMQG8hYs+L0Op94icnSYo4AeT2knETtXeXtom
 4KFg==
X-Forwarded-Encrypted: i=1;
 AJvYcCVP2eJ8AUWqaRdC7rBVjxij/YfYQGZjccG5/BGynBsGfL+nxg5lt7taCNcy0p+nI/xyTRYHLAHZSTWO5ZVGJDInYaSdcIg=
X-Gm-Message-State: AOJu0YwpOChSg2FjJ94ZqUW4SCjuRJY01Z3qG9x66wRPUeiFbKPxM9wD
 vD1chru1IX5qZmqWNKESNeVfTxRDVqho2RzZGKNL6f4oacr7XR56l897we6s
X-Google-Smtp-Source: AGHT+IEhiAnhf4hgNwH9ZjRQcgSuF18ildpatQmqwXRuEkFk7AToHtMtRORangvak71HHkekFS5IzA==
X-Received: by 2002:a05:600c:154f:b0:420:1375:95ae with SMTP id
 5b1f17b1804b1-420137596d5mr49202415e9.24.1715665764949; 
 Mon, 13 May 2024 22:49:24 -0700 (PDT)
Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at.
 [85.127.52.93]) by smtp.gmail.com with ESMTPSA id
 5b1f17b1804b1-41fccce9431sm176790645e9.28.2024.05.13.22.49.24
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Mon, 13 May 2024 22:49:24 -0700 (PDT)
Message-ID: <d222ee0c72949eae018865fdffabe69a94034c1b.camel@HIDDEN>
Subject: Re: [bug#70769] [PATCH] gnu: Add python-clintest.
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
To: Nicolas Graves <ngraves@HIDDEN>, 70769 <at> debbugs.gnu.org
Date: Tue, 14 May 2024 07:49:23 +0200
In-Reply-To: <87y18eb30i.fsf@HIDDEN>
References: <9a730ca2b2a4f5b64083da4f6985745ca29264ca.1714808929.git.liliana.prikler@HIDDEN>
 <87y18eb30i.fsf@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
User-Agent: Evolution 3.48.4 
MIME-Version: 1.0
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70769
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Am Montag, dem 13.05.2024 um 09:10 +0200 schrieb Nicolas Graves:
> You can add (native-inputs (list python-pytest)) to enable tests
> properly. There are quite some tests that are failing for some reason
> (10/31), it's unclear why at first glance.
>=20
> We probably should add this native-input and ignore failing tests.
>=20
> Otherwise LGTM, builds properly.
It appears to be a known issue from python-clingo already =E2=80=93 we'll s=
till
have to figure out the root cause for that as well.  Added a fixme and
pushed.

Thanks
Information forwarded to guix-patches@HIDDEN:
bug#70769; Package guix-patches. Full text available.

Message received at 70769 <at> debbugs.gnu.org:


Received: (at 70769) by debbugs.gnu.org; 13 May 2024 07:11:03 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon May 13 03:11:03 2024
Received: from localhost ([127.0.0.1]:58987 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1s6Ppv-0003RQ-3n
	for submit <at> debbugs.gnu.org; Mon, 13 May 2024 03:11:03 -0400
Received: from 15.mo584.mail-out.ovh.net ([91.121.62.11]:45709)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ngraves@HIDDEN>) id 1s6Ppp-0003R1-Ve
 for 70769 <at> debbugs.gnu.org; Mon, 13 May 2024 03:11:01 -0400
Received: from director4.ghost.mail-out.ovh.net (unknown [10.108.17.95])
 by mo584.mail-out.ovh.net (Postfix) with ESMTP id 4Vd9cv73qRz1Gmc
 for <70769 <at> debbugs.gnu.org>; Mon, 13 May 2024 07:10:55 +0000 (UTC)
Received: from ghost-submission-6684bf9d7b-pk9pd (unknown [10.111.182.122])
 by director4.ghost.mail-out.ovh.net (Postfix) with ESMTPS id 6D5411FEA2;
 Mon, 13 May 2024 07:10:54 +0000 (UTC)
Received: from ngraves.fr ([37.59.142.98])
 by ghost-submission-6684bf9d7b-pk9pd with ESMTPSA
 id Jl3tDv68QWbiWwIA8yp29w
 (envelope-from <ngraves@HIDDEN>); Mon, 13 May 2024 07:10:54 +0000
Authentication-Results: garm.ovh; auth=pass
 (GARM-98R002a83212f6-8356-4305-8b61-9c84a065b2eb,
 AFD3D7969371CC029319C969337B9752385513BA) smtp.auth=ngraves@HIDDEN
X-OVh-ClientIp: 80.214.128.58
From: Nicolas Graves <ngraves@HIDDEN>
To: Liliana Marie Prikler <liliana.prikler@HIDDEN>, 70769 <at> debbugs.gnu.org
Subject: Re: [bug#70769] [PATCH] gnu: Add python-clintest.
In-Reply-To: <9a730ca2b2a4f5b64083da4f6985745ca29264ca.1714808929.git.liliana.prikler@HIDDEN>
References: <9a730ca2b2a4f5b64083da4f6985745ca29264ca.1714808929.git.liliana.prikler@HIDDEN>
Date: Mon, 13 May 2024 09:10:53 +0200
Message-ID: <87y18eb30i.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-Ovh-Tracer-Id: 13618603799140426348
X-VR-SPAMSTATE: OK
X-VR-SPAMSCORE: -100
X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrgedvledrvdegfedguddugecutefuodetggdotefrodftvfcurfhrohhfihhlvgemucfqggfjpdevjffgvefmvefgnecuuegrihhlohhuthemucehtddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfjughrpefhvffujghffffkgggtsehttdertddttddtnecuhfhrohhmpefpihgtohhlrghsucfirhgrvhgvshcuoehnghhrrghvvghssehnghhrrghvvghsrdhfrheqnecuggftrfgrthhtvghrnhephffhffejleduveethfekhfdvvddthfelieevteefueeikefhudeiudegiedufeetnecuffhomhgrihhnpehgihhthhhusgdrtghomhdpphhothgrshhstghordhorhhgnecukfhppeduvdejrddtrddtrddupdektddrvddugedruddvkedrheekpdefjedrheelrddugedvrdelkeenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepihhnvghtpeduvdejrddtrddtrddupdhmrghilhhfrhhomhepnhhgrhgrvhgvshesnhhgrhgrvhgvshdrfhhrpdhnsggprhgtphhtthhopedupdhrtghpthhtohepjedtjeeileesuggvsggsuhhgshdrghhnuhdrohhrghdpoffvtefjohhsthepmhhoheekgedpmhhouggvpehsmhhtphhouhht
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 70769
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

On 2024-05-04 08:31, Liliana Marie Prikler wrote:

> * gnu/packages/potassco.scm (python-clintest): New variable.
> ---
>  gnu/packages/potassco.scm | 24 ++++++++++++++++++++++++
>  1 file changed, 24 insertions(+)
>
> diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
> index 43d9ea6647..6a124c5bba 100644
> --- a/gnu/packages/potassco.scm
> +++ b/gnu/packages/potassco.scm
> @@ -612,3 +612,27 @@ (define-public python-clinguin
>     (description "Clinguin is a graphical user interface toolkit for clingo,
>  which allows user interfaces to be specified entirely as a logic program.")
>     (license license:expat)))
> +
> +(define-public python-clintest
> +  (package
> +    (name "python-clintest")
> +    (version "0.2.0")
> +    (source (origin
> +              (method git-fetch)
> +              (uri (git-reference
> +                    (url "https://github.com/potassco/clintest")
> +                    (commit (string-append "v" version))))
> +              (file-name (git-file-name name version))
> +              (sha256
> +               (base32
> +                "0xzbby9ram55h87ykm652kgm45b8rlhbjc8gjkz308h1jnjllmmy"))))
> +    (build-system pyproject-build-system)
> +    (inputs (list python-clingo))

You can add (native-inputs (list python-pytest)) to enable tests
properly. There are quite some tests that are failing for some reason
(10/31), it's unclear why at first glance.

We probably should add this native-input and ignore failing tests.

Otherwise LGTM, builds properly.

> +    (home-page "https://potassco.org/clintest/")
> +    (synopsis "Test framework for clingo programs")
> +    (description "Clintest is a framework for unit testing clingo programs.
> +It provides various components to assemble the most commonly used tests quickly,
> +but also works fine along custom-built test.  Clintest monitors the test
> +outcome while solving to abort the search for solutions once the outcome is
> +certain.")
> +    (license license:expat)))
>
> base-commit: 5c13ab50b9c7d44238c64e5337027f04ae1d9223

-- 
Best regards,
Nicolas Graves
Information forwarded to guix-patches@HIDDEN:
bug#70769; Package guix-patches. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 4 May 2024 07:54:10 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat May 04 03:54:10 2024
Received: from localhost ([127.0.0.1]:51868 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1s3ADh-0007Jq-St
	for submit <at> debbugs.gnu.org; Sat, 04 May 2024 03:54:10 -0400
Received: from lists.gnu.org ([2001:470:142::17]:58906)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <liliana.prikler@HIDDEN>) id 1s3ADd-0007JT-6Z
 for submit <at> debbugs.gnu.org; Sat, 04 May 2024 03:54:08 -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 <liliana.prikler@HIDDEN>)
 id 1s3AD9-0008OP-Q4
 for guix-patches@HIDDEN; Sat, 04 May 2024 03:53:35 -0400
Received: from mail-wr1-x442.google.com ([2a00:1450:4864:20::442])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <liliana.prikler@HIDDEN>)
 id 1s3AD8-0000nq-5N
 for guix-patches@HIDDEN; Sat, 04 May 2024 03:53:35 -0400
Received: by mail-wr1-x442.google.com with SMTP id
 ffacd0b85a97d-34e0d47bd98so1550760f8f.0
 for <guix-patches@HIDDEN>; Sat, 04 May 2024 00:53:33 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1714809212; x=1715414012; darn=gnu.org;
 h=mime-version:to:subject:date:from:message-id:from:to:cc:subject
 :date:message-id:reply-to;
 bh=qiUCHQLhgD2M0iEQNntG2uf5OXqQf15painyw7H+rL8=;
 b=R//BvC79qLWpBrauXE6agJwb7fAir87hupJddiAHqoPZ6vy242KritLc1DrbV2tzLJ
 HzbkOQGQkRWg+j1idCLCQZBTDkd8uz3KOc87CebI0NKuRTsPvwB8RIPNFD2Dv/gR8oLy
 1+xJL46sdoS9FSQV8ycUWFjKrK0rtfJvi3Wccy4FjEGDzONOaP6qOKlWK+PqBQJZC/J2
 dtsS96Up9lQHTVhU3ztTE9OU16Gn0QFzMQXFQpbOlxzWs8OocejTmLU0rNw418DQqUoA
 sHRm0mQE4nUE2ivfSBVnrjXz1MkEKF3N4ADV0Ukg1XNOHZJGT6LoFma1w4i0FTi5Qrlr
 kHdA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1714809212; x=1715414012;
 h=mime-version:to:subject:date:from:message-id:x-gm-message-state
 :from:to:cc:subject:date:message-id:reply-to;
 bh=qiUCHQLhgD2M0iEQNntG2uf5OXqQf15painyw7H+rL8=;
 b=r2IYPkICA9485PxXIMl0yr/pfHTi/oKdH7FJzCyZu+vinKEkYJBxv8dlfwkrGb2lkI
 rqd3DLJaZhbgqAnVPPZV2sex7YvhSn5BNPndsyneszX2Ut5TljN+2vPm6ZdUV1cdP1dn
 u14u61qyhLXqiF7eKyzjKkWD2yWxYJ9SdAg/7JqeQFbCqEcKtIi30I/MWf3izmsq6akr
 XUpLk3YX1lTu2x6q0mobXGYgacVv7vsMBFAE35WxprbrXR4DLrNKdI3XopGmFok6FCF9
 zdHOLZgb0S0dvkFnr/t/s9ZxH2hoPZfD1TZ9+JtiQt4cerC3lW0FEu7tmxfcqg2bV2s0
 0O6A==
X-Gm-Message-State: AOJu0YxWf+jz0gba45YdqyN/VrrSnrxx3tivZAORJM3tQBn/Q79fTORF
 DnqexctHAw7fEqvcJY9LDaBvHx/KqAjRwRraqg/2+soenvBl07fbbWQ7ZvS5
X-Google-Smtp-Source: AGHT+IGruYSCmYsgIrYOgNPzAdOREllMV2W+/5jH1tafFO++aTK5Tf29RESFyO4zXqSe1TLUQwX5bg==
X-Received: by 2002:adf:f689:0:b0:346:46cf:9f78 with SMTP id
 v9-20020adff689000000b0034646cf9f78mr7584917wrp.26.1714809212560; 
 Sat, 04 May 2024 00:53:32 -0700 (PDT)
Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at.
 [85.127.52.93]) by smtp.gmail.com with ESMTPSA id
 v28-20020a5d591c000000b0034db47c7e6dsm5608410wrd.115.2024.05.04.00.53.31
 for <guix-patches@HIDDEN>
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Sat, 04 May 2024 00:53:32 -0700 (PDT)
Message-ID: <9a730ca2b2a4f5b64083da4f6985745ca29264ca.1714808929.git.liliana.prikler@HIDDEN>
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Date: Sat, 4 May 2024 08:31:43 +0200
Subject: [PATCH] gnu: Add python-clintest.
to: guix-patches@HIDDEN
MIME-Version: 1.0
Received-SPF: pass client-ip=2a00:1450:4864:20::442;
 envelope-from=liliana.prikler@HIDDEN; helo=mail-wr1-x442.google.com
X-Spam_score_int: -4
X-Spam_score: -0.5
X-Spam_bar: /
X-Spam_report: (-0.5 / 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,
 MALFORMED_FREEMAIL=1.581, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=no autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 2.7 (++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 Content preview: * gnu/packages/potassco.scm (python-clintest): New variable.
 --- gnu/packages/potassco.scm | 24 ++++++++++++++++++++++++ 1 file changed,
 24 insertions(+) diff --git a/gnu/packages/potassco.scm
 b/gnu/packages/potassco.scm
 index 43d9ea6647..6a124c5bba 100644 --- a/gnu/packages/potassco.scm +++
 b/gnu/packages/potassco.scm
 @@ -612,3 +612,27 @@ (define-publ [...] 
 Content analysis details:   (2.7 points, 10.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -0.0 SPF_HELO_PASS          SPF: HELO matches SPF record
 1.0 SPF_SOFTFAIL           SPF: sender does not match SPF record (softfail)
 0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
 provider (liliana.prikler[at]gmail.com)
 1.8 MALFORMED_FREEMAIL     Bad headers on message from free email
 service
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 1.7 (+)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  * gnu/packages/potassco.scm (python-clintest): New variable.
    --- gnu/packages/potassco.scm | 24 ++++++++++++++++++++++++ 1 file changed,
    24 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
    index 43d9ea6647..6a124c5bba 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm
    @@ -612,3 +612,27 @@ (define-publ [...] 
 
 Content analysis details:   (1.7 points, 10.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -0.0 SPF_HELO_PASS          SPF: HELO matches SPF record
  1.0 SPF_SOFTFAIL           SPF: sender does not match SPF record (softfail)
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
                             provider (liliana.prikler[at]gmail.com)
  1.8 MALFORMED_FREEMAIL     Bad headers on message from free email
                             service
 -1.0 MAILING_LIST_MULTI     Multiple indicators imply a widely-seen list
                             manager

* gnu/packages/potassco.scm (python-clintest): New variable.
---
 gnu/packages/potassco.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 43d9ea6647..6a124c5bba 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -612,3 +612,27 @@ (define-public python-clinguin
    (description "Clinguin is a graphical user interface toolkit for clingo,
 which allows user interfaces to be specified entirely as a logic program.")
    (license license:expat)))
+
+(define-public python-clintest
+  (package
+    (name "python-clintest")
+    (version "0.2.0")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                    (url "https://github.com/potassco/clintest")
+                    (commit (string-append "v" version))))
+              (file-name (git-file-name name version))
+              (sha256
+               (base32
+                "0xzbby9ram55h87ykm652kgm45b8rlhbjc8gjkz308h1jnjllmmy"))))
+    (build-system pyproject-build-system)
+    (inputs (list python-clingo))
+    (home-page "https://potassco.org/clintest/")
+    (synopsis "Test framework for clingo programs")
+    (description "Clintest is a framework for unit testing clingo programs.
+It provides various components to assemble the most commonly used tests quickly,
+but also works fine along custom-built test.  Clintest monitors the test
+outcome while solving to abort the search for solutions once the outcome is
+certain.")
+    (license license:expat)))

base-commit: 5c13ab50b9c7d44238c64e5337027f04ae1d9223
-- 
2.41.0
Acknowledgement sent to Liliana Marie Prikler <liliana.prikler@HIDDEN>:
New bug report received and forwarded. Copy sent to guix-patches@HIDDEN. Full text available.
Report forwarded to guix-patches@HIDDEN:
bug#70769; Package guix-patches. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Tue, 14 May 2024 20:30:02 UTC

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