Bases: congress.tests.base.TestCase
Bases: congress.tests.base.TestCase
Tests for Runtime’s delegation functionality.
Bases: congress.tests.base.TestCase
Test abduction (computation of policy fragments).
Test computation of all atoms true in a theory.
Test ability to delete policy statements.
Test ability to insert/delete sentences.
Test that the modal operators work properly with a theory.
Test that the modal operators work properly.
Test query functionality, i.e. top-down evaluation.
Test tracing during query.