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

[Nicolas Graves]

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