arena::tests ‑ float_ptr_cast
arena::tests ‑ heap_cell_value_const_cast
arena::tests ‑ heap_put_literal_tests
heap_iter::tests ‑ heap_stackful_iter_tests
heap_iter::tests ‑ heap_stackful_post_order_iter
heap_iter::tests ‑ heap_stackless_iter_tests
heap_iter::tests ‑ heap_stackless_post_order_iter
heap_print::tests ‑ term_printing_tests
issues ‑ call_0
issues ‑ compound_goal
issues ‑ display_constraints
issues ‑ do_not_duplicate_path_components
issues ‑ handle_residual_goal
issues ‑ ignored_constraint
issues ‑ multiple_goals
issues ‑ no_stutter
issues ‑ occurs_check_flag
issues ‑ occurs_check_flag2
issues ‑ op3
machine::arithmetic_ops::tests ‑ arith_eval_by_metacall_tests
machine::copier::tests ‑ copier_tests
machine::gc::tests ‑ heap_marking_tests
machine::mock_wam::tests ‑ is_cyclic_term_tests
machine::mock_wam::tests ‑ test_term_compare
machine::mock_wam::tests ‑ test_unify_with_occurs_check
machine::mock_wam::tests ‑ unify_tests
machine::partial_string::test ‑ pstr_iter_tests
machine::stack::tests ‑ stack_tests
parser::char_reader::tests ‑ armenian_lorem_ipsum
parser::char_reader::tests ‑ greek_lorem_ipsum
parser::char_reader::tests ‑ greek_string
parser::char_reader::tests ‑ plain_string
parser::char_reader::tests ‑ russian_lorem_ipsum
parser::char_reader::tests ‑ russian_string
src_tests ‑ builtins
src_tests ‑ call_with_inference_limit
src_tests ‑ clpz_load
src_tests ‑ facts
src_tests ‑ hello_world
src_tests ‑ iso_conformity_tests
src_tests ‑ predicates
src_tests ‑ rules
src_tests ‑ setup_call_cleanup_load
src_tests ‑ setup_call_cleanup_process
src_tests ‑ syntax_error