A test framework for clingo programs
Project description
clintest
clintest
is a Python framework that enables you to write efficient unit tests for clingo
programs quickly.
Devising and running multiple tests is a simple as:
from clintest.test import Assert, And
from clintest.quantifier import All, Any
from clintest.assertion import Contains
from clintest.solver import Clingo
solver = Clingo("0", "a. {b}.")
test = And(
Assert(Any(), Contains("a")),
Assert(All(), Contains("b")),
Assert(Any(), Contains("c")),
)
solver.solve(test)
test.assert_()
For details, please read the documentation.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
clintest-0.1.0.tar.gz
(13.4 kB
view hashes)
Built Distribution
clintest-0.1.0-py3-none-any.whl
(13.4 kB
view hashes)