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()