tests ‑ commons_length_2_25
tests ‑ commons_length_2_26
tests ‑ commons_length_2_27
tests ‑ commons_soft_cut_2_3_01
tests ‑ commons_soft_cut_2_3_02
tests ‑ commons_soft_cut_2_3_03
tests ‑ commons_soft_cut_2_3_04
tests ‑ commons_soft_cut_2_3_05
tests ‑ commons_soft_cut_2_3_06
tests ‑ commons_soft_cut_2_3_07
tests ‑ commons_soft_cut_2_3_08
tests ‑ commons_soft_cut_2_3_09
tests ‑ commons_soft_cut_2_3_10
tests ‑ commons_soft_cut_2_3_11
tests ‑ commons_soft_cut_2_3_12
tests ‑ commons_soft_cut_2_3_13
tests ‑ commons_soft_cut_2_3_14
tests ‑ commons_soft_cut_2_3_15
tests ‑ eddbali_setof_3_25
tests ‑ if_3_01
tests ‑ if_3_02
tests ‑ if_3_03
tests ‑ if_3_04
tests ‑ if_3_05
tests ‑ if_3_06
tests ‑ if_3_07
tests ‑ if_3_08
tests ‑ if_3_09
tests ‑ if_3_10
tests ‑ if_3_11
tests ‑ if_3_12
tests ‑ iso_acyclic_term_1_02
tests ‑ iso_arg_3_12
tests ‑ iso_bitwise_and_2_04
tests ‑ iso_bitwise_complement_1_03
tests ‑ iso_bitwise_left_shift_2_03
tests ‑ iso_bitwise_or_2_04
tests ‑ iso_bitwise_right_shift_2_03
tests ‑ iso_clause_2_11
tests ‑ iso_copy_term_2_09
tests ‑ iso_is_2_31
tests ‑ iso_is_2_32
tests ‑ iso_is_2_33
tests ‑ iso_is_2_34
tests ‑ iso_is_2_35
tests ‑ iso_keysort_2_04
tests ‑ iso_keysort_2_05
tests ‑ iso_not_1_08
tests ‑ iso_not_unifiable_2_11
tests ‑ iso_not_unifiable_2_12
tests ‑ iso_not_unifiable_2_13
tests ‑ iso_not_unifiable_2_14
tests ‑ iso_not_unifiable_2_15
tests ‑ iso_once_1_05
tests ‑ iso_retract_1_07
tests ‑ iso_sort_2_04
tests ‑ iso_term_variables_2_07
tests ‑ iso_unify_2_12
tests ‑ iso_unify_2_13
tests ‑ iso_unify_2_14
tests ‑ iso_unify_2_15
tests ‑ iso_unify_2_16
tests ‑ iso_univ_2_15
tests ‑ iso_xor_2_03
tests ‑ lgt_acyclic_term_1_03
tests ‑ lgt_bagof_3_22
tests ‑ lgt_call_nth_2_05
tests ‑ lgt_compare_3_30
tests ‑ lgt_copy_term_2_12
tests ‑ lgt_copy_term_2_13
tests ‑ lgt_div_2_10
tests ‑ lgt_findall_3_11
tests ‑ lgt_ground_1_08
tests ‑ lgt_integer_division_2_12
tests ‑ lgt_integer_power_2_18
tests ‑ lgt_is_2_43
tests ‑ lgt_is_2_44
tests ‑ lgt_is_2_45
tests ‑ lgt_keysort_2_21
tests ‑ lgt_minus_1_07
tests ‑ lgt_minus_2_09
tests ‑ lgt_multiplication_2_13
tests ‑ lgt_numbervars_3_16
tests ‑ lgt_numbervars_3_17
tests ‑ lgt_open_4_27
tests ‑ lgt_open_4_28
tests ‑ lgt_open_4_29
tests ‑ lgt_open_4_30
tests ‑ lgt_open_4_40
tests ‑ lgt_operators_57
tests ‑ lgt_plus_2_09
tests ‑ lgt_predicate_property_2_16
tests ‑ lgt_predicate_property_2_17
tests ‑ lgt_setof_3_36
tests ‑ lgt_soft_cut_2_3_16
tests ‑ lgt_soft_cut_2_3_17
tests ‑ lgt_soft_cut_2_3_18
tests ‑ lgt_soft_cut_2_3_19
tests ‑ lgt_soft_cut_2_3_20
tests ‑ lgt_soft_cut_2_3_21
tests ‑ lgt_soft_cut_2_3_22
tests ‑ lgt_sort_2_18
tests ‑ lgt_stream_property_2_09b
tests ‑ lgt_stream_property_2_10b
tests ‑ lgt_subsumes_term_2_15
tests ‑ lgt_subsumes_term_2_16
tests ‑ lgt_subsumes_term_2_17
tests ‑ lgt_term_comparison_38
tests ‑ lgt_term_comparison_39
tests ‑ lgt_term_comparison_40
tests ‑ lgt_term_variables_2_12
tests ‑ lgt_throw_1_03
tests ‑ lgt_unify_with_occurs_check_2_18
tests ‑ lgt_univ_2_28
tests ‑ lgt_write_term_3_082
tests ‑ lgt_write_term_3_083
tests ‑ lgt_write_term_3_084
tests ‑ sics_atom_chars_2_14
tests ‑ sics_atom_chars_2_15
tests ‑ sics_atom_concat_3_11
tests ‑ sics_atom_concat_3_12
tests ‑ sics_atom_concat_3_13
tests ‑ sics_atom_concat_3_14
tests ‑ sics_atom_length_2_09
tests ‑ sics_number_chars_2_28
tests ‑ sics_stream_property_2_06c
tests ‑ sics_sub_atom_5_29
tests ‑ sics_sub_atom_5_30
tests ‑ sics_sub_atom_5_31
tests ‑ sics_sub_atom_5_32

