The congress.tests.datalog.test_builtin Module

class congress.tests.datalog.test_builtin.TestBuiltins(*args, **kwargs)

Bases: congress.tests.base.TestCase

setUp()

test_add_and_delete_builtin()

test_add_and_delete_map()

test_add_and_delete_to_category()

test_add_map_only()

test_all_checks()

test_eval_builtin()

test_string_pred_string()

class congress.tests.datalog.test_builtin.TestNamedspacedReorder(*args, **kwargs)

Bases: congress.tests.base.TestCase

check(input_string, correct_string, msg)

check_err(input_string, unsafe_lit_strings, msg)

test_reorder_builtins()

test_reorder_builtins_negation()

test_reorder_negation()

test_unsafe_builtins()

test_unsafe_builtins_negation()

test_unsafe_negation()

class congress.tests.datalog.test_builtin.TestNamespacedTheories(*args, **kwargs)

Bases: congress.tests.base.TestCase

check_equal(actual_string, correct_string, msg)

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

test_builtins(th='non-recursive theory test')

Test the mechanism that implements builtins.

test_builtins_content(th='non-recursive theory test')

Test the content of the builtins, not the mechanism.

test_materialized_builtins()

test_materialized_builtins_content()

class congress.tests.datalog.test_builtin.TestReorder(*args, **kwargs)

Bases: congress.tests.base.TestCase

check(input_string, correct_string, msg)

check_err(input_string, unsafe_lit_strings, msg)

test_reorder_builtins()

test_reorder_builtins_negation()

test_reorder_negation()

test_unsafe_builtins()

test_unsafe_builtins_negation()

test_unsafe_negation()

class congress.tests.datalog.test_builtin.TestTheories(*args, **kwargs)

Bases: congress.tests.base.TestCase

check_equal(actual_string, correct_string, msg)

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

test_builtins(th='non-recursive theory test')

Test the mechanism that implements builtins.

test_builtins_content(th='non-recursive theory test')

Test the content of the builtins, not the mechanism.

test_materialized_builtins()

test_materialized_builtins_content()