From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms1.migadu.com with LMTPS id YGv/G9LpNWalbwEA62LTzQ:P1 (envelope-from ) for ; Sat, 04 May 2024 09:54:58 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id YGv/G9LpNWalbwEA62LTzQ (envelope-from ) for ; Sat, 04 May 2024 09:54:58 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b="R//BvC79"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1714809298; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=qiUCHQLhgD2M0iEQNntG2uf5OXqQf15painyw7H+rL8=; b=TCWTV8SB3Vme80pG2fzTdshPnBT35FO+uKl091f4nv/vFgj8jUGE6yWlU38SjWQZl/CdhP n3r2Tw9XF1WP77E3yGTBV4AZIDmBlphZr4Xg6DJrFSYKA+P3S57cjJrJHtP2YiJvpI7Ldl vk1lI4yzFJgy+q6BymfpTFE+UHnWb2ScWPPUAc0CGZgsN944oP/GDbK0YQ987xzRZZf60q kA2GKF9aYaaMcxp1DmsnrrUu/bCefDXYMYAq1cF9PLCnW00XBkffxRibFLfqmq1xOE80Wl EjZE3CW8/OS0Gyv3MpWpVVUAqEeJlbfPGr3bxjtJgH9SxAf3WQdp8qHt1VSktg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1714809298; a=rsa-sha256; cv=none; b=cvS/9LUrKjCOa/qKDLUmBjNwMgTyn6BRUTmaIvBIN2ArfOeMWVxORwPtQR3n3eYJn2R6ez cDfc8ZbUQy1Mg1LJ9h/yoBF7ukUEbh3UU9QHeJL4XLaUGgwVVzYevqudBanEANLGvQ9AaC GOnMOwpauyPfVOhs8K2PbRuJ044HelVtJ8eSsliJYJ2G9/8z5sn/kREvroqkR09/6S6Q1q 1fF8/xbGiejIN2j8qV91iwjfyZWM4eW4V3WHn9H7T6hM8h1/q3rQObNPPMzjpCqX1hNOpR XBZcblk8WshuUqgDDMQN2Tp+x+1md6fd2CBioN0jPRvXX81RsxaoGT+h0d7cQA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b="R//BvC79"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 21FF91EDF for ; Sat, 04 May 2024 09:54:58 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s3AED-0000nc-6A; Sat, 04 May 2024 03:54:41 -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 1s3AEC-0000nC-4s for guix-patches@gnu.org; Sat, 04 May 2024 03:54:40 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1s3AEB-0000sL-Sz for guix-patches@gnu.org; Sat, 04 May 2024 03:54:39 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1s3AEY-0007KR-Ii for guix-patches@gnu.org; Sat, 04 May 2024 03:55:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#70769] [PATCH] gnu: Add python-clintest. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 04 May 2024 07:55:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 70769 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70769@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.171480925028142 (code B ref -1); Sat, 04 May 2024 07:55:02 +0000 Received: (at submit) by debbugs.gnu.org; 4 May 2024 07:54:10 +0000 Received: from localhost ([127.0.0.1]:51868 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s3ADh-0007Jq-St for submit@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 ) id 1s3ADd-0007JT-6Z for submit@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 ) id 1s3AD9-0008OP-Q4 for guix-patches@gnu.org; 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 ) id 1s3AD8-0000nq-5N for guix-patches@gnu.org; Sat, 04 May 2024 03:53:35 -0400 Received: by mail-wr1-x442.google.com with SMTP id ffacd0b85a97d-34e0d47bd98so1550760f8f.0 for ; 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 (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@gmail.com> From: Liliana Marie Prikler Date: Sat, 4 May 2024 08:31:43 +0200 MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::442; envelope-from=liliana.prikler@gmail.com; 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -2.29 X-Spam-Score: -2.29 X-Migadu-Queue-Id: 21FF91EDF X-Migadu-Scanner: mx11.migadu.com X-TUID: 7nrTchfxd6Yt * 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