Module clingo.tests

Unit tests for the clingo package.

Sub-modules

clingo.tests.test_application

Test clingo's Application class.

clingo.tests.test_aspif

Tests for aspif parsing.

clingo.tests.test_ast

Tests for the ast module.

clingo.tests.test_atoms

Tests for theory and symbolic atoms.

clingo.tests.test_backend

Tests for the backend/observer.

clingo.tests.test_conf

Tests for configuration and statistics.

clingo.tests.test_control

Tests control.

clingo.tests.test_propagator

Tests for the propagator.

clingo.tests.test_solving

Tests for solving.

clingo.tests.test_symbol

Test clingo's Symbol class.

clingo.tests.util

Helpers to simplify testing.