The congress.tests.datalog.test_materialized Module

class congress.tests.datalog.test_materialized.TestRuntime(*args, **kwargs)

Bases: congress.tests.base.TestCase

Tests for Runtime that are not specific to any theory.

check_class(runtime, correct_string, msg, tablenames=None)

Test MAT_THEORY.

Check that runtime RUN.theory[MAT_THEORY] is equal to CORRECT_STRING.

check_db(runtime, correct_string, msg)

Check that runtime.theory[DB_THEORY] is equal to CORRECT_STRING.

check_equal(actual_string, correct_string, msg)

prep_runtime(code=None, msg=None, target=None)

showdb(run)

test_basic()

Materialized Theory: test rule propagation.

test_database()

Test Database with insert/delete.

test_error_checking()

Test error-checking on insertion of rules.

test_existentials()

test_insert_order()

Test insert.

Test that the order in which we change rules and data is irrelevant.

test_larger_join()

test_modify_rules()

Test rules modification.

Test the functionality for adding and deleting rules after data has already been entered.

test_negation()

Test Materialized Theory negation.

test_nonmonadic()

test_recursion()

Materialized Theory: test recursion.

test_select()

Materialized Theory: test the SELECT event handler.

test_self_join()

test_short_body()

test_value_types()

Test the different value types.