Bases: congress.tests.base.TestCase
Tests for Runtime that are not specific to any theory.
Test MAT_THEORY.
Check that runtime RUN.theory[MAT_THEORY] is equal to CORRECT_STRING.
Check that runtime.theory[DB_THEORY] is equal to CORRECT_STRING.
Materialized Theory: test rule propagation.
Test Database with insert/delete.
Test error-checking on insertion of rules.
Test insert.
Test that the order in which we change rules and data is irrelevant.
Test rules modification.
Test the functionality for adding and deleting rules after data has already been entered.
Test Materialized Theory negation.
Materialized Theory: test recursion.
Materialized Theory: test the SELECT event handler.
Test the different value types.