tests ‑ acosh_1
tests ‑ asinh_1
tests ‑ atanh_1
tests ‑ atomic_concat_3_atom_number
tests ‑ atomic_concat_3_empty
tests ‑ atomic_concat_3_non_atom_third
tests ‑ atomic_concat_3_non_atomic_first
tests ‑ atomic_concat_3_non_atomic_second
tests ‑ atomic_concat_3_number_atom
tests ‑ atomic_concat_3_property
tests ‑ atomic_concat_3_var_first
tests ‑ atomic_concat_3_var_second
tests ‑ atomic_list_concat_2_empty
tests ‑ atomic_list_concat_2_long_empty_curly
tests ‑ atomic_list_concat_2_long_empty_list
tests ‑ atomic_list_concat_2_non_atom_second
tests ‑ atomic_list_concat_2_non_atomic_in_first
tests ‑ atomic_list_concat_2_property
tests ‑ atomic_list_concat_2_var_head
tests ‑ atomic_list_concat_2_var_tail
tests ‑ atomic_list_concat_3_empty
tests ‑ atomic_list_concat_3_non_atom_third
tests ‑ atomic_list_concat_3_non_atomic_in_first
tests ‑ atomic_list_concat_3_non_atomic_second
tests ‑ atomic_list_concat_3_one_element
tests ‑ atomic_list_concat_3_property
tests ‑ atomic_list_concat_3_three_elements
tests ‑ atomic_list_concat_3_two_elements
tests ‑ atomic_list_concat_3_var_head
tests ‑ atomic_list_concat_3_var_second
tests ‑ atomic_list_concat_3_var_tail
tests ‑ commons_between_3_01
tests ‑ commons_between_3_02
tests ‑ commons_between_3_03
tests ‑ commons_between_3_04
tests ‑ commons_between_3_05
tests ‑ commons_between_3_06
tests ‑ commons_between_3_07
tests ‑ commons_between_3_08
tests ‑ commons_between_3_09
tests ‑ commons_between_3_10
tests ‑ commons_between_3_11
tests ‑ commons_between_3_12
tests ‑ commons_between_3_13
tests ‑ commons_findall_4_01
tests ‑ commons_findall_4_02
tests ‑ commons_findall_4_03
tests ‑ commons_findall_4_04
tests ‑ commons_findall_4_05
tests ‑ commons_findall_4_06
tests ‑ commons_findall_4_07
tests ‑ commons_findall_4_08
tests ‑ commons_findall_4_09
tests ‑ commons_findall_4_10
tests ‑ commons_findall_4_11
tests ‑ commons_findall_4_12
tests ‑ commons_findall_4_13
tests ‑ commons_findall_4_14
tests ‑ commons_forall_2_01
tests ‑ commons_forall_2_02
tests ‑ commons_forall_2_03
tests ‑ commons_forall_2_04
tests ‑ commons_forall_2_05
tests ‑ commons_forall_2_06
tests ‑ commons_forall_2_07
tests ‑ commons_forall_2_08
tests ‑ commons_forall_2_09
tests ‑ commons_forall_2_10
tests ‑ commons_forall_2_11
tests ‑ commons_length_2_01
tests ‑ commons_length_2_02
tests ‑ commons_length_2_03
tests ‑ commons_length_2_04
tests ‑ commons_length_2_05
tests ‑ commons_length_2_06
tests ‑ commons_length_2_07
tests ‑ commons_length_2_08
tests ‑ commons_length_2_09
tests ‑ commons_length_2_10
tests ‑ commons_length_2_11
tests ‑ commons_length_2_12
tests ‑ commons_length_2_13
tests ‑ commons_length_2_20
tests ‑ commons_length_2_21
tests ‑ commons_length_2_22
tests ‑ commons_length_2_23
tests ‑ commons_length_2_24
tests ‑ commons_length_2_25
tests ‑ commons_length_2_26
tests ‑ commons_length_2_27
tests ‑ commons_numbervars_3_01
tests ‑ commons_numbervars_3_02
tests ‑ commons_numbervars_3_03
tests ‑ commons_numbervars_3_04
tests ‑ commons_numbervars_3_05
tests ‑ commons_numbervars_3_06
tests ‑ commons_numbervars_3_07
tests ‑ commons_numbervars_3_08
tests ‑ commons_numbervars_3_09
tests ‑ commons_numbervars_3_10
tests ‑ commons_numbervars_3_11
tests ‑ commons_numbervars_3_12
tests ‑ commons_numbervars_3_13
tests ‑ commons_numbervars_3_14
tests ‑ commons_numbervars_3_15
tests ‑ commons_predicate_property_2_01
tests ‑ commons_predicate_property_2_02
tests ‑ commons_predicate_property_2_03
tests ‑ commons_predicate_property_2_04
tests ‑ commons_predicate_property_2_05
tests ‑ commons_predicate_property_2_06
tests ‑ commons_predicate_property_2_08
tests ‑ commons_predicate_property_2_09
tests ‑ commons_predicate_property_2_10
tests ‑ commons_predicate_property_2_11
tests ‑ commons_soft_cut_2_3_01
tests ‑ commons_soft_cut_2_3_02
tests ‑ commons_soft_cut_2_3_03
tests ‑ commons_soft_cut_2_3_04
tests ‑ commons_soft_cut_2_3_05
tests ‑ commons_soft_cut_2_3_06
tests ‑ commons_soft_cut_2_3_07
tests ‑ commons_soft_cut_2_3_08
tests ‑ commons_soft_cut_2_3_09
tests ‑ commons_soft_cut_2_3_10
tests ‑ commons_soft_cut_2_3_11
tests ‑ commons_soft_cut_2_3_12
tests ‑ commons_soft_cut_2_3_13
tests ‑ commons_soft_cut_2_3_14
tests ‑ commons_soft_cut_2_3_15
tests ‑ conditional_compilation
tests ‑ cosh_1
tests ‑ current_op_3
tests ‑ discontiguous_1_01
tests ‑ discontiguous_1_02
tests ‑ discontiguous_1_03
tests ‑ discontiguous_1_04
tests ‑ discontiguous_1_05
tests ‑ dynamic_1_conjunction
tests ‑ dynamic_1_list
tests ‑ dynamic_1_single
tests ‑ eclipse_abolish_1_14
tests ‑ eclipse_abolish_1_15
tests ‑ eclipse_bagof_3_18
tests ‑ eclipse_bagof_3_19
tests ‑ eclipse_call_N_25
tests ‑ eclipse_call_N_26
tests ‑ eclipse_call_N_27
tests ‑ eclipse_call_N_28
tests ‑ eclipse_call_N_29
tests ‑ eclipse_call_N_30
tests ‑ eclipse_call_N_31
tests ‑ eclipse_call_N_32
tests ‑ eclipse_callable_1_10
tests ‑ eclipse_callable_1_11
tests ‑ eclipse_ceiling_1_02
tests ‑ eclipse_ceiling_1_03
tests ‑ eclipse_current_predicate_1_09
tests ‑ eclipse_current_predicate_1_10
tests ‑ eclipse_current_predicate_1_11
tests ‑ eclipse_current_predicate_1_12
tests ‑ eclipse_cut_0_13
tests ‑ eclipse_cut_0_14
tests ‑ eclipse_cut_0_15
tests ‑ eclipse_cut_0_16
tests ‑ eclipse_cut_0_17
tests ‑ eclipse_cut_0_18
tests ‑ eclipse_cut_0_19
tests ‑ eclipse_cut_0_20
tests ‑ eclipse_cut_0_21
tests ‑ eclipse_findall_3_10
tests ‑ eclipse_floor_1_03
tests ‑ eclipse_floor_1_04
tests ‑ eclipse_flush_output_1_07
tests ‑ eclipse_flush_output_1_08
tests ‑ eclipse_ground_1_03
tests ‑ eclipse_ground_1_04
tests ‑ eclipse_ground_1_05
tests ‑ eclipse_ground_1_06
tests ‑ eclipse_keysort_2_06
tests ‑ eclipse_keysort_2_07
tests ‑ eclipse_keysort_2_08
tests ‑ eclipse_keysort_2_09
tests ‑ eclipse_keysort_2_10
tests ‑ eclipse_keysort_2_11
tests ‑ eclipse_keysort_2_12
tests ‑ eclipse_log_1_07
tests ‑ eclipse_repeat_0_02
tests ‑ eclipse_retract_1_14
tests ‑ eclipse_retract_1_15
tests ‑ eclipse_retract_1_16
tests ‑ eclipse_retract_1_17
tests ‑ eclipse_retract_1_18
tests ‑ eclipse_retractall_1_09
tests ‑ eclipse_retractall_1_10
tests ‑ eclipse_retractall_1_11
tests ‑ eclipse_round_1_05
tests ‑ eclipse_round_1_06
tests ‑ eclipse_round_1_07
tests ‑ eclipse_round_1_08
tests ‑ eclipse_setof_3_30
tests ‑ eclipse_setof_3_31
tests ‑ eclipse_sort_2_06
tests ‑ eclipse_sort_2_07
tests ‑ eclipse_sort_2_08
tests ‑ eclipse_sort_2_09
tests ‑ eclipse_sort_2_10
tests ‑ eclipse_sort_2_11
tests ‑ eclipse_term_variables_2_08
tests ‑ eclipse_term_variables_2_09
tests ‑ eclipse_term_variables_2_10
tests ‑ eclipse_throw_1_04
tests ‑ eclipse_throw_1_05
tests ‑ eclipse_throw_1_06
tests ‑ eclipse_throw_1_07
tests ‑ eclipse_throw_1_08
tests ‑ eclipse_truncate_1_03
tests ‑ eclipse_truncate_1_04
tests ‑ eddbali_abolish_1_06
tests ‑ eddbali_abolish_1_07
tests ‑ eddbali_abolish_1_08
tests ‑ eddbali_abolish_1_09
tests ‑ eddbali_abolish_1_10
tests ‑ eddbali_abolish_1_11
tests ‑ eddbali_abolish_1_12
tests ‑ eddbali_abolish_1_13
tests ‑ eddbali_arg_3_13
tests ‑ eddbali_arg_3_14
tests ‑ eddbali_arg_3_15
tests ‑ eddbali_asserta_1_08
tests ‑ eddbali_assertz_1_08
tests ‑ eddbali_atom_chars_2_09
tests ‑ eddbali_atom_chars_2_10
tests ‑ eddbali_atom_chars_2_11
tests ‑ eddbali_atom_chars_2_12
tests ‑ eddbali_atom_chars_2_13
tests ‑ eddbali_atom_codes_2_09
tests ‑ eddbali_atom_codes_2_10
tests ‑ eddbali_atom_codes_2_11
tests ‑ eddbali_atom_concat_3_06
tests ‑ eddbali_atom_concat_3_07
tests ‑ eddbali_atom_concat_3_08
tests ‑ eddbali_atom_concat_3_09
tests ‑ eddbali_atom_concat_3_10
tests ‑ eddbali_atom_length_2_08
tests ‑ eddbali_char_code_2_08
tests ‑ eddbali_char_code_2_09
tests ‑ eddbali_current_predicate_1_07
tests ‑ eddbali_current_predicate_1_08
tests ‑ eddbali_current_prolog_flag_2_12
tests ‑ eddbali_current_prolog_flag_2_13
tests ‑ eddbali_current_prolog_flag_2_14
tests ‑ eddbali_current_prolog_flag_2_15
tests ‑ eddbali_halt_1_02
tests ‑ eddbali_number_chars_2_16
tests ‑ eddbali_number_chars_2_17
tests ‑ eddbali_number_chars_2_18
tests ‑ eddbali_number_chars_2_19
tests ‑ eddbali_number_codes_2_13
tests ‑ eddbali_number_codes_2_14
tests ‑ eddbali_number_codes_2_15
tests ‑ eddbali_number_codes_2_16
tests ‑ eddbali_once_1_06
tests ‑ eddbali_once_1_07
tests ‑ eddbali_setof_3_25
tests ‑ eddbali_setof_3_26
tests ‑ eddbali_sub_atom_5_08
tests ‑ eddbali_sub_atom_5_09
tests ‑ eddbali_sub_atom_5_10
tests ‑ eddbali_sub_atom_5_11
tests ‑ eddbali_sub_atom_5_12
tests ‑ eddbali_sub_atom_5_13
tests ‑ ensure_loaded_1
tests ‑ if_3_01
tests ‑ if_3_02
tests ‑ if_3_03
tests ‑ if_3_04
tests ‑ if_3_05
tests ‑ if_3_06
tests ‑ if_3_07
tests ‑ if_3_08
tests ‑ if_3_09
tests ‑ if_3_10
tests ‑ if_3_11
tests ‑ if_3_12
tests ‑ include_1
tests ‑ initialization_1
tests ‑ iso_abolish_1_01
tests ‑ iso_abolish_1_02
tests ‑ iso_abolish_1_03
tests ‑ iso_abolish_1_04
tests ‑ iso_abolish_1_05
tests ‑ iso_abs_1_01
tests ‑ iso_abs_1_02
tests ‑ iso_abs_1_03
tests ‑ iso_abs_1_04
tests ‑ iso_abs_1_05
tests ‑ iso_acos_1_01
tests ‑ iso_acos_1_02
tests ‑ iso_acos_1_03
tests ‑ iso_acyclic_term_1_01
tests ‑ iso_acyclic_term_1_02
tests ‑ iso_arg_3_01
tests ‑ iso_arg_3_02
tests ‑ iso_arg_3_03
tests ‑ iso_arg_3_04
tests ‑ iso_arg_3_05
tests ‑ iso_arg_3_06
tests ‑ iso_arg_3_07
tests ‑ iso_arg_3_08
tests ‑ iso_arg_3_09
tests ‑ iso_arg_3_10
tests ‑ iso_arg_3_11
tests ‑ iso_arg_3_12
tests ‑ iso_arithmetic_comparison_01
tests ‑ iso_arithmetic_comparison_02
tests ‑ iso_arithmetic_comparison_03
tests ‑ iso_arithmetic_comparison_04
tests ‑ iso_arithmetic_comparison_05
tests ‑ iso_arithmetic_comparison_06
tests ‑ iso_arithmetic_comparison_07
tests ‑ iso_arithmetic_comparison_08
tests ‑ iso_arithmetic_comparison_09
tests ‑ iso_arithmetic_comparison_10
tests ‑ iso_arithmetic_comparison_11
tests ‑ iso_arithmetic_comparison_12
tests ‑ iso_arithmetic_comparison_13
tests ‑ iso_arithmetic_comparison_14
tests ‑ iso_arithmetic_comparison_15
tests ‑ iso_arithmetic_comparison_16
tests ‑ iso_arithmetic_comparison_17
tests ‑ iso_arithmetic_comparison_18
tests ‑ iso_arithmetic_comparison_19
tests ‑ iso_arithmetic_comparison_20
tests ‑ iso_arithmetic_comparison_21
tests ‑ iso_arithmetic_comparison_22
tests ‑ iso_arithmetic_comparison_23
tests ‑ iso_arithmetic_comparison_24
tests ‑ iso_asin_1_01
tests ‑ iso_asin_1_02
tests ‑ iso_asin_1_03
tests ‑ iso_asserta_1_01
tests ‑ iso_asserta_1_02
tests ‑ iso_asserta_1_03
tests ‑ iso_asserta_1_04
tests ‑ iso_asserta_1_05
tests ‑ iso_asserta_1_06
tests ‑ iso_asserta_1_07
tests ‑ iso_assertz_1_01
tests ‑ iso_assertz_1_02
tests ‑ iso_assertz_1_03
tests ‑ iso_assertz_1_04
tests ‑ iso_assertz_1_05
tests ‑ iso_assertz_1_06
tests ‑ iso_assertz_1_07
tests ‑ iso_atan2_2_01
tests ‑ iso_atan2_2_02
tests ‑ iso_atan2_2_03
tests ‑ iso_atan_1_01
tests ‑ iso_atan_1_02
tests ‑ iso_atan_1_03
tests ‑ iso_atan_1_04
tests ‑ iso_atan_1_05
tests ‑ iso_atom_01
tests ‑ iso_atom_02
tests ‑ iso_atom_03
tests ‑ iso_atom_04
tests ‑ iso_atom_05
tests ‑ iso_atom_06
tests ‑ iso_atom_07
tests ‑ iso_atom_08
tests ‑ iso_atom_1_01
tests ‑ iso_atom_1_02
tests ‑ iso_atom_1_03
tests ‑ iso_atom_1_04
tests ‑ iso_atom_1_05
tests ‑ iso_atom_1_06
tests ‑ iso_atom_1_07
tests ‑ iso_atom_chars_2_01
tests ‑ iso_atom_chars_2_02
tests ‑ iso_atom_chars_2_03
tests ‑ iso_atom_chars_2_04
tests ‑ iso_atom_chars_2_05
tests ‑ iso_atom_chars_2_06
tests ‑ iso_atom_chars_2_07
tests ‑ iso_atom_chars_2_08
tests ‑ iso_atom_codes_2_01
tests ‑ iso_atom_codes_2_02
tests ‑ iso_atom_codes_2_03
tests ‑ iso_atom_codes_2_04
tests ‑ iso_atom_codes_2_05
tests ‑ iso_atom_codes_2_06
tests ‑ iso_atom_codes_2_07
tests ‑ iso_atom_codes_2_08
tests ‑ iso_atom_concat_3_01
tests ‑ iso_atom_concat_3_02
tests ‑ iso_atom_concat_3_03
tests ‑ iso_atom_concat_3_04
tests ‑ iso_atom_concat_3_05
tests ‑ iso_atom_length_2_01
tests ‑ iso_atom_length_2_02
tests ‑ iso_atom_length_2_03
tests ‑ iso_atom_length_2_04
tests ‑ iso_atom_length_2_05
tests ‑ iso_atom_length_2_06
tests ‑ iso_atom_length_2_07
tests ‑ iso_atomic_1_01
tests ‑ iso_atomic_1_02
tests ‑ iso_atomic_1_03
tests ‑ iso_atomic_1_04
tests ‑ iso_atomic_1_05
tests ‑ iso_bagof_3_01
tests ‑ iso_bagof_3_02
tests ‑ iso_bagof_3_03
tests ‑ iso_bagof_3_04
tests ‑ iso_bagof_3_05
tests ‑ iso_bagof_3_06
tests ‑ iso_bagof_3_07
tests ‑ iso_bagof_3_08
tests ‑ iso_bagof_3_09
tests ‑ iso_bagof_3_10
tests ‑ iso_bagof_3_11
tests ‑ iso_bagof_3_12
tests ‑ iso_bagof_3_13
tests ‑ iso_bagof_3_14
tests ‑ iso_bagof_3_15
tests ‑ iso_bagof_3_16
tests ‑ iso_bagof_3_17
tests ‑ iso_bitwise_and_2_01
tests ‑ iso_bitwise_and_2_02
tests ‑ iso_bitwise_and_2_03
tests ‑ iso_bitwise_and_2_04
tests ‑ iso_bitwise_and_2_05
tests ‑ iso_bitwise_and_2_06
tests ‑ iso_bitwise_complement_1_01
tests ‑ iso_bitwise_complement_1_02
tests ‑ iso_bitwise_complement_1_03
tests ‑ iso_bitwise_complement_1_04
tests ‑ iso_bitwise_left_shift_1_04
tests ‑ iso_bitwise_left_shift_2_01
tests ‑ iso_bitwise_left_shift_2_02
tests ‑ iso_bitwise_left_shift_2_03
tests ‑ iso_bitwise_left_shift_2_05
tests ‑ iso_bitwise_left_shift_2_06
tests ‑ iso_bitwise_or_2_01
tests ‑ iso_bitwise_or_2_02
tests ‑ iso_bitwise_or_2_03
tests ‑ iso_bitwise_or_2_04
tests ‑ iso_bitwise_or_2_05
tests ‑ iso_bitwise_or_2_06
tests ‑ iso_bitwise_right_shift_1_04
tests ‑ iso_bitwise_right_shift_2_01
tests ‑ iso_bitwise_right_shift_2_02
tests ‑ iso_bitwise_right_shift_2_03
tests ‑ iso_bitwise_right_shift_2_05
tests ‑ iso_block_comment_04
tests ‑ iso_block_comment_05
tests ‑ iso_call_1_01
tests ‑ iso_call_1_02
tests ‑ iso_call_1_03
tests ‑ iso_call_1_04
tests ‑ iso_call_1_05
tests ‑ iso_call_1_06
tests ‑ iso_call_1_07
tests ‑ iso_call_1_08
tests ‑ iso_call_1_09
tests ‑ iso_call_1_10
tests ‑ iso_call_1_11
tests ‑ iso_call_1_12
tests ‑ iso_call_1_13
tests ‑ iso_call_1_14
tests ‑ iso_call_1_15
tests ‑ iso_call_N_01
tests ‑ iso_call_N_02
tests ‑ iso_call_N_03
tests ‑ iso_call_N_04
tests ‑ iso_call_N_05
tests ‑ iso_call_N_06
tests ‑ iso_call_N_07
tests ‑ iso_call_N_08
tests ‑ iso_callable_1_01
tests ‑ iso_callable_1_02
tests ‑ iso_callable_1_03
tests ‑ iso_callable_1_04
tests ‑ iso_catch_3_01
tests ‑ iso_catch_3_02
tests ‑ iso_catch_3_03
tests ‑ iso_catch_3_04
tests ‑ iso_catch_3_05
tests ‑ iso_catch_3_06
tests ‑ iso_catch_3_07
tests ‑ iso_catch_3_08
tests ‑ iso_ceiling_1_01
tests ‑ iso_char_code_2_01
tests ‑ iso_char_code_2_02
tests ‑ iso_char_code_2_03
tests ‑ iso_char_code_2_04
tests ‑ iso_char_code_2_05
tests ‑ iso_char_code_2_06
tests ‑ iso_char_code_2_07
tests ‑ iso_clause_2_01
tests ‑ iso_clause_2_02
tests ‑ iso_clause_2_03
tests ‑ iso_clause_2_04
tests ‑ iso_clause_2_05
tests ‑ iso_clause_2_06
tests ‑ iso_clause_2_07
tests ‑ iso_clause_2_08
tests ‑ iso_clause_2_09
tests ‑ iso_clause_2_10
tests ‑ iso_clause_2_11
tests ‑ iso_compare_3_01
tests ‑ iso_compare_3_02
tests ‑ iso_compare_3_03
tests ‑ iso_compare_3_04
tests ‑ iso_compare_3_06
tests ‑ iso_compound_1_01
tests ‑ iso_compound_1_02
tests ‑ iso_compound_1_03
tests ‑ iso_compound_1_04
tests ‑ iso_compound_1_05
tests ‑ iso_compound_1_06
tests ‑ iso_compound_1_07
tests ‑ iso_compound_1_08
tests ‑ iso_conjunction_2_01
tests ‑ iso_conjunction_2_02
tests ‑ iso_conjunction_2_03
tests ‑ iso_copy_term_2_01
tests ‑ iso_copy_term_2_02
tests ‑ iso_copy_term_2_03
tests ‑ iso_copy_term_2_04
tests ‑ iso_copy_term_2_05
tests ‑ iso_copy_term_2_06
tests ‑ iso_copy_term_2_07
tests ‑ iso_copy_term_2_08
tests ‑ iso_copy_term_2_09
tests ‑ iso_copy_term_2_10
tests ‑ iso_copy_term_2_11
tests ‑ iso_cos_1_01
tests ‑ iso_cos_1_02
tests ‑ iso_cos_1_03
tests ‑ iso_cos_1_04
tests ‑ iso_cos_1_05
tests ‑ iso_curly_bracketed_term_01
tests ‑ iso_curly_bracketed_term_02
tests ‑ iso_current_predicate_1_01
tests ‑ iso_current_predicate_1_02
tests ‑ iso_current_predicate_1_03
tests ‑ iso_current_predicate_1_04
tests ‑ iso_current_predicate_1_05
tests ‑ iso_current_predicate_1_06
tests ‑ iso_current_prolog_flag_2_02
tests ‑ iso_current_prolog_flag_2_03
tests ‑ iso_current_prolog_flag_2_04
tests ‑ iso_current_prolog_flag_2_08
tests ‑ iso_current_prolog_flag_2_09
tests ‑ iso_current_prolog_flag_2_10
tests ‑ iso_current_prolog_flag_2_11
tests ‑ iso_cut_0_01
tests ‑ iso_cut_0_02
tests ‑ iso_cut_0_03
tests ‑ iso_cut_0_04
tests ‑ iso_cut_0_05
tests ‑ iso_cut_0_06
tests ‑ iso_cut_0_07
tests ‑ iso_cut_0_08
tests ‑ iso_cut_0_09
tests ‑ iso_cut_0_10
tests ‑ iso_cut_0_11
tests ‑ iso_cut_0_12
tests ‑ iso_disjunction_2_01
tests ‑ iso_disjunction_2_02
tests ‑ iso_disjunction_2_03
tests ‑ iso_disjunction_2_04
tests ‑ iso_disjunction_2_05
tests ‑ iso_double_quoted_term_01
tests ‑ iso_double_quoted_term_02
tests ‑ iso_double_quoted_term_03
tests ‑ iso_double_quoted_term_04
tests ‑ iso_double_quoted_term_05
tests ‑ iso_double_quoted_term_06
tests ‑ iso_double_quoted_term_07
tests ‑ iso_double_quoted_term_08
tests ‑ iso_double_quoted_term_09
tests ‑ iso_double_quoted_term_10
tests ‑ iso_double_quoted_term_11
tests ‑ iso_double_quoted_term_12
tests ‑ iso_exp_1_01
tests ‑ iso_exp_1_02
tests ‑ iso_exp_1_03
tests ‑ iso_exp_1_04
tests ‑ iso_exp_1_05
tests ‑ iso_fail_0_01
tests ‑ iso_false_0_01
tests ‑ iso_findall_3_01
tests ‑ iso_findall_3_02
tests ‑ iso_findall_3_03
tests ‑ iso_findall_3_04
tests ‑ iso_findall_3_05
tests ‑ iso_findall_3_06
tests ‑ iso_findall_3_07
tests ‑ iso_findall_3_08
tests ‑ iso_float_1_function_01
tests ‑ iso_float_1_function_02
tests ‑ iso_float_1_function_03
tests ‑ iso_float_1_function_04
tests ‑ iso_float_1_function_05
tests ‑ iso_float_1_function_06
tests ‑ iso_float_1_predicate_01
tests ‑ iso_float_1_predicate_02
tests ‑ iso_float_1_predicate_03
tests ‑ iso_float_1_predicate_04
tests ‑ iso_float_1_predicate_05
tests ‑ iso_float_1_predicate_06
tests ‑ iso_floor_1_01
tests ‑ iso_floor_1_02
tests ‑ iso_functor_3_01
tests ‑ iso_functor_3_02
tests ‑ iso_functor_3_03
tests ‑ iso_functor_3_04
tests ‑ iso_functor_3_05
tests ‑ iso_functor_3_06
tests ‑ iso_functor_3_07
tests ‑ iso_functor_3_08
tests ‑ iso_functor_3_09
tests ‑ iso_functor_3_10
tests ‑ iso_functor_3_11
tests ‑ iso_functor_3_12
tests ‑ iso_functor_3_13
tests ‑ iso_functor_3_14
tests ‑ iso_functor_3_15
tests ‑ iso_functor_3_16
tests ‑ iso_functor_3_17
tests ‑ iso_functor_3_18
tests ‑ iso_get_byte_2_01
tests ‑ iso_get_byte_2_02
tests ‑ iso_get_byte_2_03
tests ‑ iso_get_byte_2_04
tests ‑ iso_get_byte_2_05
tests ‑ iso_get_char_2_01
tests ‑ iso_get_char_2_02
tests ‑ iso_get_char_2_03
tests ‑ iso_get_char_2_04
tests ‑ iso_get_char_2_05
tests ‑ iso_get_char_2_06
tests ‑ iso_get_code_2_01
tests ‑ iso_get_code_2_02
tests ‑ iso_get_code_2_03
tests ‑ iso_get_code_2_04
tests ‑ iso_get_code_2_05
tests ‑ iso_get_code_2_06
tests ‑ iso_ground_1_01
tests ‑ iso_ground_1_02
tests ‑ iso_halt_1_01
tests ‑ iso_if_then_2_01
tests ‑ iso_if_then_2_02
tests ‑ iso_if_then_2_03
tests ‑ iso_if_then_2_04
tests ‑ iso_if_then_2_05
tests ‑ iso_if_then_2_06
tests ‑ iso_if_then_else_3_01
tests ‑ iso_if_then_else_3_02
tests ‑ iso_if_then_else_3_03
tests ‑ iso_if_then_else_3_04
tests ‑ iso_if_then_else_3_05
tests ‑ iso_if_then_else_3_06
tests ‑ iso_if_then_else_3_07
tests ‑ iso_if_then_else_3_08
tests ‑ iso_if_then_else_3_09
tests ‑ iso_integer_1_01
tests ‑ iso_integer_1_02
tests ‑ iso_integer_1_03
tests ‑ iso_integer_1_04
tests ‑ iso_integer_1_05
tests ‑ iso_integer_power_2_01
tests ‑ iso_integer_power_2_02
tests ‑ iso_integer_power_2_03
tests ‑ iso_integer_power_2_04
tests ‑ iso_integer_power_2_05
tests ‑ iso_integer_power_2_06
tests ‑ iso_integer_power_2_07
tests ‑ iso_integer_power_2_08
tests ‑ iso_integer_power_2_09
tests ‑ iso_is_2_01
tests ‑ iso_is_2_02
tests ‑ iso_is_2_03
tests ‑ iso_is_2_04
tests ‑ iso_is_2_05
tests ‑ iso_is_2_06
tests ‑ iso_is_2_07
tests ‑ iso_is_2_08
tests ‑ iso_is_2_09
tests ‑ iso_is_2_10
tests ‑ iso_is_2_11
tests ‑ iso_is_2_12
tests ‑ iso_is_2_13
tests ‑ iso_is_2_14
tests ‑ iso_is_2_15
tests ‑ iso_is_2_16
tests ‑ iso_is_2_17
tests ‑ iso_is_2_18
tests ‑ iso_is_2_19
tests ‑ iso_is_2_20
tests ‑ iso_is_2_21
tests ‑ iso_is_2_22
tests ‑ iso_is_2_23
tests ‑ iso_is_2_24
tests ‑ iso_is_2_25
tests ‑ iso_is_2_26
tests ‑ iso_is_2_27
tests ‑ iso_is_2_28
tests ‑ iso_is_2_29
tests ‑ iso_is_2_30
tests ‑ iso_is_2_31
tests ‑ iso_is_2_32
tests ‑ iso_is_2_33
tests ‑ iso_is_2_34
tests ‑ iso_is_2_35
tests ‑ iso_keysort_2_01
tests ‑ iso_keysort_2_02
tests ‑ iso_keysort_2_03
tests ‑ iso_keysort_2_04
tests ‑ iso_keysort_2_05
tests ‑ iso_list_01
tests ‑ iso_list_02
tests ‑ iso_list_03
tests ‑ iso_log_1_01
tests ‑ iso_log_1_02
tests ‑ iso_log_1_03
tests ‑ iso_log_1_04
tests ‑ iso_log_1_05
tests ‑ iso_log_1_06
tests ‑ iso_max_2_01
tests ‑ iso_max_2_02
tests ‑ iso_max_2_03
tests ‑ iso_max_2_04
tests ‑ iso_min_2_01
tests ‑ iso_min_2_02
tests ‑ iso_min_2_03
tests ‑ iso_min_2_04
tests ‑ iso_mod_2_01
tests ‑ iso_mod_2_02
tests ‑ iso_mod_2_03
tests ‑ iso_mod_2_04
tests ‑ iso_mod_2_05
tests ‑ iso_mod_2_06
tests ‑ iso_mod_2_07
tests ‑ iso_nl_1_01
tests ‑ iso_nl_1_02
tests ‑ iso_nonvar_1_01
tests ‑ iso_nonvar_1_02
tests ‑ iso_nonvar_1_03
tests ‑ iso_nonvar_1_04
tests ‑ iso_nonvar_1_05
tests ‑ iso_nonvar_1_06
tests ‑ iso_not_1_01
tests ‑ iso_not_1_02
tests ‑ iso_not_1_03
tests ‑ iso_not_1_04
tests ‑ iso_not_1_05
tests ‑ iso_not_1_06
tests ‑ iso_not_1_07
tests ‑ iso_not_1_08
tests ‑ iso_not_unifiable_2_01
tests ‑ iso_not_unifiable_2_02
tests ‑ iso_not_unifiable_2_03
tests ‑ iso_not_unifiable_2_04
tests ‑ iso_not_unifiable_2_05
tests ‑ iso_not_unifiable_2_06
tests ‑ iso_not_unifiable_2_07
tests ‑ iso_not_unifiable_2_08
tests ‑ iso_not_unifiable_2_09
tests ‑ iso_not_unifiable_2_10
tests ‑ iso_not_unifiable_2_11
tests ‑ iso_not_unifiable_2_12
tests ‑ iso_not_unifiable_2_13
tests ‑ iso_not_unifiable_2_14
tests ‑ iso_not_unifiable_2_15
tests ‑ iso_number_01
tests ‑ iso_number_02
tests ‑ iso_number_03
tests ‑ iso_number_04
tests ‑ iso_number_05
tests ‑ iso_number_06
tests ‑ iso_number_07
tests ‑ iso_number_08
tests ‑ iso_number_09
tests ‑ iso_number_10
tests ‑ iso_number_11
tests ‑ iso_number_12
tests ‑ iso_number_13
tests ‑ iso_number_14
tests ‑ iso_number_1_01
tests ‑ iso_number_1_02
tests ‑ iso_number_1_03
tests ‑ iso_number_1_04
tests ‑ iso_number_1_05
tests ‑ iso_number_1_06
tests ‑ iso_number_1_07
tests ‑ iso_number_chars_2_01
tests ‑ iso_number_chars_2_02
tests ‑ iso_number_chars_2_03
tests ‑ iso_number_chars_2_04
tests ‑ iso_number_chars_2_05
tests ‑ iso_number_chars_2_06
tests ‑ iso_number_chars_2_07
tests ‑ iso_number_chars_2_08
tests ‑ iso_number_chars_2_09
tests ‑ iso_number_chars_2_10
tests ‑ iso_number_chars_2_11
tests ‑ iso_number_chars_2_12
tests ‑ iso_number_chars_2_13
tests ‑ iso_number_chars_2_14
tests ‑ iso_number_chars_2_15
tests ‑ iso_number_codes_2_01
tests ‑ iso_number_codes_2_02
tests ‑ iso_number_codes_2_03
tests ‑ iso_number_codes_2_04
tests ‑ iso_number_codes_2_05
tests ‑ iso_number_codes_2_06
tests ‑ iso_number_codes_2_07
tests ‑ iso_number_codes_2_08
tests ‑ iso_number_codes_2_09
tests ‑ iso_number_codes_2_10
tests ‑ iso_number_codes_2_11
tests ‑ iso_number_codes_2_12
tests ‑ iso_once_1_01
tests ‑ iso_once_1_02
tests ‑ iso_once_1_03
tests ‑ iso_once_1_04
tests ‑ iso_once_1_05
tests ‑ iso_op_3_01
tests ‑ iso_op_3_02
tests ‑ iso_op_3_03
tests ‑ iso_op_3_04
tests ‑ iso_op_3_05
tests ‑ iso_op_3_06
tests ‑ iso_op_3_07
tests ‑ iso_op_3_08
tests ‑ iso_op_3_09
tests ‑ iso_op_3_10
tests ‑ iso_op_3_11
tests ‑ iso_op_3_12
tests ‑ iso_op_3_13
tests ‑ iso_op_3_14
tests ‑ iso_op_3_15
tests ‑ iso_op_3_17
tests ‑ iso_op_3_18
tests ‑ iso_op_3_19
tests ‑ iso_op_3_20
tests ‑ iso_op_3_21
tests ‑ iso_open_4_01
tests ‑ iso_open_4_02
tests ‑ iso_open_4_03
tests ‑ iso_operators_01
tests ‑ iso_operators_02
tests ‑ iso_operators_03
tests ‑ iso_operators_04
tests ‑ iso_operators_05
tests ‑ iso_operators_06
tests ‑ iso_operators_07
tests ‑ iso_operators_08
tests ‑ iso_operators_09
tests ‑ iso_operators_10
tests ‑ iso_operators_11
tests ‑ iso_operators_12
tests ‑ iso_operators_13
tests ‑ iso_operators_14
tests ‑ iso_operators_15
tests ‑ iso_peek_byte_2_01
tests ‑ iso_peek_byte_2_02
tests ‑ iso_peek_byte_2_03
tests ‑ iso_peek_byte_2_04
tests ‑ iso_peek_byte_2_05
tests ‑ iso_peek_byte_2_06
tests ‑ iso_peek_char_2_01
tests ‑ iso_peek_char_2_02
tests ‑ iso_peek_char_2_03
tests ‑ iso_peek_char_2_04
tests ‑ iso_peek_char_2_05
tests ‑ iso_peek_char_2_06
tests ‑ iso_peek_char_2_07
tests ‑ iso_peek_char_2_08
tests ‑ iso_peek_code_2_01
tests ‑ iso_peek_code_2_02
tests ‑ iso_peek_code_2_03
tests ‑ iso_peek_code_2_04
tests ‑ iso_peek_code_2_05
tests ‑ iso_peek_code_2_06
tests ‑ iso_peek_code_2_07
tests ‑ iso_pi_0_01
tests ‑ iso_power_2_01
tests ‑ iso_power_2_02
tests ‑ iso_power_2_03
tests ‑ iso_power_2_04
tests ‑ iso_power_2_05
tests ‑ iso_power_2_06
tests ‑ iso_power_2_07
tests ‑ iso_power_2_09
tests ‑ iso_power_2_10
tests ‑ iso_power_2_11
tests ‑ iso_power_2_12
tests ‑ iso_power_2_13
tests ‑ iso_put_byte_2_01
tests ‑ iso_put_byte_2_02
tests ‑ iso_put_byte_2_03
tests ‑ iso_put_byte_2_04
tests ‑ iso_put_char_2_01
tests ‑ iso_put_char_2_02
tests ‑ iso_put_char_2_03
tests ‑ iso_put_char_2_04
tests ‑ iso_put_char_2_05
tests ‑ iso_put_char_2_06
tests ‑ iso_put_code_2_01
tests ‑ iso_put_code_2_02
tests ‑ iso_put_code_2_03
tests ‑ iso_put_code_2_04
tests ‑ iso_put_code_2_07
tests ‑ iso_put_code_2_08
tests ‑ iso_put_code_2_09
tests ‑ iso_put_code_2_10
tests ‑ iso_read_term_3_01
tests ‑ iso_read_term_3_02
tests ‑ iso_read_term_3_03
tests ‑ iso_read_term_3_04
tests ‑ iso_read_term_3_05
tests ‑ iso_read_term_3_06
tests ‑ iso_repeat_0_01
tests ‑ iso_retract_1_01
tests ‑ iso_retract_1_02
tests ‑ iso_retract_1_03
tests ‑ iso_retract_1_04
tests ‑ iso_retract_1_05
tests ‑ iso_retract_1_06
tests ‑ iso_retract_1_07
tests ‑ iso_retract_1_08
tests ‑ iso_retract_1_09
tests ‑ iso_retract_1_10
tests ‑ iso_retract_1_11
tests ‑ iso_retractall_1_01
tests ‑ iso_retractall_1_02
tests ‑ iso_retractall_1_03
tests ‑ iso_retractall_1_04
tests ‑ iso_retractall_1_05
tests ‑ iso_round_1_01
tests ‑ iso_round_1_02
tests ‑ iso_round_1_03
tests ‑ iso_round_1_04
tests ‑ iso_set_prolog_flag_2_01
tests ‑ iso_set_prolog_flag_2_02
tests ‑ iso_set_prolog_flag_2_03
tests ‑ iso_set_prolog_flag_2_04
tests ‑ iso_setof_3_01
tests ‑ iso_setof_3_02
tests ‑ iso_setof_3_03
tests ‑ iso_setof_3_04
tests ‑ iso_setof_3_05
tests ‑ iso_setof_3_06
tests ‑ iso_setof_3_07
tests ‑ iso_setof_3_08
tests ‑ iso_setof_3_09
tests ‑ iso_setof_3_10
tests ‑ iso_setof_3_11
tests ‑ iso_setof_3_12
tests ‑ iso_setof_3_13
tests ‑ iso_setof_3_14
tests ‑ iso_setof_3_15
tests ‑ iso_setof_3_16
tests ‑ iso_setof_3_17
tests ‑ iso_setof_3_18
tests ‑ iso_setof_3_19
tests ‑ iso_setof_3_20
tests ‑ iso_setof_3_21
tests ‑ iso_setof_3_22
tests ‑ iso_setof_3_23
tests ‑ iso_setof_3_24
tests ‑ iso_sin_1_01
tests ‑ iso_sin_1_02
tests ‑ iso_sin_1_03
tests ‑ iso_sin_1_04
tests ‑ iso_sin_1_05
tests ‑ iso_sort_2_01
tests ‑ iso_sort_2_03
tests ‑ iso_sort_2_04
tests ‑ iso_sort_2_05
tests ‑ iso_sqrt_1_01
tests ‑ iso_sqrt_1_02
tests ‑ iso_sqrt_1_03
tests ‑ iso_sqrt_1_04
tests ‑ iso_sqrt_1_05
tests ‑ iso_sqrt_1_06
tests ‑ iso_stream_property_2_01
tests ‑ iso_stream_property_2_02
tests ‑ iso_sub_atom_5_01
tests ‑ iso_sub_atom_5_02
tests ‑ iso_sub_atom_5_03
tests ‑ iso_sub_atom_5_04
tests ‑ iso_sub_atom_5_05
tests ‑ iso_sub_atom_5_06
tests ‑ iso_sub_atom_5_07
tests ‑ iso_subsumes_term_2_01
tests ‑ iso_subsumes_term_2_02
tests ‑ iso_subsumes_term_2_03
tests ‑ iso_subsumes_term_2_04
tests ‑ iso_subsumes_term_2_05
tests ‑ iso_subsumes_term_2_06
tests ‑ iso_tan_1_01
tests ‑ iso_term_01
tests ‑ iso_term_02
tests ‑ iso_term_03
tests ‑ iso_term_04
tests ‑ iso_term_05
tests ‑ iso_term_06
tests ‑ iso_term_07
tests ‑ iso_term_08
tests ‑ iso_term_comparison_01
tests ‑ iso_term_comparison_02
tests ‑ iso_term_comparison_03
tests ‑ iso_term_comparison_04
tests ‑ iso_term_comparison_05
tests ‑ iso_term_comparison_06
tests ‑ iso_term_comparison_07
tests ‑ iso_term_comparison_08
tests ‑ iso_term_comparison_09
tests ‑ iso_term_comparison_10
tests ‑ iso_term_comparison_11
tests ‑ iso_term_comparison_12
tests ‑ iso_term_comparison_13
tests ‑ iso_term_comparison_14
tests ‑ iso_term_comparison_15
tests ‑ iso_term_comparison_16
tests ‑ iso_term_comparison_17
tests ‑ iso_term_comparison_18
tests ‑ iso_term_comparison_19
tests ‑ iso_term_variables_2_01
tests ‑ iso_term_variables_2_02
tests ‑ iso_term_variables_2_03
tests ‑ iso_term_variables_2_04
tests ‑ iso_term_variables_2_05
tests ‑ iso_term_variables_2_06
tests ‑ iso_term_variables_2_07
tests ‑ iso_true_0_01
tests ‑ iso_truncate_1_01
tests ‑ iso_truncate_1_02
tests ‑ iso_unify_2_01
tests ‑ iso_unify_2_02
tests ‑ iso_unify_2_03
tests ‑ iso_unify_2_04
tests ‑ iso_unify_2_05
tests ‑ iso_unify_2_06
tests ‑ iso_unify_2_07
tests ‑ iso_unify_2_08
tests ‑ iso_unify_2_09
tests ‑ iso_unify_2_10
tests ‑ iso_unify_2_11
tests ‑ iso_unify_2_12
tests ‑ iso_unify_2_13
tests ‑ iso_unify_2_14
tests ‑ iso_unify_2_15
tests ‑ iso_unify_2_16
tests ‑ iso_unify_with_occurs_check_2_01
tests ‑ iso_unify_with_occurs_check_2_02
tests ‑ iso_unify_with_occurs_check_2_03
tests ‑ iso_unify_with_occurs_check_2_04
tests ‑ iso_unify_with_occurs_check_2_05
tests ‑ iso_unify_with_occurs_check_2_06
tests ‑ iso_unify_with_occurs_check_2_07
tests ‑ iso_unify_with_occurs_check_2_08
tests ‑ iso_unify_with_occurs_check_2_09
tests ‑ iso_unify_with_occurs_check_2_10
tests ‑ iso_unify_with_occurs_check_2_11
tests ‑ iso_unify_with_occurs_check_2_12
tests ‑ iso_unify_with_occurs_check_2_13
tests ‑ iso_unify_with_occurs_check_2_14
tests ‑ iso_unify_with_occurs_check_2_15
tests ‑ iso_unify_with_occurs_check_2_16
tests ‑ iso_univ_2_01
tests ‑ iso_univ_2_02
tests ‑ iso_univ_2_03
tests ‑ iso_univ_2_04
tests ‑ iso_univ_2_05
tests ‑ iso_univ_2_06
tests ‑ iso_univ_2_07
tests ‑ iso_univ_2_08
tests ‑ iso_univ_2_09
tests ‑ iso_univ_2_10
tests ‑ iso_univ_2_11
tests ‑ iso_univ_2_12
tests ‑ iso_univ_2_13
tests ‑ iso_univ_2_14
tests ‑ iso_univ_2_15
tests ‑ iso_var_1_01
tests ‑ iso_var_1_02
tests ‑ iso_var_1_03
tests ‑ iso_var_1_04
tests ‑ iso_variable_01
tests ‑ iso_variable_02
tests ‑ iso_variable_03
tests ‑ iso_variable_04
tests ‑ iso_variable_05
tests ‑ iso_write_term_3_001
tests ‑ iso_write_term_3_002
tests ‑ iso_write_term_3_003
tests ‑ iso_write_term_3_004
tests ‑ iso_write_term_3_005
tests ‑ iso_write_term_3_006
tests ‑ iso_write_term_3_007
tests ‑ iso_xor_2_01
tests ‑ iso_xor_2_02
tests ‑ iso_xor_2_03
tests ‑ lgt_abolish_1_16
tests ‑ lgt_abs_1_06
tests ‑ lgt_abs_1_07
tests ‑ lgt_acos_1_04
tests ‑ lgt_acos_1_05
tests ‑ lgt_acos_1_06
tests ‑ lgt_acos_1_07
tests ‑ lgt_acyclic_term_1_03
tests ‑ lgt_arg_3_17
tests ‑ lgt_arg_3_18
tests ‑ lgt_arg_3_19
tests ‑ lgt_arg_3_20
tests ‑ lgt_arg_3_21
tests ‑ lgt_arg_3_22
tests ‑ lgt_arithmetic_comparison_25
tests ‑ lgt_arithmetic_comparison_26
tests ‑ lgt_arithmetic_comparison_27
tests ‑ lgt_arithmetic_comparison_28
tests ‑ lgt_arithmetic_comparison_29
tests ‑ lgt_arithmetic_comparison_30
tests ‑ lgt_asin_1_04
tests ‑ lgt_asin_1_05
tests ‑ lgt_asin_1_06
tests ‑ lgt_asin_1_07
tests ‑ lgt_asserta_1_09
tests ‑ lgt_asserta_1_10
tests ‑ lgt_asserta_1_11
tests ‑ lgt_asserta_1_12
tests ‑ lgt_assertz_1_09
tests ‑ lgt_assertz_1_10
tests ‑ lgt_assertz_1_11
tests ‑ lgt_assertz_1_12
tests ‑ lgt_atan2_2_04
tests ‑ lgt_atan2_2_05
tests ‑ lgt_atan2_2_06
tests ‑ lgt_atan2_2_07
tests ‑ lgt_atan2_2_08
tests ‑ lgt_atan2_2_09
tests ‑ lgt_atan2_2_10
tests ‑ lgt_atan2_2_11
tests ‑ lgt_atan_1_06
tests ‑ lgt_atan_1_07
tests ‑ lgt_atom_09
tests ‑ lgt_atom_10
tests ‑ lgt_atom_11
tests ‑ lgt_atom_12
tests ‑ lgt_atom_13
tests ‑ lgt_atom_14
tests ‑ lgt_atom_15
tests ‑ lgt_atom_16
tests ‑ lgt_atom_17
tests ‑ lgt_atom_1_08
tests ‑ lgt_atom_1_09
tests ‑ lgt_atom_chars_2_16
tests ‑ lgt_atom_chars_2_17
tests ‑ lgt_atom_chars_2_18
tests ‑ lgt_atom_chars_2_19
tests ‑ lgt_atom_chars_2_20
tests ‑ lgt_atom_chars_2_21
tests ‑ lgt_atom_chars_2_22
tests ‑ lgt_atom_chars_2_23
tests ‑ lgt_atom_codes_2_12
tests ‑ lgt_atom_codes_2_13
tests ‑ lgt_atom_codes_2_14
tests ‑ lgt_atom_codes_2_15
tests ‑ lgt_atom_codes_2_16
tests ‑ lgt_atom_codes_2_17
tests ‑ lgt_atom_codes_2_18
tests ‑ lgt_atom_codes_2_19
tests ‑ lgt_atom_concat_3_15
tests ‑ lgt_atom_concat_3_16
tests ‑ lgt_atom_concat_3_17
tests ‑ lgt_atom_concat_3_18
tests ‑ lgt_atom_concat_3_19
tests ‑ lgt_atom_concat_3_20
tests ‑ lgt_atom_concat_3_21
tests ‑ lgt_atom_concat_3_22
tests ‑ lgt_atom_concat_3_23
tests ‑ lgt_atom_concat_3_24
tests ‑ lgt_atom_concat_3_25
tests ‑ lgt_atom_concat_3_26
tests ‑ lgt_atom_concat_3_27
tests ‑ lgt_atom_concat_3_28
tests ‑ lgt_atom_concat_3_29
tests ‑ lgt_atomic_1_06
tests ‑ lgt_atomic_1_07
tests ‑ lgt_atomic_1_08
tests ‑ lgt_bagof_3_20
tests ‑ lgt_bagof_3_21
tests ‑ lgt_bagof_3_22
tests ‑ lgt_bagof_3_23
tests ‑ lgt_bitwise_and_1_09
tests ‑ lgt_bitwise_and_2_08
tests ‑ lgt_bitwise_and_2_10
tests ‑ lgt_bitwise_and_2_11
tests ‑ lgt_bitwise_and_2_12
tests ‑ lgt_bitwise_and_2_13
tests ‑ lgt_bitwise_and_2_14
tests ‑ lgt_bitwise_complement_1_06
tests ‑ lgt_bitwise_complement_1_07
tests ‑ lgt_bitwise_complement_1_08
tests ‑ lgt_bitwise_complement_1_09
tests ‑ lgt_bitwise_left_shift_1_08
tests ‑ lgt_bitwise_left_shift_2_07
tests ‑ lgt_bitwise_left_shift_2_09
tests ‑ lgt_bitwise_left_shift_2_10
tests ‑ lgt_bitwise_left_shift_2_11
tests ‑ lgt_bitwise_left_shift_2_12
tests ‑ lgt_bitwise_left_shift_2_13
tests ‑ lgt_bitwise_or_1_09
tests ‑ lgt_bitwise_or_2_08
tests ‑ lgt_bitwise_or_2_10
tests ‑ lgt_bitwise_or_2_11
tests ‑ lgt_bitwise_or_2_12
tests ‑ lgt_bitwise_or_2_13
tests ‑ lgt_bitwise_or_2_14
tests ‑ lgt_bitwise_right_shift_1_08
tests ‑ lgt_bitwise_right_shift_2_07
tests ‑ lgt_bitwise_right_shift_2_09
tests ‑ lgt_bitwise_right_shift_2_10
tests ‑ lgt_bitwise_right_shift_2_11
tests ‑ lgt_bitwise_right_shift_2_12
tests ‑ lgt_bitwise_right_shift_2_13
tests ‑ lgt_call_1_16
tests ‑ lgt_call_1_17
tests ‑ lgt_call_1_18
tests ‑ lgt_call_1_19
tests ‑ lgt_call_1_20
tests ‑ lgt_call_N_09
tests ‑ lgt_call_N_10
tests ‑ lgt_call_N_11
tests ‑ lgt_call_N_12
tests ‑ lgt_call_N_13
tests ‑ lgt_call_N_14
tests ‑ lgt_call_N_15
tests ‑ lgt_call_N_16
tests ‑ lgt_call_N_17
tests ‑ lgt_call_N_18
tests ‑ lgt_call_N_19
tests ‑ lgt_call_N_20
tests ‑ lgt_call_N_21
tests ‑ lgt_call_N_22
tests ‑ lgt_call_N_23
tests ‑ lgt_call_N_24
tests ‑ lgt_call_nth_2_01
tests ‑ lgt_call_nth_2_03
tests ‑ lgt_call_nth_2_04
tests ‑ lgt_call_nth_2_05
tests ‑ lgt_call_nth_2_06
tests ‑ lgt_call_nth_2_07
tests ‑ lgt_call_nth_2_08
tests ‑ lgt_call_nth_2_09
tests ‑ lgt_call_nth_2_10
tests ‑ lgt_call_nth_2_11
tests ‑ lgt_callable_1_05
tests ‑ lgt_callable_1_06
tests ‑ lgt_callable_1_07
tests ‑ lgt_callable_1_08
tests ‑ lgt_callable_1_09
tests ‑ lgt_catch_3_09
tests ‑ lgt_catch_3_10
tests ‑ lgt_catch_3_11
tests ‑ lgt_catch_3_12
tests ‑ lgt_catch_3_13
tests ‑ lgt_catch_3_14
tests ‑ lgt_ceiling_1_04
tests ‑ lgt_ceiling_1_06
tests ‑ lgt_ceiling_1_07
tests ‑ lgt_char_code_2_10
tests ‑ lgt_char_code_2_11
tests ‑ lgt_char_code_2_12
tests ‑ lgt_close_1_04
tests ‑ lgt_close_1_07
tests ‑ lgt_close_1_08
tests ‑ lgt_close_1_09
tests ‑ lgt_close_1_10
tests ‑ lgt_close_1_11
tests ‑ lgt_close_2_01
tests ‑ lgt_close_2_02
tests ‑ lgt_close_2_08
tests ‑ lgt_close_2_09
tests ‑ lgt_close_2_12
tests ‑ lgt_close_2_13
tests ‑ lgt_close_2_14
tests ‑ lgt_close_2_15
tests ‑ lgt_close_2_16
tests ‑ lgt_close_2_17
tests ‑ lgt_close_2_18
tests ‑ lgt_compare_3_07
tests ‑ lgt_compare_3_08
tests ‑ lgt_compare_3_09
tests ‑ lgt_compare_3_10
tests ‑ lgt_compare_3_11
tests ‑ lgt_compare_3_12
tests ‑ lgt_compare_3_13
tests ‑ lgt_compare_3_14
tests ‑ lgt_compare_3_15
tests ‑ lgt_compare_3_16
tests ‑ lgt_compare_3_17
tests ‑ lgt_compare_3_18
tests ‑ lgt_compare_3_19
tests ‑ lgt_compare_3_20
tests ‑ lgt_compare_3_21
tests ‑ lgt_compare_3_22
tests ‑ lgt_compare_3_23
tests ‑ lgt_compare_3_24
tests ‑ lgt_compare_3_25
tests ‑ lgt_compare_3_26
tests ‑ lgt_compare_3_27
tests ‑ lgt_compare_3_28
tests ‑ lgt_compare_3_29
tests ‑ lgt_compare_3_30
tests ‑ lgt_compound_01
tests ‑ lgt_compound_02
tests ‑ lgt_compound_03
tests ‑ lgt_compound_1_09
tests ‑ lgt_compound_1_10
tests ‑ lgt_compound_1_11
tests ‑ lgt_compound_1_12
tests ‑ lgt_conjunction_2_04
tests ‑ lgt_conjunction_2_05
tests ‑ lgt_copy_term_2_12
tests ‑ lgt_copy_term_2_13
tests ‑ lgt_copy_term_2_14
tests ‑ lgt_copy_term_2_15
tests ‑ lgt_cos_1_06
tests ‑ lgt_cos_1_07
tests ‑ lgt_curly_bracketed_term_03
tests ‑ lgt_curly_bracketed_term_04
tests ‑ lgt_curly_bracketed_term_05
tests ‑ lgt_curly_bracketed_term_06
tests ‑ lgt_curly_bracketed_term_07
tests ‑ lgt_curly_bracketed_term_08
tests ‑ lgt_curly_bracketed_term_09
tests ‑ lgt_curly_bracketed_term_10
tests ‑ lgt_curly_bracketed_term_11
tests ‑ lgt_current_input_1_06
tests ‑ lgt_current_predicate_1_13
tests ‑ lgt_current_predicate_1_14
tests ‑ lgt_current_predicate_1_15
tests ‑ lgt_current_predicate_1_16
tests ‑ lgt_current_predicate_1_17
tests ‑ lgt_current_predicate_1_18
tests ‑ lgt_current_predicate_1_19
tests ‑ lgt_current_predicate_1_20
tests ‑ lgt_current_predicate_1_21
tests ‑ lgt_current_prolog_flag_2_19
tests ‑ lgt_current_prolog_flag_2_20
tests ‑ lgt_current_prolog_flag_2_21
tests ‑ lgt_disjunction_2_06
tests ‑ lgt_disjunction_2_07
tests ‑ lgt_div_2_01
tests ‑ lgt_div_2_02
tests ‑ lgt_div_2_03
tests ‑ lgt_div_2_04
tests ‑ lgt_div_2_05
tests ‑ lgt_div_2_06
tests ‑ lgt_div_2_07
tests ‑ lgt_div_2_08
tests ‑ lgt_div_2_09
tests ‑ lgt_div_2_10
tests ‑ lgt_double_quoted_term_13
tests ‑ lgt_double_quoted_term_14
tests ‑ lgt_double_quoted_term_15
tests ‑ lgt_double_quoted_term_16
tests ‑ lgt_double_quoted_term_17
tests ‑ lgt_double_quoted_term_18
tests ‑ lgt_double_quoted_term_19
tests ‑ lgt_double_quoted_term_20
tests ‑ lgt_e_0_01
tests ‑ lgt_epsilon_0_01
tests ‑ lgt_epsilon_0_02
tests ‑ lgt_epsilon_0_03
tests ‑ lgt_epsilon_0_04
tests ‑ lgt_epsilon_0_05
tests ‑ lgt_exp_1_06
tests ‑ lgt_exp_1_07
tests ‑ lgt_exp_1_08
tests ‑ lgt_findall_3_11
tests ‑ lgt_findall_3_12
tests ‑ lgt_findall_3_13
tests ‑ lgt_float_division_2_01
tests ‑ lgt_float_division_2_02
tests ‑ lgt_float_division_2_03
tests ‑ lgt_float_division_2_04
tests ‑ lgt_float_division_2_05
tests ‑ lgt_float_division_2_06
tests ‑ lgt_float_division_2_07
tests ‑ lgt_float_division_2_08
tests ‑ lgt_float_division_2_09
tests ‑ lgt_float_division_2_10
tests ‑ lgt_float_division_2_11
tests ‑ lgt_float_division_2_12
tests ‑ lgt_float_division_2_13
tests ‑ lgt_float_division_2_14
tests ‑ lgt_float_fractional_part_1_01
tests ‑ lgt_float_fractional_part_1_02
tests ‑ lgt_float_fractional_part_1_03
tests ‑ lgt_float_fractional_part_1_05
tests ‑ lgt_float_fractional_part_1_06
tests ‑ lgt_float_integer_part_1_01
tests ‑ lgt_float_integer_part_1_02
tests ‑ lgt_float_integer_part_1_03
tests ‑ lgt_float_integer_part_1_05
tests ‑ lgt_float_integer_part_1_06
tests ‑ lgt_floor_1_05
tests ‑ lgt_floor_1_07
tests ‑ lgt_floor_1_08
tests ‑ lgt_functor_3_19
tests ‑ lgt_gcd_2_01
tests ‑ lgt_gcd_2_02
tests ‑ lgt_gcd_2_03
tests ‑ lgt_gcd_2_04
tests ‑ lgt_gcd_2_05
tests ‑ lgt_gcd_2_06
tests ‑ lgt_gcd_2_07
tests ‑ lgt_gcd_2_08
tests ‑ lgt_gcd_2_09
tests ‑ lgt_gcd_2_10
tests ‑ lgt_gcd_2_11
tests ‑ lgt_gcd_2_12
tests ‑ lgt_get_byte_2_15
tests ‑ lgt_get_byte_2_16
tests ‑ lgt_get_byte_2_17
tests ‑ lgt_get_byte_2_18
tests ‑ lgt_get_byte_2_19
tests ‑ lgt_get_byte_2_20
tests ‑ lgt_get_byte_2_21
tests ‑ lgt_get_byte_2_22
tests ‑ lgt_get_byte_2_23
tests ‑ lgt_get_byte_2_24
tests ‑ lgt_get_byte_2_25
tests ‑ lgt_get_byte_2_26
tests ‑ lgt_get_byte_2_27
tests ‑ lgt_get_char_2_18
tests ‑ lgt_get_char_2_19
tests ‑ lgt_get_char_2_20
tests ‑ lgt_get_char_2_21
tests ‑ lgt_get_char_2_22
tests ‑ lgt_get_code_2_20
tests ‑ lgt_get_code_2_21
tests ‑ lgt_get_code_2_22
tests ‑ lgt_get_code_2_23
tests ‑ lgt_get_code_2_24
tests ‑ lgt_ground_1_07
tests ‑ lgt_ground_1_08
tests ‑ lgt_if_then_2_07
tests ‑ lgt_if_then_2_08
tests ‑ lgt_if_then_2_09
tests ‑ lgt_if_then_2_10
tests ‑ lgt_if_then_2_11
tests ‑ lgt_if_then_else_3_11
tests ‑ lgt_if_then_else_3_12
tests ‑ lgt_if_then_else_3_13
tests ‑ lgt_integer_1_06
tests ‑ lgt_integer_division_2_01
tests ‑ lgt_integer_division_2_02
tests ‑ lgt_integer_division_2_03
tests ‑ lgt_integer_division_2_04
tests ‑ lgt_integer_division_2_05
tests ‑ lgt_integer_division_2_06
tests ‑ lgt_integer_division_2_07
tests ‑ lgt_integer_division_2_08
tests ‑ lgt_integer_division_2_09
tests ‑ lgt_integer_division_2_10
tests ‑ lgt_integer_division_2_11
tests ‑ lgt_integer_division_2_12
tests ‑ lgt_integer_power_2_10
tests ‑ lgt_integer_power_2_11
tests ‑ lgt_integer_power_2_12
tests ‑ lgt_integer_power_2_13
tests ‑ lgt_integer_power_2_14
tests ‑ lgt_integer_power_2_15
tests ‑ lgt_integer_power_2_16
tests ‑ lgt_integer_power_2_17
tests ‑ lgt_integer_power_2_18
tests ‑ lgt_integer_power_2_19
tests ‑ lgt_integer_power_2_20
tests ‑ lgt_integer_power_2_21
tests ‑ lgt_is_2_36
tests ‑ lgt_is_2_37
tests ‑ lgt_is_2_38
tests ‑ lgt_is_2_39
tests ‑ lgt_is_2_40
tests ‑ lgt_is_2_41
tests ‑ lgt_is_2_42
tests ‑ lgt_is_2_43
tests ‑ lgt_is_2_44
tests ‑ lgt_is_2_45
tests ‑ lgt_is_2_46
tests ‑ lgt_is_2_47
tests ‑ lgt_is_2_48
tests ‑ lgt_keysort_2_15
tests ‑ lgt_keysort_2_16
tests ‑ lgt_keysort_2_17
tests ‑ lgt_keysort_2_18
tests ‑ lgt_keysort_2_19
tests ‑ lgt_keysort_2_20
tests ‑ lgt_keysort_2_21
tests ‑ lgt_list_04
tests ‑ lgt_list_05
tests ‑ lgt_list_06
tests ‑ lgt_list_07
tests ‑ lgt_list_08
tests ‑ lgt_list_09
tests ‑ lgt_list_10
tests ‑ lgt_log_1_08
tests ‑ lgt_log_1_09
tests ‑ lgt_max_2_05
tests ‑ lgt_max_2_06
tests ‑ lgt_max_2_07
tests ‑ lgt_max_2_08
tests ‑ lgt_max_2_09
tests ‑ lgt_max_2_10
tests ‑ lgt_max_2_11
tests ‑ lgt_max_2_12
tests ‑ lgt_max_2_13
tests ‑ lgt_min_2_05
tests ‑ lgt_min_2_06
tests ‑ lgt_min_2_07
tests ‑ lgt_min_2_08
tests ‑ lgt_min_2_09
tests ‑ lgt_min_2_10
tests ‑ lgt_min_2_11
tests ‑ lgt_min_2_12
tests ‑ lgt_min_2_13
tests ‑ lgt_minus_1_01
tests ‑ lgt_minus_1_02
tests ‑ lgt_minus_1_03
tests ‑ lgt_minus_1_04
tests ‑ lgt_minus_1_05
tests ‑ lgt_minus_1_06
tests ‑ lgt_minus_1_07
tests ‑ lgt_minus_2_01
tests ‑ lgt_minus_2_02
tests ‑ lgt_minus_2_03
tests ‑ lgt_minus_2_04
tests ‑ lgt_minus_2_05
tests ‑ lgt_minus_2_06
tests ‑ lgt_minus_2_07
tests ‑ lgt_minus_2_08
tests ‑ lgt_minus_2_09
tests ‑ lgt_minus_2_10
tests ‑ lgt_minus_2_11
tests ‑ lgt_mod_2_08
tests ‑ lgt_mod_2_09
tests ‑ lgt_mod_2_10
tests ‑ lgt_multiplication_2_01
tests ‑ lgt_multiplication_2_02
tests ‑ lgt_multiplication_2_03
tests ‑ lgt_multiplication_2_04
tests ‑ lgt_multiplication_2_05
tests ‑ lgt_multiplication_2_06
tests ‑ lgt_multiplication_2_07
tests ‑ lgt_multiplication_2_08
tests ‑ lgt_multiplication_2_09
tests ‑ lgt_multiplication_2_10
tests ‑ lgt_multiplication_2_11
tests ‑ lgt_multiplication_2_12
tests ‑ lgt_multiplication_2_13
tests ‑ lgt_multiplication_2_14
tests ‑ lgt_multiplication_2_15
tests ‑ lgt_nl_0_01
tests ‑ lgt_nl_1_03
tests ‑ lgt_not_1_09
tests ‑ lgt_not_1_10
tests ‑ lgt_number_15
tests ‑ lgt_number_16
tests ‑ lgt_number_17
tests ‑ lgt_number_18
tests ‑ lgt_number_19
tests ‑ lgt_number_1_08
tests ‑ lgt_number_1_09
tests ‑ lgt_number_20
tests ‑ lgt_number_21
tests ‑ lgt_number_22
tests ‑ lgt_number_23
tests ‑ lgt_number_24
tests ‑ lgt_number_25
tests ‑ lgt_number_29
tests ‑ lgt_number_31
tests ‑ lgt_number_32
tests ‑ lgt_number_33
tests ‑ lgt_number_34
tests ‑ lgt_number_35
tests ‑ lgt_number_36
tests ‑ lgt_number_37
tests ‑ lgt_number_38
tests ‑ lgt_number_39
tests ‑ lgt_number_40
tests ‑ lgt_number_41
tests ‑ lgt_number_42
tests ‑ lgt_number_43
tests ‑ lgt_number_chars_2_31
tests ‑ lgt_number_chars_2_32
tests ‑ lgt_number_chars_2_41
tests ‑ lgt_number_chars_2_42
tests ‑ lgt_number_chars_2_43
tests ‑ lgt_number_chars_2_44
tests ‑ lgt_number_codes_2_25
tests ‑ lgt_number_codes_2_26
tests ‑ lgt_number_codes_2_27
tests ‑ lgt_number_codes_2_28
tests ‑ lgt_number_codes_2_29
tests ‑ lgt_number_codes_2_30
tests ‑ lgt_number_codes_2_31
tests ‑ lgt_numbervars_3_16
tests ‑ lgt_numbervars_3_17
tests ‑ lgt_once_1_08
tests ‑ lgt_op_3_31
tests ‑ lgt_op_3_32
tests ‑ lgt_op_3_33
tests ‑ lgt_open_4_17
tests ‑ lgt_open_4_18
tests ‑ lgt_open_4_19
tests ‑ lgt_open_4_20
tests ‑ lgt_open_4_22
tests ‑ lgt_open_4_24
tests ‑ lgt_open_4_25
tests ‑ lgt_open_4_26
tests ‑ lgt_open_4_27
tests ‑ lgt_open_4_28
tests ‑ lgt_open_4_29
tests ‑ lgt_open_4_30
tests ‑ lgt_open_4_31
tests ‑ lgt_open_4_33
tests ‑ lgt_open_4_34
tests ‑ lgt_open_4_35
tests ‑ lgt_open_4_36
tests ‑ lgt_open_4_37
tests ‑ lgt_open_4_38
tests ‑ lgt_open_4_39
tests ‑ lgt_open_4_40
tests ‑ lgt_open_4_41
tests ‑ lgt_open_4_42
tests ‑ lgt_open_4_43
tests ‑ lgt_operators_16
tests ‑ lgt_operators_17
tests ‑ lgt_operators_18
tests ‑ lgt_operators_19
tests ‑ lgt_operators_20
tests ‑ lgt_operators_21
tests ‑ lgt_operators_22
tests ‑ lgt_operators_23
tests ‑ lgt_operators_24
tests ‑ lgt_operators_25
tests ‑ lgt_operators_26
tests ‑ lgt_operators_27
tests ‑ lgt_operators_28
tests ‑ lgt_operators_29
tests ‑ lgt_operators_30
tests ‑ lgt_operators_31
tests ‑ lgt_operators_32
tests ‑ lgt_operators_33
tests ‑ lgt_operators_34
tests ‑ lgt_operators_35
tests ‑ lgt_operators_36
tests ‑ lgt_operators_37
tests ‑ lgt_operators_38
tests ‑ lgt_operators_39
tests ‑ lgt_operators_40
tests ‑ lgt_operators_41
tests ‑ lgt_operators_42
tests ‑ lgt_operators_43
tests ‑ lgt_operators_44
tests ‑ lgt_operators_45
tests ‑ lgt_operators_46
tests ‑ lgt_operators_47
tests ‑ lgt_operators_48
tests ‑ lgt_operators_49
tests ‑ lgt_operators_50
tests ‑ lgt_operators_51
tests ‑ lgt_operators_52
tests ‑ lgt_operators_53
tests ‑ lgt_operators_54
tests ‑ lgt_operators_55
tests ‑ lgt_operators_56
tests ‑ lgt_operators_57
tests ‑ lgt_peek_byte_2_16
tests ‑ lgt_peek_byte_2_17
tests ‑ lgt_peek_byte_2_18
tests ‑ lgt_peek_byte_2_19
tests ‑ lgt_peek_byte_2_20
tests ‑ lgt_peek_byte_2_21
tests ‑ lgt_peek_byte_2_22
tests ‑ lgt_peek_byte_2_23
tests ‑ lgt_peek_byte_2_24
tests ‑ lgt_peek_byte_2_25
tests ‑ lgt_peek_byte_2_26
tests ‑ lgt_peek_byte_2_27
tests ‑ lgt_peek_char_2_19
tests ‑ lgt_peek_char_2_20
tests ‑ lgt_peek_char_2_21
tests ‑ lgt_peek_code_2_20
tests ‑ lgt_peek_code_2_21
tests ‑ lgt_peek_code_2_22
tests ‑ lgt_peek_code_2_23
tests ‑ lgt_plus_1_01
tests ‑ lgt_plus_1_02
tests ‑ lgt_plus_1_03
tests ‑ lgt_plus_1_04
tests ‑ lgt_plus_1_05
tests ‑ lgt_plus_1_06
tests ‑ lgt_plus_1_07
tests ‑ lgt_plus_2_01
tests ‑ lgt_plus_2_02
tests ‑ lgt_plus_2_03
tests ‑ lgt_plus_2_04
tests ‑ lgt_plus_2_05
tests ‑ lgt_plus_2_06
tests ‑ lgt_plus_2_07
tests ‑ lgt_plus_2_08
tests ‑ lgt_plus_2_09
tests ‑ lgt_plus_2_10
tests ‑ lgt_plus_2_11
tests ‑ lgt_power_2_08
tests ‑ lgt_power_2_14
tests ‑ lgt_power_2_15
tests ‑ lgt_power_2_16
tests ‑ lgt_predicate_property_2_13
tests ‑ lgt_predicate_property_2_14
tests ‑ lgt_predicate_property_2_15
tests ‑ lgt_predicate_property_2_16
tests ‑ lgt_predicate_property_2_17
tests ‑ lgt_predicate_property_2_18
tests ‑ lgt_predicate_property_2_19
tests ‑ lgt_predicate_property_2_20
tests ‑ lgt_predicate_property_2_21
tests ‑ lgt_predicate_property_2_22
tests ‑ lgt_predicate_property_2_23
tests ‑ lgt_put_byte_2_14
tests ‑ lgt_put_byte_2_15
tests ‑ lgt_put_byte_2_16
tests ‑ lgt_put_byte_2_17
tests ‑ lgt_put_byte_2_18
tests ‑ lgt_put_byte_2_19
tests ‑ lgt_put_byte_2_20
tests ‑ lgt_put_byte_2_21
tests ‑ lgt_put_char_2_13
tests ‑ lgt_put_char_2_14
tests ‑ lgt_put_char_2_15
tests ‑ lgt_put_char_2_16
tests ‑ lgt_put_code_2_13
tests ‑ lgt_put_code_2_14
tests ‑ lgt_put_code_2_15
tests ‑ lgt_put_code_2_16
tests ‑ lgt_read_term_3_25
tests ‑ lgt_read_term_3_26
tests ‑ lgt_read_term_3_27
tests ‑ lgt_read_term_3_28
tests ‑ lgt_read_term_3_29
tests ‑ lgt_read_term_3_30
tests ‑ lgt_read_term_3_31
tests ‑ lgt_read_term_3_38
tests ‑ lgt_read_term_3_39
tests ‑ lgt_rem_2_01
tests ‑ lgt_rem_2_02
tests ‑ lgt_rem_2_03
tests ‑ lgt_rem_2_04
tests ‑ lgt_rem_2_05
tests ‑ lgt_rem_2_06
tests ‑ lgt_rem_2_07
tests ‑ lgt_rem_2_08
tests ‑ lgt_rem_2_09
tests ‑ lgt_rem_2_10
tests ‑ lgt_retract_1_12
tests ‑ lgt_retract_1_13
tests ‑ lgt_retractall_1_06
tests ‑ lgt_retractall_1_07
tests ‑ lgt_retractall_1_08
tests ‑ lgt_retractall_1_12
tests ‑ lgt_retractall_1_13
tests ‑ lgt_retractall_1_14
tests ‑ lgt_round_1_10
tests ‑ lgt_round_1_11
tests ‑ lgt_set_prolog_flag_2_07
tests ‑ lgt_set_prolog_flag_2_08
tests ‑ lgt_set_prolog_flag_2_09
tests ‑ lgt_set_prolog_flag_2_11
tests ‑ lgt_set_prolog_flag_2_14
tests ‑ lgt_set_prolog_flag_2_15
tests ‑ lgt_set_prolog_flag_2_16
tests ‑ lgt_set_prolog_flag_2_17
tests ‑ lgt_set_prolog_flag_2_18
tests ‑ lgt_set_prolog_flag_2_19
tests ‑ lgt_set_stream_position_2_07
tests ‑ lgt_set_stream_position_2_08
tests ‑ lgt_setof_3_32
tests ‑ lgt_setof_3_33
tests ‑ lgt_setof_3_34
tests ‑ lgt_setof_3_35
tests ‑ lgt_setof_3_36
tests ‑ lgt_setof_3_37
tests ‑ lgt_setup_call_cleanup_3_12
tests ‑ lgt_setup_call_cleanup_3_13
tests ‑ lgt_setup_call_cleanup_3_14
tests ‑ lgt_setup_call_cleanup_3_15
tests ‑ lgt_setup_call_cleanup_3_16
tests ‑ lgt_setup_call_cleanup_3_17
tests ‑ lgt_setup_call_cleanup_3_18
tests ‑ lgt_setup_call_cleanup_3_19
tests ‑ lgt_setup_call_cleanup_3_20
tests ‑ lgt_setup_call_cleanup_3_21
tests ‑ lgt_setup_call_cleanup_3_22
tests ‑ lgt_setup_call_cleanup_3_23
tests ‑ lgt_setup_call_cleanup_3_24
tests ‑ lgt_setup_call_cleanup_3_25
tests ‑ lgt_setup_call_cleanup_3_26
tests ‑ lgt_sin_1_06
tests ‑ lgt_sin_1_07
tests ‑ lgt_soft_cut_2_3_16
tests ‑ lgt_soft_cut_2_3_17
tests ‑ lgt_soft_cut_2_3_18
tests ‑ lgt_soft_cut_2_3_19
tests ‑ lgt_soft_cut_2_3_20
tests ‑ lgt_soft_cut_2_3_21
tests ‑ lgt_soft_cut_2_3_22
tests ‑ lgt_sort_2_12
tests ‑ lgt_sort_2_13
tests ‑ lgt_sort_2_14
tests ‑ lgt_sort_2_15
tests ‑ lgt_sort_2_16
tests ‑ lgt_sort_2_17
tests ‑ lgt_sort_2_18
tests ‑ lgt_sqrt_1_07
tests ‑ lgt_sqrt_1_08
tests ‑ lgt_stream_property_2_08a
tests ‑ lgt_stream_property_2_08c
tests ‑ lgt_stream_property_2_08d
tests ‑ lgt_stream_property_2_08e
tests ‑ lgt_stream_property_2_09a
tests ‑ lgt_stream_property_2_09b
tests ‑ lgt_stream_property_2_09d
tests ‑ lgt_stream_property_2_09e
tests ‑ lgt_stream_property_2_10b
tests ‑ lgt_stream_property_2_11
tests ‑ lgt_stream_property_2_12
tests ‑ lgt_stream_property_2_13
tests ‑ lgt_stream_property_2_14
tests ‑ lgt_stream_property_2_15
tests ‑ lgt_stream_property_2_16
tests ‑ lgt_stream_property_2_17
tests ‑ lgt_stream_property_2_18
tests ‑ lgt_stream_property_2_19
tests ‑ lgt_stream_property_2_20
tests ‑ lgt_stream_property_2_21
tests ‑ lgt_stream_property_2_22
tests ‑ lgt_stream_property_2_23
tests ‑ lgt_stream_property_2_24
tests ‑ lgt_stream_property_2_25
tests ‑ lgt_stream_property_2_26
tests ‑ lgt_stream_property_2_27
tests ‑ lgt_stream_property_2_28
tests ‑ lgt_stream_property_2_31
tests ‑ lgt_stream_property_2_32
tests ‑ lgt_stream_property_2_33
tests ‑ lgt_stream_property_2_34
tests ‑ lgt_stream_property_2_35
tests ‑ lgt_stream_property_2_36
tests ‑ lgt_stream_property_2_37
tests ‑ lgt_stream_property_2_38
tests ‑ lgt_stream_property_2_39
tests ‑ lgt_stream_property_2_40
tests ‑ lgt_stream_property_2_41
tests ‑ lgt_stream_property_2_42
tests ‑ lgt_stream_property_2_43
tests ‑ lgt_stream_property_2_44
tests ‑ lgt_stream_property_2_45
tests ‑ lgt_stream_property_2_46
tests ‑ lgt_stream_property_2_47
tests ‑ lgt_stream_property_2_48
tests ‑ lgt_stream_property_2_49
tests ‑ lgt_stream_property_2_50
tests ‑ lgt_stream_property_2_51
tests ‑ lgt_stream_property_2_52
tests ‑ lgt_stream_property_2_53
tests ‑ lgt_sub_atom_5_34
tests ‑ lgt_sub_atom_5_35
tests ‑ lgt_sub_atom_5_36
tests ‑ lgt_sub_atom_5_37
tests ‑ lgt_sub_atom_5_38
tests ‑ lgt_sub_atom_5_39
tests ‑ lgt_sub_atom_5_40
tests ‑ lgt_sub_atom_5_41
tests ‑ lgt_sub_atom_5_42
tests ‑ lgt_sub_atom_5_43
tests ‑ lgt_sub_atom_5_44
tests ‑ lgt_subsumes_term_2_07
tests ‑ lgt_subsumes_term_2_08
tests ‑ lgt_subsumes_term_2_09
tests ‑ lgt_subsumes_term_2_10
tests ‑ lgt_subsumes_term_2_11
tests ‑ lgt_subsumes_term_2_12
tests ‑ lgt_subsumes_term_2_13
tests ‑ lgt_subsumes_term_2_14
tests ‑ lgt_subsumes_term_2_15
tests ‑ lgt_subsumes_term_2_16
tests ‑ lgt_subsumes_term_2_17
tests ‑ lgt_tan_1_02
tests ‑ lgt_tan_1_03
tests ‑ lgt_tan_1_04
tests ‑ lgt_tan_1_05
tests ‑ lgt_term_comparison_20
tests ‑ lgt_term_comparison_21
tests ‑ lgt_term_comparison_22
tests ‑ lgt_term_comparison_23
tests ‑ lgt_term_comparison_24
tests ‑ lgt_term_comparison_25
tests ‑ lgt_term_comparison_26
tests ‑ lgt_term_comparison_27
tests ‑ lgt_term_comparison_28
tests ‑ lgt_term_comparison_29
tests ‑ lgt_term_comparison_30
tests ‑ lgt_term_comparison_31
tests ‑ lgt_term_comparison_32
tests ‑ lgt_term_comparison_33
tests ‑ lgt_term_comparison_34
tests ‑ lgt_term_comparison_35
tests ‑ lgt_term_comparison_36
tests ‑ lgt_term_comparison_37
tests ‑ lgt_term_comparison_38
tests ‑ lgt_term_comparison_39
tests ‑ lgt_term_comparison_40
tests ‑ lgt_term_variables_2_11
tests ‑ lgt_term_variables_2_12
tests ‑ lgt_throw_1_01
tests ‑ lgt_throw_1_02
tests ‑ lgt_throw_1_03
tests ‑ lgt_truncate_1_05
tests ‑ lgt_truncate_1_07
tests ‑ lgt_unify_with_occurs_check_2_17
tests ‑ lgt_unify_with_occurs_check_2_18
tests ‑ lgt_unify_with_occurs_check_2_19
tests ‑ lgt_univ_2_19
tests ‑ lgt_univ_2_20
tests ‑ lgt_univ_2_21
tests ‑ lgt_univ_2_22
tests ‑ lgt_univ_2_23
tests ‑ lgt_univ_2_24
tests ‑ lgt_univ_2_25
tests ‑ lgt_univ_2_26
tests ‑ lgt_univ_2_27
tests ‑ lgt_univ_2_28
tests ‑ lgt_write_term_3_023
tests ‑ lgt_write_term_3_024
tests ‑ lgt_write_term_3_025
tests ‑ lgt_write_term_3_026
tests ‑ lgt_write_term_3_027
tests ‑ lgt_write_term_3_028
tests ‑ lgt_write_term_3_029
tests ‑ lgt_write_term_3_030
tests ‑ lgt_write_term_3_031
tests ‑ lgt_write_term_3_032
tests ‑ lgt_write_term_3_033
tests ‑ lgt_write_term_3_034
tests ‑ lgt_write_term_3_035
tests ‑ lgt_write_term_3_036
tests ‑ lgt_write_term_3_037
tests ‑ lgt_write_term_3_038
tests ‑ lgt_write_term_3_039
tests ‑ lgt_write_term_3_040
tests ‑ lgt_write_term_3_041
tests ‑ lgt_write_term_3_042
tests ‑ lgt_write_term_3_043
tests ‑ lgt_write_term_3_044
tests ‑ lgt_write_term_3_045
tests ‑ lgt_write_term_3_046
tests ‑ lgt_write_term_3_047
tests ‑ lgt_write_term_3_048
tests ‑ lgt_write_term_3_049
tests ‑ lgt_write_term_3_050
tests ‑ lgt_write_term_3_051
tests ‑ lgt_write_term_3_052
tests ‑ lgt_write_term_3_053
tests ‑ lgt_write_term_3_054
tests ‑ lgt_write_term_3_055
tests ‑ lgt_write_term_3_056
tests ‑ lgt_write_term_3_057
tests ‑ lgt_write_term_3_058
tests ‑ lgt_write_term_3_059
tests ‑ lgt_write_term_3_060
tests ‑ lgt_write_term_3_061
tests ‑ lgt_write_term_3_062
tests ‑ lgt_write_term_3_063
tests ‑ lgt_write_term_3_064
tests ‑ lgt_write_term_3_065
tests ‑ lgt_write_term_3_066
tests ‑ lgt_write_term_3_067
tests ‑ lgt_write_term_3_068
tests ‑ lgt_write_term_3_069
tests ‑ lgt_write_term_3_070
tests ‑ lgt_write_term_3_071
tests ‑ lgt_write_term_3_072
tests ‑ lgt_write_term_3_073
tests ‑ lgt_write_term_3_074
tests ‑ lgt_write_term_3_075
tests ‑ lgt_write_term_3_076
tests ‑ lgt_write_term_3_077
tests ‑ lgt_write_term_3_078
tests ‑ lgt_write_term_3_079
tests ‑ lgt_write_term_3_080
tests ‑ lgt_write_term_3_081
tests ‑ lgt_write_term_3_082
tests ‑ lgt_write_term_3_083
tests ‑ lgt_write_term_3_084
tests ‑ lgt_write_term_3_085
tests ‑ lgt_write_term_3_086
tests ‑ lgt_write_term_3_087
tests ‑ lgt_write_term_3_088
tests ‑ lgt_write_term_3_089
tests ‑ lgt_write_term_3_090
tests ‑ lgt_write_term_3_091
tests ‑ lgt_write_term_3_092
tests ‑ lgt_write_term_3_093
tests ‑ lgt_write_term_3_094
tests ‑ lgt_write_term_3_095
tests ‑ lgt_write_term_3_096
tests ‑ lgt_write_term_3_097
tests ‑ lgt_write_term_3_098
tests ‑ lgt_write_term_3_099
tests ‑ lgt_write_term_3_100
tests ‑ lgt_write_term_3_101
tests ‑ lgt_write_term_3_102
tests ‑ lgt_write_term_3_113
tests ‑ lgt_write_term_3_114
tests ‑ lgt_write_term_3_115
tests ‑ lgt_write_term_3_116
tests ‑ lgt_write_term_3_117
tests ‑ lgt_write_term_3_118
tests ‑ lgt_write_term_3_119
tests ‑ lgt_write_term_3_120
tests ‑ lgt_write_term_3_121
tests ‑ lgt_write_term_3_122
tests ‑ lgt_write_term_3_123
tests ‑ lgt_write_term_3_124
tests ‑ lgt_write_term_3_125
tests ‑ lgt_write_term_3_126
tests ‑ lgt_write_term_3_127
tests ‑ lgt_write_term_3_128
tests ‑ lgt_write_term_3_129
tests ‑ lgt_write_term_3_130
tests ‑ lgt_write_term_3_132
tests ‑ lgt_write_term_3_134
tests ‑ lgt_write_term_3_135
tests ‑ lgt_write_term_3_136
tests ‑ lgt_xor_2_04
tests ‑ lgt_xor_2_05
tests ‑ lgt_xor_2_06
tests ‑ lgt_xor_2_07
tests ‑ lgt_xor_2_08
tests ‑ lgt_xor_2_09
tests ‑ lgt_xor_2_10
tests ‑ lgt_xor_2_11
tests ‑ lgt_xor_2_12
tests ‑ lgt_xor_2_13
tests ‑ log10_1
tests ‑ lvm_sub_atom_5_pmmmp_equal1
tests ‑ lvm_sub_atom_5_pmmmp_equal2
tests ‑ lvm_sub_atom_5_pmmmp_many1
tests ‑ lvm_sub_atom_5_pmmmp_many2
tests ‑ lvm_sub_atom_5_pmmmp_many3
tests ‑ lvm_sub_atom_5_pmmmp_one
tests ‑ lvm_sub_atom_5_pmmpp_equal
tests ‑ lvm_sub_atom_5_ppmmp_equal1
tests ‑ lvm_sub_atom_5_ppmmp_equal2
tests ‑ meta_predicate_1
tests ‑ multifile_1_01
tests ‑ multifile_1_02
tests ‑ multifile_1_conjunction
tests ‑ multifile_1_list
tests ‑ multifile_1_single
tests ‑ op_3_01
tests ‑ op_3_02
tests ‑ op_3_infix_left_assotiative
tests ‑ op_3_infix_non_assotiative
tests ‑ op_3_infix_right_assotiative
tests ‑ op_3_list
tests ‑ op_3_postfix_left_assotiative
tests ‑ op_3_postfix_non_assotiative
tests ‑ op_3_prefix_non_assotiative
tests ‑ op_3_prefix_right_assotiative
tests ‑ sics_arg_3_16
tests ‑ sics_at_end_of_stream_1_01
tests ‑ sics_at_end_of_stream_1_03
tests ‑ sics_at_end_of_stream_1_05
tests ‑ sics_at_end_of_stream_1_07
tests ‑ sics_at_end_of_stream_1_08
tests ‑ sics_at_end_of_stream_1_09
tests ‑ sics_at_end_of_stream_1_10
tests ‑ sics_atom_chars_2_14
tests ‑ sics_atom_chars_2_15
tests ‑ sics_atom_concat_3_11
tests ‑ sics_atom_concat_3_12
tests ‑ sics_atom_concat_3_13
tests ‑ sics_atom_concat_3_14
tests ‑ sics_atom_length_2_09
tests ‑ sics_bitwise_and_2_07
tests ‑ sics_bitwise_complement_1_05
tests ‑ sics_bitwise_or_2_07
tests ‑ sics_bitwise_right_shift_2_06
tests ‑ sics_close_1_01
tests ‑ sics_close_1_02
tests ‑ sics_close_1_03
tests ‑ sics_close_1_05
tests ‑ sics_close_1_06
tests ‑ sics_close_2_03
tests ‑ sics_close_2_04
tests ‑ sics_close_2_05
tests ‑ sics_close_2_06
tests ‑ sics_close_2_07
tests ‑ sics_close_2_10
tests ‑ sics_close_2_11
tests ‑ sics_current_input_1_01
tests ‑ sics_current_input_1_02
tests ‑ sics_current_input_1_03
tests ‑ sics_current_input_1_04
tests ‑ sics_current_input_1_05
tests ‑ sics_current_output_1_01
tests ‑ sics_current_output_1_02
tests ‑ sics_current_output_1_03
tests ‑ sics_current_output_1_04
tests ‑ sics_current_output_1_05
tests ‑ sics_current_output_1_06
tests ‑ sics_findall_3_09
tests ‑ sics_flush_output_1_01
tests ‑ sics_flush_output_1_02
tests ‑ sics_flush_output_1_03
tests ‑ sics_flush_output_1_04
tests ‑ sics_flush_output_1_05
tests ‑ sics_flush_output_1_06
tests ‑ sics_get_byte_2_06
tests ‑ sics_get_byte_2_07
tests ‑ sics_get_byte_2_08
tests ‑ sics_get_byte_2_09
tests ‑ sics_get_byte_2_10
tests ‑ sics_get_byte_2_11
tests ‑ sics_get_byte_2_12
tests ‑ sics_get_byte_2_13
tests ‑ sics_get_byte_2_14
tests ‑ sics_get_char_2_07
tests ‑ sics_get_char_2_08
tests ‑ sics_get_char_2_09
tests ‑ sics_get_char_2_10
tests ‑ sics_get_char_2_11
tests ‑ sics_get_char_2_12
tests ‑ sics_get_char_2_13
tests ‑ sics_get_char_2_14
tests ‑ sics_get_char_2_15
tests ‑ sics_get_char_2_16
tests ‑ sics_get_char_2_17
tests ‑ sics_get_code_2_07
tests ‑ sics_get_code_2_08
tests ‑ sics_get_code_2_09
tests ‑ sics_get_code_2_10
tests ‑ sics_get_code_2_11
tests ‑ sics_get_code_2_12
tests ‑ sics_get_code_2_13
tests ‑ sics_get_code_2_14
tests ‑ sics_get_code_2_15
tests ‑ sics_get_code_2_16
tests ‑ sics_get_code_2_18
tests ‑ sics_number_chars_2_20
tests ‑ sics_number_chars_2_21
tests ‑ sics_number_chars_2_22
tests ‑ sics_number_chars_2_23
tests ‑ sics_number_chars_2_24
tests ‑ sics_number_chars_2_25
tests ‑ sics_number_chars_2_26
tests ‑ sics_number_chars_2_27
tests ‑ sics_number_chars_2_28
tests ‑ sics_number_chars_2_29
tests ‑ sics_number_chars_2_30
tests ‑ sics_number_codes_2_17
tests ‑ sics_number_codes_2_18
tests ‑ sics_number_codes_2_19
tests ‑ sics_number_codes_2_20
tests ‑ sics_number_codes_2_21
tests ‑ sics_number_codes_2_22
tests ‑ sics_number_codes_2_23
tests ‑ sics_number_codes_2_24
tests ‑ sics_op_3_22

tests ‑ sics_op_3_23
tests ‑ sics_op_3_24
tests ‑ sics_op_3_25
tests ‑ sics_op_3_26
tests ‑ sics_op_3_27
tests ‑ sics_op_3_28
tests ‑ sics_op_3_29
tests ‑ sics_op_3_30
tests ‑ sics_open_4_04
tests ‑ sics_open_4_05
tests ‑ sics_open_4_06
tests ‑ sics_open_4_07
tests ‑ sics_open_4_08
tests ‑ sics_open_4_09
tests ‑ sics_open_4_10
tests ‑ sics_open_4_11
tests ‑ sics_open_4_12
tests ‑ sics_open_4_13
tests ‑ sics_open_4_14
tests ‑ sics_open_4_15
tests ‑ sics_open_4_16
tests ‑ sics_peek_byte_2_07
tests ‑ sics_peek_byte_2_08
tests ‑ sics_peek_byte_2_09
tests ‑ sics_peek_byte_2_10
tests ‑ sics_peek_byte_2_11
tests ‑ sics_peek_byte_2_12
tests ‑ sics_peek_byte_2_13
tests ‑ sics_peek_byte_2_14
tests ‑ sics_peek_byte_2_15
tests ‑ sics_peek_char_2_09
tests ‑ sics_peek_char_2_10
tests ‑ sics_peek_char_2_11
tests ‑ sics_peek_char_2_12
tests ‑ sics_peek_char_2_13
tests ‑ sics_peek_char_2_14
tests ‑ sics_peek_char_2_15
tests ‑ sics_peek_char_2_16
tests ‑ sics_peek_char_2_17
tests ‑ sics_peek_char_2_18
tests ‑ sics_peek_code_2_08
tests ‑ sics_peek_code_2_09
tests ‑ sics_peek_code_2_10
tests ‑ sics_peek_code_2_11
tests ‑ sics_peek_code_2_12
tests ‑ sics_peek_code_2_13
tests ‑ sics_peek_code_2_14
tests ‑ sics_peek_code_2_15
tests ‑ sics_peek_code_2_16
tests ‑ sics_peek_code_2_17
tests ‑ sics_peek_code_2_18
tests ‑ sics_peek_code_2_19
tests ‑ sics_put_byte_2_05
tests ‑ sics_put_byte_2_06
tests ‑ sics_put_byte_2_07
tests ‑ sics_put_byte_2_08
tests ‑ sics_put_byte_2_09
tests ‑ sics_put_byte_2_10
tests ‑ sics_put_byte_2_11
tests ‑ sics_put_byte_2_12
tests ‑ sics_put_byte_2_13
tests ‑ sics_put_char_2_07
tests ‑ sics_put_char_2_08
tests ‑ sics_put_char_2_09
tests ‑ sics_put_char_2_10
tests ‑ sics_put_char_2_11
tests ‑ sics_put_char_2_12
tests ‑ sics_put_code_2_05
tests ‑ sics_put_code_2_06
tests ‑ sics_put_code_2_11
tests ‑ sics_put_code_2_12
tests ‑ sics_read_term_3_07
tests ‑ sics_read_term_3_08
tests ‑ sics_read_term_3_09
tests ‑ sics_read_term_3_10
tests ‑ sics_read_term_3_11
tests ‑ sics_read_term_3_12
tests ‑ sics_read_term_3_13
tests ‑ sics_read_term_3_14
tests ‑ sics_read_term_3_15
tests ‑ sics_read_term_3_16
tests ‑ sics_read_term_3_17
tests ‑ sics_read_term_3_18
tests ‑ sics_read_term_3_19
tests ‑ sics_read_term_3_20
tests ‑ sics_read_term_3_21
tests ‑ sics_read_term_3_22
tests ‑ sics_read_term_3_23
tests ‑ sics_read_term_3_24
tests ‑ sics_set_input_1_1
tests ‑ sics_set_input_1_2
tests ‑ sics_set_input_1_3
tests ‑ sics_set_input_1_4
tests ‑ sics_set_input_1_5
tests ‑ sics_set_output_1_1
tests ‑ sics_set_output_1_2
tests ‑ sics_set_output_1_3
tests ‑ sics_set_output_1_4
tests ‑ sics_set_output_1_5
tests ‑ sics_set_stream_position_2_02
tests ‑ sics_set_stream_position_2_05
tests ‑ sics_set_stream_position_2_06
tests ‑ sics_setof_3_27
tests ‑ sics_setof_3_28
tests ‑ sics_setof_3_29
tests ‑ sics_stream_property_2_04
tests ‑ sics_stream_property_2_05a
tests ‑ sics_stream_property_2_05b
tests ‑ sics_stream_property_2_05d
tests ‑ sics_stream_property_2_05e
tests ‑ sics_stream_property_2_05f
tests ‑ sics_stream_property_2_06a
tests ‑ sics_stream_property_2_06b
tests ‑ sics_stream_property_2_06c
tests ‑ sics_stream_property_2_06e
tests ‑ sics_stream_property_2_06f
tests ‑ sics_stream_property_2_07
tests ‑ sics_sub_atom_5_14
tests ‑ sics_sub_atom_5_15
tests ‑ sics_sub_atom_5_16
tests ‑ sics_sub_atom_5_17
tests ‑ sics_sub_atom_5_18
tests ‑ sics_sub_atom_5_19
tests ‑ sics_sub_atom_5_20
tests ‑ sics_sub_atom_5_21
tests ‑ sics_sub_atom_5_22
tests ‑ sics_sub_atom_5_23
tests ‑ sics_sub_atom_5_24
tests ‑ sics_sub_atom_5_25
tests ‑ sics_sub_atom_5_26
tests ‑ sics_sub_atom_5_27
tests ‑ sics_sub_atom_5_28
tests ‑ sics_sub_atom_5_29
tests ‑ sics_sub_atom_5_30
tests ‑ sics_sub_atom_5_31
tests ‑ sics_sub_atom_5_32
tests ‑ sics_sub_atom_5_33
tests ‑ sics_univ_2_16
tests ‑ sics_univ_2_17
tests ‑ sics_univ_2_18
tests ‑ sics_write_term_3_008
tests ‑ sics_write_term_3_009
tests ‑ sics_write_term_3_010
tests ‑ sics_write_term_3_011
tests ‑ sics_write_term_3_012
tests ‑ sics_write_term_3_013
tests ‑ sics_write_term_3_014
tests ‑ sics_write_term_3_015
tests ‑ sics_write_term_3_016
tests ‑ sics_write_term_3_017
tests ‑ sics_write_term_3_018
tests ‑ sics_write_term_3_019
tests ‑ sics_write_term_3_020
tests ‑ sics_write_term_3_021
tests ‑ sics_write_term_3_022
tests ‑ sics_write_term_3_103
tests ‑ sics_write_term_3_104
tests ‑ sics_write_term_3_105
tests ‑ sics_write_term_3_106
tests ‑ sics_write_term_3_107
tests ‑ sics_write_term_3_108
tests ‑ sics_write_term_3_109
tests ‑ sics_write_term_3_110
tests ‑ sics_write_term_3_111
tests ‑ sics_write_term_3_112
tests ‑ sign_1_error_01
tests ‑ sign_1_error_02
tests ‑ sign_1_float_01
tests ‑ sign_1_float_02
tests ‑ sign_1_float_03
tests ‑ sign_1_integer_01
tests ‑ sign_1_integer_02
tests ‑ sign_1_integer_03
tests ‑ sinh_1
tests ‑ swi_setup_call_cleanup_3_01
tests ‑ swi_setup_call_cleanup_3_02
tests ‑ swi_setup_call_cleanup_3_03
tests ‑ swi_setup_call_cleanup_3_04
tests ‑ swi_setup_call_cleanup_3_05
tests ‑ swi_setup_call_cleanup_3_06
tests ‑ swi_setup_call_cleanup_3_07
tests ‑ swi_setup_call_cleanup_3_08
tests ‑ swi_setup_call_cleanup_3_09
tests ‑ swi_setup_call_cleanup_3_10
tests ‑ swi_setup_call_cleanup_3_11
tests ‑ tanh_1
tests ‑ unbounded
tests ‑ wg17_asserta_1_13
tests ‑ wg17_asserta_1_14
tests ‑ wg17_asserta_1_15
tests ‑ wg17_asserta_1_16
tests ‑ wg17_asserta_1_17
tests ‑ wg17_asserta_1_18
tests ‑ wg17_asserta_1_19
tests ‑ wg17_asserta_1_20
tests ‑ wg17_asserta_1_21
tests ‑ wg17_asserta_1_22
tests ‑ wg17_asserta_1_23
tests ‑ wg17_asserta_1_24
tests ‑ wg17_assertz_1_13
tests ‑ wg17_assertz_1_14
tests ‑ wg17_assertz_1_15
tests ‑ wg17_assertz_1_16
tests ‑ wg17_assertz_1_17
tests ‑ wg17_assertz_1_18
tests ‑ wg17_assertz_1_19
tests ‑ wg17_assertz_1_20
tests ‑ wg17_assertz_1_21
tests ‑ wg17_assertz_1_22
tests ‑ wg17_assertz_1_23
tests ‑ wg17_assertz_1_24
tests ‑ wg17_bagof_3_24
tests ‑ wg17_bagof_3_25
tests ‑ wg17_bagof_3_26
tests ‑ wg17_copy_term_2_16
tests ‑ wg17_copy_term_2_17
tests ‑ wg17_number_chars_2_33
tests ‑ wg17_number_chars_2_34
tests ‑ wg17_number_chars_2_35
tests ‑ wg17_number_chars_2_36
tests ‑ wg17_number_chars_2_37
tests ‑ wg17_number_chars_2_38
tests ‑ wg17_number_chars_2_39
tests ‑ wg17_number_chars_2_40
tests ‑ wg17_number_codes_2_32
tests ‑ wg17_number_codes_2_33
tests ‑ wg17_number_codes_2_34
tests ‑ wg17_number_codes_2_35
tests ‑ wg17_number_codes_2_36
tests ‑ wg17_number_codes_2_37
tests ‑ wg17_number_codes_2_38
tests ‑ wg17_number_codes_2_39
tests ‑ wg17_open_4_32
tests ‑ wg17_setof_3_38
tests ‑ wg17_setof_3_39
tests ‑ wg17_setof_3_40
tests ‑ wg17_setup_call_cleanup_3_27
tests ‑ wg17_setup_call_cleanup_3_28
tests ‑ wg17_setup_call_cleanup_3_29
tests ‑ wg17_setup_call_cleanup_3_30
tests ‑ wg17_setup_call_cleanup_3_31
tests ‑ wg17_sort_2_19
tests ‑ wg17_term_09
tests ‑ wg17_term_10
tests ‑ wg17_term_variables_2_12