R Under development (unstable) (2026-09-17 r90559) -- "Unsuffered Consequences" Copyright (C) 2026 The R Foundation for Statistical Computing Platform: x86_64-pc-linux-gnu R is free software and comes with ABSOLUTELY NO WARRANTY. You are welcome to redistribute it under certain conditions. Type 'license()' or 'licence()' for distribution details. R is a collaborative project with many contributors. Type 'contributors()' for more information and 'citation()' on how to cite R or R packages in publications. Type 'demo()' for some demos, 'help()' for on-line help, or 'help.start()' for an HTML browser interface to help. Type 'q()' to quit R. > library(testthat) > library(rswipl) > > test_check("rswipl") Running test set "arithmetic_functions" done. Running test set "chars" .. done. Running test set "wchars" .. done. Running test set "depth_limit" ..... done. Running test set "type_test" .... done. Running test set "meta" ............... done. Running test set "avar" .......................... done. Running test set "gvar" ..... done. Running test set "copy_term" .............. done. Running test set "term_hash" done. Running test set "cyclic" done. Running test set "cleanup" ............. done. Running test set "term" ........... done. Running test set "list" ........... done. Running test set "sets" ......... done. Running test set "atom_handling" ........................ done. Running test set "string_handling" ..... done. Running test set "proc" ........ done. Running test set "cl" ........... done. Running test set "record" ....... done. Running test set "compiler" ....... done. Running test set "flag" . done. Running test set "update" ... done. Running test set "gc" ........ done. Running test set "control" ......... done. Running test set "exception" ...... done. Running test set "term_atom" .. done. Running test set "os" .. done. Running test set "io" .. done. Running test set "timeout" done. Running test set "file" ............. done. Running test set "unicode_file" .... done. Running test set "seek" . done. Running test set "load_program" . done. Running test set "ctype" ...... done. Running test set "wctype" . done. Running test set "thread" ....... done. Running test set "engines" done. Running test set "mutex" ... done. Running scripts from unprotected % [1/21] reconsult:simple ........................... passed (0.034 sec) % [2/21] reconsult:add_clause ....................... passed (0.006 sec) % [3/21] reconsult:del_clause ....................... passed (0.006 sec) % [4/21] reconsult:del_clause_a ..................... passed (0.006 sec) % [5/21] reconsult:del_clause_z ..................... passed (0.006 sec) % [6/21] reconsult:replace_clause ................... passed (0.005 sec) % [7/21] reconsult:add_pred ......................... passed (0.005 sec) % [8/21] reconsult:del_pred ......................... passed (0.005 sec) % [9/21] reconsult:add_attr_end ..................... passed (0.006 sec) % [10/21] reconsult:del_attr_end .................... passed (0.006 sec) % [11/21] reconsult:del_dynamic ..................... passed (0.005 sec) % [12/21] reconsult:del_det ......................... passed (0.005 sec) % [13/21] reconsult:add_thread_local ................ passed (0.006 sec) % [14/21] reconsult:del_discontiguous ............... passed (0.006 sec) % [15/21] reconsult:add_meta_predicate .............. passed (0.005 sec) % [16/21] reconsult:del_meta_predicate .............. passed (0.005 sec) % [17/21] reconsult:del_export ...................... passed (0.005 sec) % [18/21] reconsult:reload_maplist .................. passed (0.017 sec) % [19/21] reconsult:mod_dynamic ..................... passed (0.013 sec) % [20/21] reconsult:goal_expansion .................. passed (0.020 sec) % [21/21] reconsult:keep_tabling .................... passed (0.012 sec) . % [1/15] sandbox:cleanup ............................ passed (0.001 sec) % [2/15] sandbox:time ............................... passed (0.003 sec) % [3/15] sandbox:setof .............................. passed (0.000 sec) % [4/15] sandbox:phrase ............................. passed (0.000 sec) % [5/15] sandbox:apply .............................. passed (0.001 sec) % [6/15] sandbox:aggregate .......................... passed (0.000 sec) % [7/15] sandbox:aggregate .......................... passed (0.000 sec) % [8/15] sandbox:dcg ................................ passed (0.001 sec) % [9/15] sandbox:contexr ............................ passed (0.000 sec) % [10/15] sandbox:assert ............................ passed (0.000 sec) % [11/15] sandbox:assert ............................ passed (0.000 sec) % [12/15] sandbox:predicate_property ................ passed (0.000 sec) % [13/15] sandbox:predicate_property ................ passed (0.001 sec) % [14/15] sandbox:flag .............................. passed (0.000 sec) % [15/15] sandbox:flag .............................. passed (0.000 sec) . done Running scripts from core_lang % [1/52] acyclic_terms:var_is_acyclic ............... passed (0.000 sec) % [2/52] acyclic_terms:atom_is_acyclic .............. passed (0.000 sec) % [3/52] acyclic_terms:term_is_acyclic .............. passed (0.000 sec) % [4/52] acyclic_terms:sub_term_is_acyclic .......... passed (0.000 sec) % [5/52] acyclic_terms:sib..g_leaves_is_acyclic ..... passed (0.000 sec) % [6/52] acyclic_terms:sub..and_leaf_is_acyclic ..... passed (0.000 sec) % [7/52] acyclic_terms:lea.._subterm_is_acyclic ..... passed (0.000 sec) % [8/52] acyclic_terms:sib..ub_terms_is_acyclic ..... passed (0.000 sec) % [9/52] acyclic_terms:mul..ub_terms_is_acyclic ..... passed (0.000 sec) % [10/52] acyclic_terms:mul..ub_terms_is_acyclic .... passed (0.000 sec) % [11/52] acyclic_terms:shared_term_is_acyclic_1 .... passed (0.000 sec) % [12/52] acyclic_terms:shared_term_is_acyclic_2 .... passed (0.000 sec) % [13/52] acyclic_terms:shared_term_is_acyclic_3 .... passed (0.000 sec) % [14/52] acyclic_terms:shared_term_is_acyclic_4 .... passed (0.000 sec) % [15/52] acyclic_terms:zer..ity_term_is_acyclic .... passed (0.000 sec) % [16/52] acyclic_terms:zer..sub_term_is_acyclic .... passed (0.000 sec) % [17/52] acyclic_terms:zer..red_term_is_acyclic .... passed (0.000 sec) % [18/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.000 sec) % [19/52] acyclic_terms:dee..eft_term_is_acyclic .... passed (0.000 sec) % [20/52] acyclic_terms:dee..ght_term_is_acyclic .... passed (0.000 sec) % [21/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.029 sec) % [22/52] acyclic_terms:wid..ted_term_is_acyclic .... passed (0.116 sec) % [23/52] acyclic_terms:list_is_acyclic ............. passed (0.000 sec) % [24/52] acyclic_terms:empty_list_is_acyclic ....... passed (0.000 sec) % [25/52] acyclic_terms:long_list_is_acyclic_1 ...... passed (0.051 sec) % [26/52] acyclic_terms:long_list_is_acyclic_2 ...... passed (0.051 sec) % [27/52] acyclic_terms:long_list_is_acyclic_3 ...... passed (0.052 sec) % [28/52] cyclic_terms:term_is_cyclic ............... passed (0.000 sec) % [29/52] cyclic_terms:sub_term_is_acyclic .......... passed (0.000 sec) % [30/52] cyclic_terms:sub_.._and_leaf_is_cyclic .... passed (0.000 sec) % [31/52] cyclic_terms:leaf..d_subterm_is_cyclic .... passed (0.000 sec) % [32/52] cyclic_terms:mult..sub_terms_is_cyclic .... passed (0.000 sec) % [33/52] cyclic_terms:mult..sub_terms_is_cyclic .... passed (0.000 sec) % [34/52] cyclic_terms:deep..sted_term_is_cyclic .... passed (0.000 sec) % [35/52] cyclic_terms:deep..left_term_is_cyclic .... passed (0.000 sec) % [36/52] cyclic_terms:deep..ight_term_is_cyclic .... passed (0.000 sec) % [37/52] cyclic_terms:deep..ed_term_is_cyclic_1 .... passed (0.028 sec) % [38/52] cyclic_terms:deep..ed_term_is_cyclic_2 .... passed (0.028 sec) % [39/52] cyclic_terms:wide..ed_term_is_cyclic_1 .... passed (0.115 sec) % [40/52] cyclic_terms:wide..ed_term_is_cyclic_2 .... passed (0.115 sec) % [41/52] cyclic_terms:list_is_cyclic ............... passed (0.000 sec) % [42/52] cyclic_terms:long_list_is_cyclic .......... passed (0.018 sec) % [43/52] cyclic_misc:term_hash_1 ................... passed (0.000 sec) % [44/52] cyclic_misc:streq_1 ....................... passed (0.000 sec) % [45/52] cyclic_misc:test_1 ........................ passed (0.000 sec) % [46/52] cyclic_misc:test_2 ........................ passed (0.000 sec) % [47/52] cyclic_misc:test_3 ........................ passed (0.000 sec) % [48/52] cyclic_misc:test_4 ........................ passed (0.000 sec) % [49/52] cyclic_misc:test_5 ........................ passed (0.000 sec) % [50/52] cyclic_misc:test_6 ........................ passed (0.000 sec) % [51/52] cyclic_misc:list_1 ........................ passed (0.000 sec) % [52/52] cyclic_misc:sort_1 ........................ passed (0.000 sec) . % [1/13] agc_margin_api:default_is_zero ............. passed (0.001 sec) % [2/13] agc_margin_api:round_trip .................. passed (0.000 sec) % [3/13] agc_margin_api:enumerates_every_type ....... passed (0.000 sec) % [4/13] agc_margin_api:flags_are_bare_atoms ........ passed (0.000 sec) % [5/13] agc_margin_api:live_agrees_with_a_scan ..... passed (0.001 sec) % [6/13] agc_margin_api:space_is_the_text_size ...... passed (0.047 sec) % [7/13] agc_margin_api:unknown_type ................ passed (0.000 sec) % [8/13] agc_margin_api:unknown_property ............ passed (0.000 sec) % [9/13] agc_margin_trigge..margin_ignores_size ..... passed (0.039 sec) % [10/13] agc_margin_trigge..yte_margin_collects .... passed (0.039 sec) % [11/13] agc_margin_trigge..atoms_do_not_thrash .... passed (0.037 sec) % [12/13] agc_margin_trigger:global_disable_wins .... passed (0.019 sec) % [13/13] agc_unregister:dr..references_collects .... passed (0.258 sec) . % [1/229] arith_basics:arith_1 ...................... passed (0.000 sec) % [2/229] arith_basics:arith_2 ...................... passed (0.000 sec) % [3/229] arith_basics:arith_3 ...................... passed (0.000 sec) % [4/229] arith_basics:arith_4 ...................... passed (0.000 sec) % [5/229] arith_basics:arith_5 ...................... passed (0.000 sec) % [6/229] arith_basics:arith_6 ...................... passed (0.000 sec) % [7/229] arith_basics:arith_7 ...................... passed (0.000 sec) % [8/229] arith_basics:arith_8 ...................... passed (0.000 sec) % [9/229] arith_basics:arith_9 ...................... passed (0.000 sec) % [10/229] arith_basics:arith_10 .................... passed (0.000 sec) % [11/229] arith_basics:float_fractional_part_1 ..... passed (0.000 sec) % [12/229] arith_basics:arith_11 .................... passed (0.000 sec) % [13/229] arith_basics:arith_12 .................... passed (0.000 sec) % [14/229] arith_basics:arith_13 .................... passed (0.000 sec) % [15/229] arith_basics:sign_1 ...................... passed (0.000 sec) % [16/229] arith_basics:sign_2 ...................... passed (0.000 sec) % [17/229] arith_basics:sign_3 ...................... passed (0.000 sec) % [18/229] arith_basics:copysign_1 .................. passed (0.000 sec) % [19/229] arith_basics:copysign_2 .................. passed (0.000 sec) % [20/229] arith_basics:copysign_3 .................. passed (0.000 sec) % [21/229] arith_basics:abs_1 ....................... passed (0.000 sec) % [22/229] arith_basics:floor_1 ..................... passed (0.000 sec) % [23/229] arith_basics:ceil_1 ...................... passed (0.000 sec) % [24/229] arith_basics:truncate_1 .................. passed (0.000 sec) % [25/229] arith_basics:floor_2 ..................... passed (0.000 sec) % [26/229] arith_basics:ceil_2 ...................... passed (0.000 sec) % [27/229] arith_basics:round_2 ..................... passed (0.000 sec) % [28/229] arith_basics:integer_2 ................... passed (0.000 sec) % [29/229] arith_basics:int_1 ....................... passed (0.000 sec) % [30/229] arith_basics:cmp_1 ....................... passed (0.000 sec) % [31/229] div:mod .................................. passed (0.002 sec) % [32/229] div:minint ............................... passed (0.000 sec) % [33/229] div:minint ............................... passed (0.000 sec) % [34/229] gdiv:minint .............................. passed (0.000 sec) % [35/229] rem:small ................................ passed (0.000 sec) % [36/229] rem:small_divneg ......................... passed (0.000 sec) % [37/229] rem:small_neg ............................ passed (0.000 sec) % [38/229] rem:big .................................. passed (0.000 sec) % [39/229] rem:big_neg .............................. passed (0.000 sec) % [40/229] rem:exhaust .............................. passed (0.000 sec) % [41/229] rem:big .................................. passed (0.000 sec) % [42/229] rem:allq ................................. passed (0.021 sec) % [43/229] mod:small ................................ passed (0.000 sec) % [44/229] mod:small_divneg ......................... passed (0.000 sec) % [45/229] mod:small_neg ............................ passed (0.000 sec) % [46/229] mod:big .................................. passed (0.000 sec) % [47/229] mod:big_neg .............................. passed (0.000 sec) % [48/229] mod:exhaust .............................. passed (0.000 sec) % [49/229] mod:big .................................. passed (0.000 sec) % [50/229] pow:rat .................................. passed (0.000 sec) % [51/229] pow:rat .................................. passed (0.000 sec) % [52/229] pow:rat .................................. passed (0.000 sec) % [53/229] pow:2^65 ................................. passed (0.000 sec) % [54/229] pow:huge_exponent ........................ passed (0.001 sec) % [55/229] gcd:gcd .................................. passed (0.000 sec) % [56/229] gcd:gcd .................................. passed (0.000 sec) % [57/229] gcd:gcd .................................. passed (0.000 sec) % [58/229] shift:shift_right_large .................. passed (0.000 sec) % [59/229] shift:shift_right_large .................. passed (0.000 sec) % [60/229] shift:shift_right_large .................. passed (0.000 sec) % [61/229] shift:shift_right_large .................. passed (0.000 sec) % [62/229] shift:shift_left_large ................... passed (0.000 sec) % [63/229] errors:cyclic ............................ passed (0.000 sec) % [64/229] ar_builtin:a_add_fc_int .................. passed (0.000 sec) % [65/229] ar_builtin:a_add_fc_float ................ passed (0.000 sec) % [66/229] ar_builtin:a_fc_minus .................... passed (0.000 sec) % [67/229] eval:ref ................................. passed (0.000 sec) % [68/229] hyperbolic:sinh .......................... passed (0.000 sec) % [69/229] hyperbolic:cosh .......................... passed (0.000 sec) % [70/229] hyperbolic:tanh .......................... passed (0.000 sec) % [71/229] hyperbolic:asinh ......................... passed (0.000 sec) % [72/229] hyperbolic:acosh ......................... passed (0.000 sec) % [73/229] hyperbolic:atanh ......................... passed (0.000 sec) % [74/229] bigint:add_promote1 ...................... passed (0.000 sec) % [75/229] bigint:add_promote2 ...................... passed (0.000 sec) % [76/229] bigint:neg_1 ............................. passed (0.000 sec) % [77/229] bigint:neg_2 ............................. passed (0.000 sec) % [78/229] bigint:neg_promote ....................... passed (0.000 sec) % [79/229] bigint:abs_1 ............................. passed (0.000 sec) % [80/229] bigint:sign_1 ............................ passed (0.001 sec) % [81/229] bigint:floor_1 ........................... passed (0.000 sec) % [82/229] bigint:floor_2 ........................... passed (0.000 sec) % [83/229] bigint:ceil_1 ............................ passed (0.000 sec) % [84/229] bigint:ceil_2 ............................ passed (0.000 sec) % [85/229] bigint:msb_0 ............................. passed (0.000 sec) % [86/229] bigint:msb_1 ............................. passed (0.000 sec) % [87/229] bigint:msb_2 ............................. passed (0.000 sec) % [88/229] bigint:lsb_0 ............................. passed (0.000 sec) % [89/229] bigint:lsb_1 ............................. passed (0.000 sec) % [90/229] bigint:lsb_2 ............................. passed (0.000 sec) % [91/229] bigint:popcount_1 ........................ passed (0.000 sec) % [92/229] bigint:popcount_2 ........................ passed (0.000 sec) % [93/229] bigint:shift_1 ........................... passed (0.000 sec) % [94/229] bigint:shift_2 ........................... passed (0.000 sec) % [95/229] bigint:shift_3 ........................... passed (1.575 sec) % [96/229] bigint:fac_1 ............................. passed (0.000 sec) % [97/229] bigint:arith_1 ........................... passed (0.000 sec) % [98/229] bigint:pow_1 ............................. passed (0.000 sec) % [99/229] bigint:pow_2 ............................. passed (0.000 sec) % [100/229] bigint:pow_3 ............................ passed (0.000 sec) % [101/229] bigint:pow_4 ............................ passed (0.000 sec) % [102/229] bigint:pow_5 ............................ passed (0.000 sec) % [103/229] bigint:pow_6 ............................ passed (0.000 sec) % [104/229] bigint:pow_7 ............................ passed (0.000 sec) % [105/229] bigint:powm_1 ........................... passed (0.000 sec) % [106/229] bigint:powm_2 ........................... passed (0.000 sec) % [107/229] bigint:integer_1 ........................ passed (0.000 sec) % [108/229] bigint:integer_2 ........................ passed (0.000 sec) % [109/229] bigint:rational_1 ....................... passed (0.000 sec) % [110/229] bigint:rational_2 ....................... passed (0.000 sec) % [111/229] bigint:rational_3 ....................... passed (0.000 sec) % [112/229] bigint:rational_4 ....................... passed (0.000 sec) % [113/229] bigint:rationalize_1 .................... passed (0.000 sec) % [114/229] bigint:rationalize_2 .................... passed (0.000 sec) % [115/229] bigint:number_1 ......................... passed (0.000 sec) % [116/229] bigint:float_1 .......................... passed (0.000 sec) % [117/229] bigint:cmp_1 ............................ passed (0.001 sec) % [118/229] bigint:clause_1 ......................... passed (0.000 sec) % [119/229] bigint:comp_1 ........................... passed (0.006 sec) % [120/229] bigint:comp_2 ........................... passed (0.000 sec) % [121/229] bigint:rec_1 ............................ passed (0.006 sec) % [122/229] bigint:number_codes_1 ................... passed (0.000 sec) % [123/229] bigint:atom_number_1 .................... passed (0.000 sec) % [124/229] bigint:hex_1 ............................ passed (0.000 sec) % [125/229] bigint:fmtd_1 ........................... passed (0.000 sec) % [126/229] bigint:fmtd_2 ........................... passed (0.000 sec) % [127/229] bigint:fmtD_1 ........................... passed (0.000 sec) % [128/229] bigint:fmtD_2 ........................... passed (0.000 sec) % [129/229] bigint:fmtf_1 ........................... passed (0.005 sec) % [130/229] bigint:random ........................... passed (0.001 sec) % [131/229] bigint:length ........................... passed (0.001 sec) % [132/229] bigint:ar_add_ui ........................ passed (0.000 sec) % [133/229] bigint:bf_trig_alloc .................... passed (0.002 sec) % [134/229] minint:decimal .......................... passed (0.000 sec) % [135/229] minint:spaced_decimal ................... passed (0.000 sec) % [136/229] minint:binary ........................... passed (0.000 sec) % [137/229] minint:spaced_binary .................... passed (0.000 sec) % [138/229] minint:octal ............................ passed (0.000 sec) % [139/229] minint:spaced_octal ..................... passed (0.000 sec) % [140/229] minint:hexadecimal ...................... passed (0.000 sec) % [141/229] minint:spaced_hexadecimal ............... passed (0.000 sec) % [142/229] minint_promotion:decimal ................ passed (0.000 sec) % [143/229] minint_promotion:spaced_decimal ......... passed (0.000 sec) % [144/229] minint_promotion:binary ................. passed (0.000 sec) % [145/229] minint_promotion:spaced_binary .......... passed (0.000 sec) % [146/229] minint_promotion:octal .................. passed (0.000 sec) % [147/229] minint_promotion:spaced_octal ........... passed (0.000 sec) % [148/229] minint_promotion:hexadecimal ............ passed (0.000 sec) % [149/229] minint_promotion:spaced_hexadecimal ..... passed (0.000 sec) % [150/229] minint_promotion:mpz_to_int64 ........... passed (0.000 sec) % [151/229] minint_promotion:addition ............... passed (0.000 sec) % [152/229] minint_promotion:addition ............... passed (0.000 sec) % [153/229] minint_promotion:subtraction ............ passed (0.000 sec) % [154/229] minint_promotion:multiplication ......... passed (0.000 sec) % [155/229] minint_promotion:multiplication ......... passed (0.004 sec) % [156/229] minint_promotion:multiplication ......... passed (0.000 sec) % [157/229] maxint:decimal .......................... passed (0.000 sec) % [158/229] maxint:spaced_decimal ................... passed (0.000 sec) % [159/229] maxint:binary ........................... passed (0.000 sec) % [160/229] maxint:spaced_binary .................... passed (0.000 sec) % [161/229] maxint:octal ............................ passed (0.000 sec) % [162/229] maxint:spaced_octal ..................... passed (0.000 sec) % [163/229] maxint:hexadecimal ...................... passed (0.000 sec) % [164/229] maxint:spaced_hexadecimal ............... passed (0.000 sec) % [165/229] maxint_promotion:decimal ................ passed (0.000 sec) % [166/229] maxint_promotion:spaced_decimal ......... passed (0.000 sec) % [167/229] maxint_promotion:binary ................. passed (0.000 sec) % [168/229] maxint_promotion:spaced_binary .......... passed (0.000 sec) % [169/229] maxint_promotion:octal .................. passed (0.000 sec) % [170/229] maxint_promotion:spaced_octal ........... passed (0.000 sec) % [171/229] maxint_promotion:hexadecimal ............ passed (0.000 sec) % [172/229] maxint_promotion:spaced_hexadecimal ..... passed (0.000 sec) % [173/229] maxint_promotion:addition ............... passed (0.000 sec) % [174/229] maxint_promotion:addition ............... passed (0.000 sec) % [175/229] maxint_promotion:subtraction ............ passed (0.000 sec) % [176/229] maxint_promotion:multiplication ......... passed (0.000 sec) % [177/229] maxint_promotion:multiplication ......... passed (0.000 sec) % [178/229] maxint_promotion:multiplication ......... passed (0.000 sec) % [179/229] round:half_down ......................... passed (0.000 sec) % [180/229] round:nhalf_up .......................... passed (0.000 sec) % [181/229] round:maxint ............................ passed (0.000 sec) % [182/229] round:minint ............................ passed (0.000 sec) % [183/229] float_misc:float_1 ...................... passed (0.000 sec) % [184/229] float_misc:float_2 ...................... passed (0.000 sec) % [185/229] float_misc:float_3 ...................... passed (0.000 sec) % [186/229] float_misc:float_4 ...................... passed (0.000 sec) % [187/229] float_misc:float_5 ...................... passed (0.000 sec) % [188/229] float_misc:float_6 ...................... passed (0.000 sec) % [189/229] float_misc:float_7 ...................... passed (0.002 sec) % [190/229] float_misc:float_8 ...................... passed (0.001 sec) % [191/229] float_overflow:max ...................... passed (0.000 sec) % [192/229] float_overflow:add ...................... passed (0.000 sec) % [193/229] float_overflow:minus .................... passed (0.000 sec) % [194/229] float_overflow:mul ...................... passed (0.000 sec) % [195/229] float_overflow:div ...................... passed (0.000 sec) % [196/229] float_overflow:div ...................... passed (0.000 sec) % [197/229] float_zero:eq ........................... passed (0.000 sec) % [198/229] float_zero:lt ........................... passed (0.000 sec) % [199/229] float_zero:gt ........................... passed (0.000 sec) % [200/229] float_zero:eq ........................... passed (0.000 sec) % [201/229] float_zero:lt ........................... passed (0.000 sec) % [202/229] float_zero:gt ........................... passed (0.000 sec) % [203/229] float_zero:cmp .......................... passed (0.000 sec) % [204/229] float_zero:cmp .......................... passed (0.000 sec) % [205/229] float_special:cmp ....................... passed (0.000 sec) % [206/229] float_compare:max_nan ................... passed (0.000 sec) % [207/229] float_compare:max_nan ................... passed (0.000 sec) % [208/229] float_compare:min_nan ................... passed (0.000 sec) % [209/229] float_compare:min_nan ................... passed (0.000 sec) % [210/229] arith_misc:string ....................... passed (0.000 sec) % [211/229] arith_misc:float_rval ................... passed (0.000 sec) % [212/229] arith_misc:float_rval ................... passed (0.000 sec) % [213/229] max_integer_size:set .................... passed (0.000 sec) % [214/229] max_integer_size:overflow ............... passed (0.000 sec) % [215/229] bigint_limits:mul ....................... passed (0.008 sec) % [216/229] bigint_limits:mul_int ................... passed (0.010 sec) % [217/229] bigint_limits:lcm ....................... passed (0.010 sec) % [218/229] bigint_limits:pow ....................... passed (0.000 sec) % [219/229] bigint_limits:shift ..................... passed (0.000 sec) % [220/229] bigint_limits:gcd ....................... passed (0.003 sec) % [221/229] moded_int:between_1 ..................... passed (0.000 sec) % [222/229] moded_int:between_2 ..................... passed (0.000 sec) % [223/229] moded_int:between_3 ..................... passed (0.000 sec) % [224/229] moded_int:between_4 ..................... passed (0.000 sec) % [225/229] moded_int:succ_1 ........................ passed (0.000 sec) % [226/229] moded_int:succ_2 ........................ passed (0.000 sec) % [227/229] moded_int:succ_3 ........................ passed (0.000 sec) % [228/229] moded_int:plus_1 ........................ passed (0.000 sec) % [229/229] canonical_bignum:to_tagged .............. passed (0.000 sec) . % [1/4] bags:nsols .................................. passed (0.000 sec) % [2/4] bags:nsols_nested ........................... passed (0.000 sec) % [3/4] bags:nsols_commit ........................... passed (0.000 sec) % [4/4] bags:agc .................................... passed (0.283 sec) . % [1/49] bips:iso_8_3_10_4 .......................... passed (0.000 sec) % [2/49] bips:iso_8_3_10_4 .......................... passed (0.000 sec) % [3/49] bips:iso_8_3_10 ............................ passed (0.000 sec) % [4/49] bips:iso_8_3_10 ............................ passed (0.000 sec) % [5/49] bips:iso_8_3_10 ............................ passed (0.000 sec) % [6/49] bips:iso_8_4_2_4 ........................... passed (0.000 sec) % [7/49] bips:iso_8_4_2_4 ........................... passed (0.000 sec) % [8/49] bips:iso_8_4_2_4 ........................... passed (0.000 sec) % [9/49] bips:iso_8_4_2_3_a ......................... passed (0.000 sec) % [10/49] bips:iso_8_4_2_3_b ........................ passed (0.000 sec) % [11/49] bips:non_bmp_vs_bmp_unified ............... passed (0.000 sec) % [12/49] bips:non_bmp_vs_bmp_compat ................ passed (0.000 sec) % [13/49] bips:non_bmp_vs_bmp_halfwidth ............. passed (0.000 sec) % [14/49] bips:zero_codes ........................... passed (0.000 sec) % [15/49] arg:shared ................................ passed (0.000 sec) % [16/49] arg:unify ................................. passed (0.000 sec) % [17/49] arg:zero .................................. passed (0.000 sec) % [18/49] arg:one ................................... passed (0.000 sec) % [19/49] arg:two ................................... passed (0.000 sec) % [20/49] arg:atom .................................. passed (0.000 sec) % [21/49] arg:big ................................... passed (0.000 sec) % [22/49] arg:bigneg ................................ passed (0.000 sec) % [23/49] arg:arg_vf ................................ passed (0.000 sec) % [24/49] eq:eq_ff .................................. passed (0.000 sec) % [25/49] length:comp_len ........................... passed (0.000 sec) % [26/49] length:gen_list ........................... passed (0.000 sec) % [27/49] length:neg_len ............................ passed (0.000 sec) % [28/49] length:gen_unbound ........................ passed (0.000 sec) % [29/49] length:no_integer ......................... passed (0.000 sec) % [30/49] length:no_integer ......................... passed (0.000 sec) % [31/49] length:no_integer ......................... passed (0.000 sec) % [32/49] length:cycle .............................. passed (0.000 sec) % [33/49] length:expression ......................... passed (0.000 sec) % [34/49] length:no_list ............................ passed (0.000 sec) % [35/49] length:no_list ............................ passed (0.000 sec) % [36/49] length:no_list ............................ passed (0.000 sec) % [37/49] length:swi ................................ passed (0.000 sec) % [38/49] is_most_general_term:not_callable ......... passed (0.000 sec) % [39/49] is_most_general_term:atom ................. passed (0.000 sec) % [40/49] is_most_general_term:instantiated ......... passed (0.000 sec) % [41/49] is_most_general_term:compound ............. passed (0.000 sec) % [42/49] is_most_general_term:compound ............. passed (0.000 sec) % [43/49] is_most_general_term:shared ............... passed (0.000 sec) % [44/49] is_most_general_term:compound ............. passed (0.000 sec) % [45/49] is_most_general_term:nil .................. passed (0.000 sec) % [46/49] is_most_general_term:list ................. passed (0.000 sec) % [47/49] is_most_general_term:partial_list ......... passed (0.000 sec) % [48/49] is_most_general_term:list ................. passed (0.000 sec) % [49/49] is_most_general_term:shared ............... passed (0.000 sec) . % [1/68] bisim:oracle_flat .......................... passed (0.000 sec) % [2/68] bisim:oracle_nested ........................ passed (0.000 sec) % [3/68] bisim:oracle_unshared ...................... passed (0.000 sec) % [4/68] bisim:oracle_list .......................... passed (0.000 sec) % [5/68] bisim:oracle_cycle ......................... passed (0.000 sec) % [6/68] bisim:oracle_bisimilar ..................... passed (0.000 sec) % [7/68] bisim:oracle_hydra ......................... passed (0.001 sec) % [8/68] bisim:oracle_distinct ...................... passed (0.000 sec) % [9-1/68] bisim:quotient ........................... passed (0.000 sec) % [9-2/68] bisim:quotient ........................... passed (0.000 sec) % [9-3/68] bisim:quotient ........................... passed (0.000 sec) % [9-4/68] bisim:quotient ........................... passed (0.000 sec) % [9-5/68] bisim:quotient ........................... passed (0.001 sec) % [9-6/68] bisim:quotient ........................... passed (0.000 sec) % [9-7/68] bisim:quotient ........................... passed (0.001 sec) % [9-8/68] bisim:quotient ........................... passed (0.001 sec) % [9-9/68] bisim:quotient ........................... passed (0.000 sec) % [9-10/68] bisim:quotient .......................... passed (0.000 sec) % [9-11/68] bisim:quotient .......................... passed (0.000 sec) % [9-12/68] bisim:quotient .......................... passed (0.000 sec) % [9-13/68] bisim:quotient .......................... passed (0.000 sec) % [9-14/68] bisim:quotient .......................... passed (0.000 sec) % [9-15/68] bisim:quotient .......................... passed (0.000 sec) % [9-16/68] bisim:quotient .......................... passed (0.000 sec) % [9-17/68] bisim:quotient .......................... passed (0.001 sec) % [9-18/68] bisim:quotient .......................... passed (0.000 sec) % [9-19/68] bisim:quotient .......................... passed (0.000 sec) % [9-20/68] bisim:quotient .......................... passed (0.000 sec) % [9-21/68] bisim:quotient .......................... passed (0.001 sec) % [9-22/68] bisim:quotient .......................... passed (0.065 sec) % [10/68] bisim:hydra_size .......................... passed (0.000 sec) % [11/68] bisim:hydra_quotient ...................... passed (0.000 sec) % [12/68] bisim:canonical_cycle ..................... passed (0.000 sec) % [13/68] bisim:walk_leaves_term_intact ............. passed (0.000 sec) % [14-1/68] bisim:minimal_equal ..................... passed (0.000 sec) % [14-2/68] bisim:minimal_equal ..................... passed (0.000 sec) % [14-3/68] bisim:minimal_equal ..................... passed (0.000 sec) % [14-4/68] bisim:minimal_equal ..................... passed (0.000 sec) % [14-5/68] bisim:minimal_equal ..................... passed (0.000 sec) % [14-6/68] bisim:minimal_equal ..................... passed (0.000 sec) % [14-7/68] bisim:minimal_equal ..................... passed (0.000 sec) % [14-8/68] bisim:minimal_equal ..................... passed (0.000 sec) % [14-9/68] bisim:minimal_equal ..................... passed (0.000 sec) % [14-10/68] bisim:minimal_equal .................... passed (0.000 sec) % [14-11/68] bisim:minimal_equal .................... passed (0.000 sec) % [14-12/68] bisim:minimal_equal .................... passed (0.000 sec) % [14-13/68] bisim:minimal_equal .................... passed (0.000 sec) % [14-14/68] bisim:minimal_equal .................... passed (0.000 sec) % [14-15/68] bisim:minimal_equal .................... passed (0.000 sec) % [14-16/68] bisim:minimal_equal .................... passed (0.000 sec) % [14-17/68] bisim:minimal_equal .................... passed (0.000 sec) % [14-18/68] bisim:minimal_equal .................... passed (0.000 sec) % [14-19/68] bisim:minimal_equal .................... passed (0.000 sec) % [14-20/68] bisim:minimal_equal .................... passed (0.000 sec) % [14-21/68] bisim:minimal_equal .................... passed (0.000 sec) % [14-22/68] bisim:minimal_equal .................... passed (0.000 sec) % [15-1/68] bisim:minimal_size ...................... passed (0.000 sec) % [15-2/68] bisim:minimal_size ...................... passed (0.000 sec) % [15-3/68] bisim:minimal_size ...................... passed (0.000 sec) % [15-4/68] bisim:minimal_size ...................... passed (0.000 sec) % [15-5/68] bisim:minimal_size ...................... passed (0.000 sec) % [15-6/68] bisim:minimal_size ...................... passed (0.000 sec) % [15-7/68] bisim:minimal_size ...................... passed (0.000 sec) % [15-8/68] bisim:minimal_size ...................... passed (0.000 sec) % [15-9/68] bisim:minimal_size ...................... passed (0.000 sec) % [15-10/68] bisim:minimal_size ..................... passed (0.000 sec) % [15-11/68] bisim:minimal_size ..................... passed (0.000 sec) % [15-12/68] bisim:minimal_size ..................... passed (0.000 sec) % [15-13/68] bisim:minimal_size ..................... passed (0.000 sec) % [15-14/68] bisim:minimal_size ..................... passed (0.000 sec) % [15-15/68] bisim:minimal_size ..................... passed (0.000 sec) % [15-16/68] bisim:minimal_size ..................... passed (0.000 sec) % [15-17/68] bisim:minimal_size ..................... passed (0.000 sec) % [15-18/68] bisim:minimal_size ..................... passed (0.000 sec) % [15-19/68] bisim:minimal_size ..................... passed (0.000 sec) % [15-20/68] bisim:minimal_size ..................... passed (0.000 sec) % [15-21/68] bisim:minimal_size ..................... passed (0.000 sec) % [15-22/68] bisim:minimal_size ..................... passed (0.000 sec) % [16-1/68] bisim:minimal_idempotent ................ passed (0.000 sec) % [16-2/68] bisim:minimal_idempotent ................ passed (0.000 sec) % [16-3/68] bisim:minimal_idempotent ................ passed (0.000 sec) % [16-4/68] bisim:minimal_idempotent ................ passed (0.000 sec) % [16-5/68] bisim:minimal_idempotent ................ passed (0.000 sec) % [16-6/68] bisim:minimal_idempotent ................ passed (0.000 sec) % [16-7/68] bisim:minimal_idempotent ................ passed (0.000 sec) % [16-8/68] bisim:minimal_idempotent ................ passed (0.000 sec) % [16-9/68] bisim:minimal_idempotent ................ passed (0.000 sec) % [16-10/68] bisim:minimal_idempotent ............... passed (0.000 sec) % [16-11/68] bisim:minimal_idempotent ............... passed (0.000 sec) % [16-12/68] bisim:minimal_idempotent ............... passed (0.000 sec) % [16-13/68] bisim:minimal_idempotent ............... passed (0.000 sec) % [16-14/68] bisim:minimal_idempotent ............... passed (0.000 sec) % [16-15/68] bisim:minimal_idempotent ............... passed (0.000 sec) % [16-16/68] bisim:minimal_idempotent ............... passed (0.000 sec) % [16-17/68] bisim:minimal_idempotent ............... passed (0.000 sec) % [16-18/68] bisim:minimal_idempotent ............... passed (0.000 sec) % [16-19/68] bisim:minimal_idempotent ............... passed (0.000 sec) % [16-20/68] bisim:minimal_idempotent ............... passed (0.000 sec) % [16-21/68] bisim:minimal_idempotent ............... passed (0.000 sec) % [16-22/68] bisim:minimal_idempotent ............... passed (0.000 sec) % [17/68] bisim:minimal_hydra ....................... passed (0.000 sec) % [18/68] bisim:minimal_survives_gc ................. passed (0.000 sec) % [19/68] bisim:minimal_atomic ...................... passed (0.000 sec) % [20-1/68] bisim:canonical_variant ................. passed (0.000 sec) % [20-2/68] bisim:canonical_variant ................. passed (0.000 sec) % [20-3/68] bisim:canonical_variant ................. passed (0.000 sec) % [20-4/68] bisim:canonical_variant ................. passed (0.000 sec) % [20-5/68] bisim:canonical_variant ................. passed (0.000 sec) % [20-6/68] bisim:canonical_variant ................. passed (0.000 sec) % [20-7/68] bisim:canonical_variant ................. passed (0.000 sec) % [20-8/68] bisim:canonical_variant ................. passed (0.000 sec) % [20-9/68] bisim:canonical_variant ................. passed (0.000 sec) % [20-10/68] bisim:canonical_variant ................ passed (0.000 sec) % [20-11/68] bisim:canonical_variant ................ passed (0.000 sec) % [20-12/68] bisim:canonical_variant ................ passed (0.000 sec) % [20-13/68] bisim:canonical_variant ................ passed (0.000 sec) % [20-14/68] bisim:canonical_variant ................ passed (0.000 sec) % [20-15/68] bisim:canonical_variant ................ passed (0.000 sec) % [20-16/68] bisim:canonical_variant ................ passed (0.000 sec) % [20-17/68] bisim:canonical_variant ................ passed (0.000 sec) % [20-18/68] bisim:canonical_variant ................ passed (0.000 sec) % [20-19/68] bisim:canonical_variant ................ passed (0.000 sec) % [20-20/68] bisim:canonical_variant ................ passed (0.000 sec) % [20-21/68] bisim:canonical_variant ................ passed (0.000 sec) % [20-22/68] bisim:canonical_variant ................ passed (0.000 sec) % [21-1/68] bisim:canonical_ground .................. passed (0.000 sec) % [21-2/68] bisim:canonical_ground .................. passed (0.000 sec) % [21-3/68] bisim:canonical_ground .................. passed (0.000 sec) % [21-4/68] bisim:canonical_ground .................. passed (0.000 sec) % [21-5/68] bisim:canonical_ground .................. passed (0.000 sec) % [21-6/68] bisim:canonical_ground .................. passed (0.000 sec) % [21-7/68] bisim:canonical_ground .................. passed (0.000 sec) % [21-8/68] bisim:canonical_ground .................. passed (0.000 sec) % [21-9/68] bisim:canonical_ground .................. passed (0.000 sec) % [21-10/68] bisim:canonical_ground ................. passed (0.000 sec) % [21-11/68] bisim:canonical_ground ................. passed (0.000 sec) % [21-12/68] bisim:canonical_ground ................. passed (0.000 sec) % [21-13/68] bisim:canonical_ground ................. passed (0.000 sec) % [21-14/68] bisim:canonical_ground ................. passed (0.000 sec) % [21-15/68] bisim:canonical_ground ................. passed (0.000 sec) % [21-16/68] bisim:canonical_ground ................. passed (0.000 sec) % [21-17/68] bisim:canonical_ground ................. passed (0.000 sec) % [21-18/68] bisim:canonical_ground ................. passed (0.000 sec) % [21-19/68] bisim:canonical_ground ................. passed (0.000 sec) % [21-20/68] bisim:canonical_ground ................. passed (0.000 sec) % [21-21/68] bisim:canonical_ground ................. passed (0.000 sec) % [21-22/68] bisim:canonical_ground ................. passed (0.000 sec) % [22/68] bisim:canonical_cycle_same ................ passed (0.000 sec) % [23/68] bisim:canonical_hydra ..................... passed (0.000 sec) % [24/68] bisim:canonical_shared .................... passed (0.000 sec) % [25/68] bisim:canonical_vars_distinct ............. passed (0.000 sec) % [26/68] bisim:canonical_variable_age .............. passed (0.000 sec) % [27-1/68] bisim:factorized_names .................. passed (0.000 sec) % [27-2/68] bisim:factorized_names .................. passed (0.000 sec) % [27-3/68] bisim:factorized_names .................. passed (0.001 sec) % [27-4/68] bisim:factorized_names .................. passed (0.000 sec) % [27-5/68] bisim:factorized_names .................. passed (0.001 sec) % [27-6/68] bisim:factorized_names .................. passed (0.001 sec) % [27-7/68] bisim:factorized_names .................. passed (0.001 sec) % [27-8/68] bisim:factorized_names .................. passed (0.001 sec) % [27-9/68] bisim:factorized_names .................. passed (0.001 sec) % [27-10/68] bisim:factorized_names ................. passed (0.000 sec) % [27-11/68] bisim:factorized_names ................. passed (0.000 sec) % [27-12/68] bisim:factorized_names ................. passed (0.000 sec) % [27-13/68] bisim:factorized_names ................. passed (0.000 sec) % [27-14/68] bisim:factorized_names ................. passed (0.000 sec) % [27-15/68] bisim:factorized_names ................. passed (0.000 sec) % [27-16/68] bisim:factorized_names ................. passed (0.000 sec) % [27-17/68] bisim:factorized_names ................. passed (0.001 sec) % [27-18/68] bisim:factorized_names ................. passed (0.001 sec) % [27-19/68] bisim:factorized_names ................. passed (0.000 sec) % [27-20/68] bisim:factorized_names ................. passed (0.000 sec) % [27-21/68] bisim:factorized_names ................. passed (0.001 sec) % [27-22/68] bisim:factorized_names ................. passed (0.066 sec) % [28-1/68] bisim:factorized_roundtrip .............. passed (0.000 sec) % [28-2/68] bisim:factorized_roundtrip .............. passed (0.000 sec) % [28-3/68] bisim:factorized_roundtrip .............. passed (0.000 sec) % [28-4/68] bisim:factorized_roundtrip .............. passed (0.000 sec) % [28-5/68] bisim:factorized_roundtrip .............. passed (0.000 sec) % [28-6/68] bisim:factorized_roundtrip .............. passed (0.000 sec) % [28-7/68] bisim:factorized_roundtrip .............. passed (0.000 sec) % [28-8/68] bisim:factorized_roundtrip .............. passed (0.000 sec) % [28-9/68] bisim:factorized_roundtrip .............. passed (0.000 sec) % [28-10/68] bisim:factorized_roundtrip ............. passed (0.000 sec) % [28-11/68] bisim:factorized_roundtrip ............. passed (0.000 sec) % [28-12/68] bisim:factorized_roundtrip ............. passed (0.000 sec) % [28-13/68] bisim:factorized_roundtrip ............. passed (0.000 sec) % [28-14/68] bisim:factorized_roundtrip ............. passed (0.000 sec) % [28-15/68] bisim:factorized_roundtrip ............. passed (0.000 sec) % [28-16/68] bisim:factorized_roundtrip ............. passed (0.000 sec) % [28-17/68] bisim:factorized_roundtrip ............. passed (0.000 sec) % [28-18/68] bisim:factorized_roundtrip ............. passed (0.000 sec) % [28-19/68] bisim:factorized_roundtrip ............. passed (0.000 sec) % [28-20/68] bisim:factorized_roundtrip ............. passed (0.000 sec) % [28-21/68] bisim:factorized_roundtrip ............. passed (0.000 sec) % [28-22/68] bisim:factorized_roundtrip ............. passed (0.000 sec) % [29-1/68] bisim:factorized_acyclic ................ passed (0.000 sec) % [29-2/68] bisim:factorized_acyclic ................ passed (0.000 sec) % [29-3/68] bisim:factorized_acyclic ................ passed (0.000 sec) % [29-4/68] bisim:factorized_acyclic ................ passed (0.000 sec) % [29-5/68] bisim:factorized_acyclic ................ passed (0.000 sec) % [29-6/68] bisim:factorized_acyclic ................ passed (0.000 sec) % [29-7/68] bisim:factorized_acyclic ................ passed (0.000 sec) % [29-8/68] bisim:factorized_acyclic ................ passed (0.000 sec) % [29-9/68] bisim:factorized_acyclic ................ passed (0.000 sec) % [29-10/68] bisim:factorized_acyclic ............... passed (0.000 sec) % [29-11/68] bisim:factorized_acyclic ............... passed (0.000 sec) % [29-12/68] bisim:factorized_acyclic ............... passed (0.000 sec) % [29-13/68] bisim:factorized_acyclic ............... passed (0.000 sec) % [29-14/68] bisim:factorized_acyclic ............... passed (0.000 sec) % [29-15/68] bisim:factorized_acyclic ............... passed (0.000 sec) % [29-16/68] bisim:factorized_acyclic ............... passed (0.000 sec) % [29-17/68] bisim:factorized_acyclic ............... passed (0.000 sec) % [29-18/68] bisim:factorized_acyclic ............... passed (0.000 sec) % [29-19/68] bisim:factorized_acyclic ............... passed (0.000 sec) % [29-20/68] bisim:factorized_acyclic ............... passed (0.000 sec) % [29-21/68] bisim:factorized_acyclic ............... passed (0.000 sec) % [29-22/68] bisim:factorized_acyclic ............... passed (0.000 sec) % [30/68] bisim:minimal_false_unshared .............. passed (0.000 sec) % [31/68] bisim:minimal_true_unshared ............... passed (0.000 sec) % [32/68] bisim:minimal_false_shared ................ passed (0.000 sec) % [33/68] bisim:minimal_bisimilar ................... passed (0.000 sec) % [34-1/68] bisim:minimal_false_roundtrip ........... passed (0.000 sec) % [34-2/68] bisim:minimal_false_roundtrip ........... passed (0.000 sec) % [34-3/68] bisim:minimal_false_roundtrip ........... passed (0.000 sec) % [34-4/68] bisim:minimal_false_roundtrip ........... passed (0.000 sec) % [34-5/68] bisim:minimal_false_roundtrip ........... passed (0.000 sec) % [34-6/68] bisim:minimal_false_roundtrip ........... passed (0.000 sec) % [34-7/68] bisim:minimal_false_roundtrip ........... passed (0.000 sec) % [34-8/68] bisim:minimal_false_roundtrip ........... passed (0.000 sec) % [34-9/68] bisim:minimal_false_roundtrip ........... passed (0.000 sec) % [34-10/68] bisim:minimal_false_roundtrip .......... passed (0.000 sec) % [34-11/68] bisim:minimal_false_roundtrip .......... passed (0.000 sec) % [34-12/68] bisim:minimal_false_roundtrip .......... passed (0.000 sec) % [34-13/68] bisim:minimal_false_roundtrip .......... passed (0.000 sec) % [34-14/68] bisim:minimal_false_roundtrip .......... passed (0.000 sec) % [34-15/68] bisim:minimal_false_roundtrip .......... passed (0.000 sec) % [34-16/68] bisim:minimal_false_roundtrip .......... passed (0.000 sec) % [34-17/68] bisim:minimal_false_roundtrip .......... passed (0.000 sec) % [34-18/68] bisim:minimal_false_roundtrip .......... passed (0.000 sec) % [34-19/68] bisim:minimal_false_roundtrip .......... passed (0.000 sec) % [34-20/68] bisim:minimal_false_roundtrip .......... passed (0.000 sec) % [34-21/68] bisim:minimal_false_roundtrip .......... passed (0.000 sec) % [34-22/68] bisim:minimal_false_roundtrip .......... passed (0.000 sec) % [35/68] bisim:dollar_var_default .................. passed (0.000 sec) % [36/68] bisim:dollar_var_false .................... passed (0.000 sec) % [37/68] bisim:bad_option .......................... passed (0.000 sec) % [38-1/68] automaton:roundtrip ..................... passed (0.001 sec) % [38-2/68] automaton:roundtrip ..................... passed (0.000 sec) % [38-3/68] automaton:roundtrip ..................... passed (0.000 sec) % [38-4/68] automaton:roundtrip ..................... passed (0.000 sec) % [38-5/68] automaton:roundtrip ..................... passed (0.000 sec) % [38-6/68] automaton:roundtrip ..................... passed (0.000 sec) % [38-7/68] automaton:roundtrip ..................... passed (0.000 sec) % [38-8/68] automaton:roundtrip ..................... passed (0.000 sec) % [38-9/68] automaton:roundtrip ..................... passed (0.000 sec) % [38-10/68] automaton:roundtrip .................... passed (0.000 sec) % [38-11/68] automaton:roundtrip .................... passed (0.000 sec) % [38-12/68] automaton:roundtrip .................... passed (0.000 sec) % [38-13/68] automaton:roundtrip .................... passed (0.000 sec) % [38-14/68] automaton:roundtrip .................... passed (0.000 sec) % [38-15/68] automaton:roundtrip .................... passed (0.000 sec) % [38-16/68] automaton:roundtrip .................... passed (0.000 sec) % [38-17/68] automaton:roundtrip .................... passed (0.000 sec) % [38-18/68] automaton:roundtrip .................... passed (0.000 sec) % [38-19/68] automaton:roundtrip .................... passed (0.000 sec) % [38-20/68] automaton:roundtrip .................... passed (0.000 sec) % [38-21/68] automaton:roundtrip .................... passed (0.000 sec) % [38-22/68] automaton:roundtrip .................... passed (0.000 sec) % [39-1/68] automaton:shape ......................... passed (0.000 sec) % [39-2/68] automaton:shape ......................... passed (0.000 sec) % [39-3/68] automaton:shape ......................... passed (0.000 sec) % [39-4/68] automaton:shape ......................... passed (0.000 sec) % [39-5/68] automaton:shape ......................... passed (0.000 sec) % [39-6/68] automaton:shape ......................... passed (0.000 sec) % [39-7/68] automaton:shape ......................... passed (0.000 sec) % [39-8/68] automaton:shape ......................... passed (0.000 sec) % [39-9/68] automaton:shape ......................... passed (0.000 sec) % [39-10/68] automaton:shape ........................ passed (0.000 sec) % [39-11/68] automaton:shape ........................ passed (0.000 sec) % [39-12/68] automaton:shape ........................ passed (0.000 sec) % [39-13/68] automaton:shape ........................ passed (0.000 sec) % [39-14/68] automaton:shape ........................ passed (0.000 sec) % [39-15/68] automaton:shape ........................ passed (0.000 sec) % [39-16/68] automaton:shape ........................ passed (0.000 sec) % [39-17/68] automaton:shape ........................ passed (0.000 sec) % [39-18/68] automaton:shape ........................ passed (0.000 sec) % [39-19/68] automaton:shape ........................ passed (0.000 sec) % [39-20/68] automaton:shape ........................ passed (0.000 sec) % [39-21/68] automaton:shape ........................ passed (0.000 sec) % [39-22/68] automaton:shape ........................ passed (0.001 sec) % [40/68] automaton:leaf_term ....................... passed (0.000 sec) % [41/68] automaton:leaf_back ....................... passed (0.000 sec) % [42/68] automaton:var_term ........................ passed (0.000 sec) % [43/68] automaton:var_in_term ..................... passed (0.000 sec) % [44-1/68] automaton:classes ....................... passed (0.000 sec) % [44-2/68] automaton:classes ....................... passed (0.000 sec) % [44-3/68] automaton:classes ....................... passed (0.000 sec) % [44-4/68] automaton:classes ....................... passed (0.000 sec) % [44-5/68] automaton:classes ....................... passed (0.001 sec) % [44-6/68] automaton:classes ....................... passed (0.001 sec) % [44-7/68] automaton:classes ....................... passed (0.001 sec) % [44-8/68] automaton:classes ....................... passed (0.001 sec) % [44-9/68] automaton:classes ....................... passed (0.000 sec) % [44-10/68] automaton:classes ...................... passed (0.000 sec) % [44-11/68] automaton:classes ...................... passed (0.000 sec) % [44-12/68] automaton:classes ...................... passed (0.000 sec) % [44-13/68] automaton:classes ...................... passed (0.000 sec) % [44-14/68] automaton:classes ...................... passed (0.000 sec) % [44-15/68] automaton:classes ...................... passed (0.000 sec) % [44-16/68] automaton:classes ...................... passed (0.000 sec) % [44-17/68] automaton:classes ...................... passed (0.000 sec) % [44-18/68] automaton:classes ...................... passed (0.000 sec) % [44-19/68] automaton:classes ...................... passed (0.000 sec) % [44-20/68] automaton:classes ...................... passed (0.000 sec) % [44-21/68] automaton:classes ...................... passed (0.001 sec) % [44-22/68] automaton:classes ...................... passed (0.066 sec) % [45-1/68] automaton:minimal_term .................. passed (0.000 sec) % [45-2/68] automaton:minimal_term .................. passed (0.000 sec) % [45-3/68] automaton:minimal_term .................. passed (0.000 sec) % [45-4/68] automaton:minimal_term .................. passed (0.000 sec) % [45-5/68] automaton:minimal_term .................. passed (0.000 sec) % [45-6/68] automaton:minimal_term .................. passed (0.000 sec) % [45-7/68] automaton:minimal_term .................. passed (0.000 sec) % [45-8/68] automaton:minimal_term .................. passed (0.000 sec) % [45-9/68] automaton:minimal_term .................. passed (0.000 sec) % [45-10/68] automaton:minimal_term ................. passed (0.000 sec) % [45-11/68] automaton:minimal_term ................. passed (0.000 sec) % [45-12/68] automaton:minimal_term ................. passed (0.000 sec) % [45-13/68] automaton:minimal_term ................. passed (0.000 sec) % [45-14/68] automaton:minimal_term ................. passed (0.000 sec) % [45-15/68] automaton:minimal_term ................. passed (0.000 sec) % [45-16/68] automaton:minimal_term ................. passed (0.000 sec) % [45-17/68] automaton:minimal_term ................. passed (0.000 sec) % [45-18/68] automaton:minimal_term ................. passed (0.000 sec) % [45-19/68] automaton:minimal_term ................. passed (0.000 sec) % [45-20/68] automaton:minimal_term ................. passed (0.000 sec) % [45-21/68] automaton:minimal_term ................. passed (0.000 sec) % [45-22/68] automaton:minimal_term ................. passed (0.000 sec) % [46-1/68] automaton:idempotent .................... passed (0.000 sec) % [46-2/68] automaton:idempotent .................... passed (0.000 sec) % [46-3/68] automaton:idempotent .................... passed (0.000 sec) % [46-4/68] automaton:idempotent .................... passed (0.000 sec) % [46-5/68] automaton:idempotent .................... passed (0.000 sec) % [46-6/68] automaton:idempotent .................... passed (0.000 sec) % [46-7/68] automaton:idempotent .................... passed (0.000 sec) % [46-8/68] automaton:idempotent .................... passed (0.000 sec) % [46-9/68] automaton:idempotent .................... passed (0.000 sec) % [46-10/68] automaton:idempotent ................... passed (0.000 sec) % [46-11/68] automaton:idempotent ................... passed (0.000 sec) % [46-12/68] automaton:idempotent ................... passed (0.000 sec) % [46-13/68] automaton:idempotent ................... passed (0.000 sec) % [46-14/68] automaton:idempotent ................... passed (0.000 sec) % [46-15/68] automaton:idempotent ................... passed (0.000 sec) % [46-16/68] automaton:idempotent ................... passed (0.000 sec) % [46-17/68] automaton:idempotent ................... passed (0.000 sec) % [46-18/68] automaton:idempotent ................... passed (0.000 sec) % [46-19/68] automaton:idempotent ................... passed (0.000 sec) % [46-20/68] automaton:idempotent ................... passed (0.000 sec) % [46-21/68] automaton:idempotent ................... passed (0.000 sec) % [46-22/68] automaton:idempotent ................... passed (0.000 sec) % [47-1/68] automaton:map ........................... passed (0.001 sec) % [47-2/68] automaton:map ........................... passed (0.001 sec) % [47-3/68] automaton:map ........................... passed (0.001 sec) % [47-4/68] automaton:map ........................... passed (0.001 sec) % [47-5/68] automaton:map ........................... passed (0.002 sec) % [47-6/68] automaton:map ........................... passed (0.001 sec) % [47-7/68] automaton:map ........................... passed (0.002 sec) % [47-8/68] automaton:map ........................... passed (0.005 sec) % [47-9/68] automaton:map ........................... passed (0.001 sec) % [47-10/68] automaton:map .......................... passed (0.000 sec) % [47-11/68] automaton:map .......................... passed (0.001 sec) % [47-12/68] automaton:map .......................... passed (0.000 sec) % [47-13/68] automaton:map .......................... passed (0.000 sec) % [47-14/68] automaton:map .......................... passed (0.000 sec) % [47-15/68] automaton:map .......................... passed (0.000 sec) % [47-16/68] automaton:map .......................... passed (0.000 sec) % [47-17/68] automaton:map .......................... passed (0.001 sec) % [47-18/68] automaton:map .......................... passed (0.001 sec) % [47-19/68] automaton:map .......................... passed (0.000 sec) % [47-20/68] automaton:map .......................... passed (0.001 sec) % [47-21/68] automaton:map .......................... passed (0.003 sec) % [47-22/68] automaton:map .......................... passed (0.184 sec) % [48/68] automaton:canonical ....................... passed (0.000 sec) % [49/68] automaton:canonical_variant ............... passed (0.000 sec) % [50/68] automaton:unreachable ..................... passed (0.000 sec) % [51/68] automaton:unreachable_map ................. passed (0.000 sec) % [52/68] automaton:cycles_of_different_length ...... passed (0.000 sec) % [53/68] automaton:not_bisimilar ................... passed (0.000 sec) % [54/68] automaton:sink_only ....................... passed (0.000 sec) % [55/68] automaton:sink_start_term ................. passed (0.000 sec) % [56/68] automaton:disconnected .................... passed (0.000 sec) % [57/68] automaton:out_of_order .................... passed (0.000 sec) % [58/68] automaton:zero_arity ...................... passed (0.000 sec) % [59/68] automaton:many_sinks ...................... passed (0.002 sec) % [60/68] automaton:deep ............................ passed (0.005 sec) % [61/68] automaton:survives_gc ..................... passed (0.000 sec) % [62/68] automaton:no_state ........................ passed (0.000 sec) % [63/68] automaton:state_zero ...................... passed (0.000 sec) % [64/68] automaton:state_not_integer ............... passed (0.000 sec) % [65/68] automaton:state_unbound ................... passed (0.000 sec) % [66/68] automaton:not_compound .................... passed (0.000 sec) % [67/68] automaton:no_automaton .................... passed (0.000 sec) % [68/68] automaton:bad_state_in_term_automaton ..... passed (0.000 sec) . % [1/9] body_index:p1 ............................... passed (0.000 sec) % [2/9] body_index:p2 ............................... passed (0.000 sec) % [3/9] body_index:p3 ............................... passed (0.000 sec) % [4/9] body_index:p4 ............................... passed (0.000 sec) % [5/9] body_index:p5 ............................... passed (0.000 sec) % [6/9] body_index:p6 ............................... passed (0.000 sec) % [7/9] body_index:p6 ............................... passed (0.000 sec) % [8/9] body_index:p7 ............................... passed (0.000 sec) % [9/9] body_index:p8 ............................... passed (0.000 sec) . % [1/56] call1:call ................................. passed (0.000 sec) % [2/56] call1:clause ............................... passed (0.000 sec) % [3/56] call1:clause ............................... passed (0.000 sec) % [4/56] call1:big_clause ........................... passed (0.535 sec) % [5/56] apply:error ................................ passed (0.000 sec) % [6/56] callN:error ................................ passed (0.000 sec) % [7/56] callN:if_then_else ......................... passed (0.000 sec) % [8/56] callN:disj ................................. passed (0.000 sec) % [9/56] callN:conj ................................. passed (0.000 sec) % [10/56] callN:qn8 ................................. passed (0.000 sec) % [11/56] callN:an8 ................................. passed (0.000 sec) % [12/56] callN:qe8 ................................. passed (0.000 sec) % [13/56] callN:ae8 ................................. passed (0.000 sec) % [14/56] callN:max_procedure_arity ................. passed (0.000 sec) % [15/56] callN:max_procedure_arity ................. passed (0.000 sec) % [16/56] cross_module_call:cmc1 .................... passed (0.000 sec) % [17/56] cross_module_call:cmc1 .................... passed (0.000 sec) % [18/56] cross_module_call:cmc2 .................... passed (0.000 sec) % [19/56] cross_module_call:cmc2 .................... passed (0.000 sec) % [20/56] cross_module_call:cmc3 .................... passed (0.000 sec) % [21/56] cross_module_call:cmc4 .................... passed (0.000 sec) % [22/56] cross_module_call:c_cm1 ................... passed (0.000 sec) % [23/56] cross_module_call:c_cm2 ................... passed (0.000 sec) % [24/56] at2:context ............................... passed (0.000 sec) % [25/56] at2:var ................................... passed (0.000 sec) % [26/56] at2:var ................................... passed (0.000 sec) % [27/56] at2:var ................................... passed (0.000 sec) % [28/56] at2:var ................................... passed (0.000 sec) % [29/56] at2:var ................................... passed (0.000 sec) % [30/56] snip:indent ............................... passed (0.000 sec) % [31/56] snip:cut .................................. passed (0.000 sec) % [32/56] snip:cut2 ................................. passed (0.000 sec) % [33/56] snip:cut3 ................................. passed (0.000 sec) % [34/56] snip:lscut ................................ passed (0.000 sec) % [35/56] no_autoload:unknown ....................... passed (0.000 sec) % [36/56] setup_call_cleanup:true ................... passed (0.000 sec) % [37/56] setup_call_cleanup:true_debug ............. passed (0.000 sec) % [38/56] setup_call_cleanup:cut .................... passed (0.000 sec) % [39/56] setup_call_cleanup:cut_debug .............. passed (0.000 sec) % [40/56] setup_call_cleanup:fail ................... passed (0.000 sec) % [41/56] setup_call_cleanup:fail2 .................. passed (0.000 sec) % [42/56] setup_call_cleanup:fail_debug ............. passed (0.000 sec) % [43/56] setup_call_cleanup:fail_debug2 ............ passed (0.000 sec) % [44/56] setup_call_cleanup:error .................. passed (0.000 sec) % [45/56] setup_call_cleanup:error_debug ............ passed (0.000 sec) % [46/56] setup_call_cleanup:nondet ................. passed (0.000 sec) % [47/56] setup_call_cleanup:cleanup ................ passed (0.000 sec) % [48/56] setup_call_cleanup:cleanup ................ passed (0.000 sec) % [49/56] setup_call_cleanup:error_choice ........... passed (0.000 sec) % [50/56] setup_call_cleanup:error_choice ........... passed (0.000 sec) % [51/56] setup_call_cleanup:error_choice ........... passed (0.000 sec) % [52/56] catch:exit_nondet ......................... passed (0.000 sec) % [53/56] catch:partial_unification ................. passed (0.000 sec) % [54/56] catch:attvar .............................. passed (0.000 sec) % [55/56] catch:nested .............................. passed (0.000 sec) % [56/56] catch:urgent .............................. passed (0.000 sec) . % [1/11] continuation:basic ......................... passed (0.000 sec) % [2/11] continuation:sum ........................... passed (0.000 sec) % [3/11] continuation:sum ........................... passed (0.000 sec) % [4/11] continuation:sum ........................... passed (0.000 sec) % [5/11] continuation:play .......................... passed (0.000 sec) % [6/11] continuation:transducer .................... passed (0.000 sec) % [7/11] continuation:ifthen ........................ passed (0.000 sec) % [8/11] continuation:mcall2 ........................ passed (0.000 sec) % [9/11] continuation:test_cref ..................... passed (0.003 sec) % [10/11] continuation:context ...................... passed (0.000 sec) % [11-1/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-2/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-3/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-4/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-5/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-6/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-7/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-8/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-9/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-10/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-11/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-12/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-13/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-14/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-15/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-16/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-17/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-18/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-19/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-20/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-21/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-22/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-23/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-24/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-25/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-26/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-27/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-28/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-29/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-30/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-31/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-32/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-33/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-34/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-35/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-36/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-37/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-38/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-39/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-40/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-41/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-42/11] fast_heap:fast_heap .................... passed (0.000 sec) . % [1/11] copy_term:share ............................ passed (0.000 sec) % [2/11] copy_term:cycle ............................ passed (0.000 sec) % [3/11] copy_term_4:share .......................... passed (0.000 sec) % [4/11] copy_term_4:share .......................... passed (0.000 sec) % [5/11] copy_term_4:attvar ......................... passed (0.000 sec) % [6/11] copy_term_4:attvar ......................... passed (0.000 sec) % [7/11] copy_term_4:attvar ......................... passed (0.000 sec) % [8/11] copy_term_4:attvar ......................... passed (0.000 sec) % [9/11] copy_term_4:cycle .......................... passed (0.000 sec) % [10/11] copy_term_nat_4:attvar .................... passed (0.000 sec) % [11/11] copy_term_nat_4:attvar .................... passed (0.000 sec) . % [1/12] coroutining:frozen ......................... passed (0.000 sec) % [2/12] coroutining:frozen_diff .................... passed (0.009 sec) % [3/12] coroutining:frozen_clpfd ................... passed (0.001 sec) % [4/12] coroutining:when1 .......................... passed (0.004 sec) % [5/12] coroutining:when2 .......................... passed (0.000 sec) % [6/12] coroutining:when3 .......................... passed (0.000 sec) % [7/12] coroutining:when4_inf ...................... passed (0.000 sec) % [8/12] coroutining:when5_r ........................ passed (0.000 sec) % [9/12] coroutining:when6 .......................... passed (0.000 sec) % [10/12] coroutining:when7 ......................... passed (0.000 sec) % [11/12] coroutining:when8 ......................... passed (0.000 sec) % [12/12] coroutining:when8 ......................... passed (0.000 sec) . % [1/42] expand_goal:1 .............................. passed (0.000 sec) % [2/42] expand_goal:3 .............................. passed (0.000 sec) % [3/42] expand_goal:nonlin ......................... passed (0.000 sec) % [4/42] expand_goal:nonlin ......................... passed (0.000 sec) % [5/42] expand_goal:5 .............................. passed (0.000 sec) % [6/42] expand_goal:6 .............................. passed (0.000 sec) % [7/42] expand_goal:t .............................. passed (0.000 sec) % [8/42] expand_goal:t .............................. passed (0.000 sec) % [9/42] phrase:iso_8_1_1_3 ......................... passed (0.000 sec) % [10/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) % [11/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) % [12/42] phrase:iso_8_1_1_3_OPEN ................... passed (0.000 sec) % [13/42] phrase:iso_8_1_1_3_OPEN ................... passed (0.000 sec) % [14/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) % [15/42] phrase:uniso_8_1_1_3 ...................... passed (0.000 sec) % [16/42] phrase:iso1 ............................... passed (0.000 sec) % [17/42] phrase:uwn2 ............................... passed (0.000 sec) % [18/42] phrase:uwn3 ............................... passed (0.000 sec) % [19/42] phrase:uwn4 ............................... passed (0.000 sec) % [20/42] phrase:partial_terminal ................... passed (0.000 sec) % [21/42] rule_expansions:1 ......................... passed (0.000 sec) % [22/42] rule_expansions:2 ......................... passed (0.000 sec) % [23/42] dcg_rule_expansions:1 ..................... passed (0.000 sec) % [24/42] dcg_rule_expansions:2 ..................... passed (0.000 sec) % [25/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) % [26/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) % [27/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) % [28/42] dcg_rule_expansions:meta1 ................. passed (0.000 sec) % [29/42] steadfastness:cut1_a ...................... passed (0.000 sec) % [30/42] steadfastness:cut1_b ...................... passed (0.000 sec) % [31/42] steadfastness:curlycut_a .................. passed (0.000 sec) % [32/42] steadfastness:curlycut_b .................. passed (0.000 sec) % [33/42] steadfastness:not1_a ...................... passed (0.000 sec) % [34/42] steadfastness:not1_b ...................... passed (0.000 sec) % [35/42] steadfastness:not2_a ...................... passed (0.000 sec) % [36/42] steadfastness:not2_b ...................... passed (0.000 sec) % [37/42] context:steadfastness ..................... passed (0.000 sec) % [38/42] context:generalcontext .................... passed (0.000 sec) % [39/42] context:epsilonness ....................... passed (0.000 sec) % [40/42] context:epsilonness ....................... passed (0.000 sec) % [41/42] context:vd ................................ passed (0.001 sec) % [42/42] context:forprogrammers .................... passed (0.000 sec) . % [1/2] prolog_frame_attribute:none ................. passed (0.000 sec) % [2/2] prolog_frame_attribute:foreign_choice ....... passed (0.001 sec) . % [1/22] det_decl:det ............................... passed (0.000 sec) % [2/22] det_decl:cdet .............................. passed (0.000 sec) % [3/22] det_decl:cdet2 ............................. passed (0.000 sec) % [4/22] det_decl:nondet_1 .......................... passed (0.000 sec) % [5/22] det_decl:nondet_2 .......................... passed (0.000 sec) % [6/22] det_decl:nondet_3 .......................... passed (0.003 sec) % [7/22] det_decl:fail_1 ............................ passed (0.000 sec) % [8/22] det_decl:fail_2 ............................ passed (0.000 sec) % [9/22] det_decl:fail_3 ............................ passed (0.002 sec) % [10/22] det_guard:det ............................. passed (0.000 sec) % [11/22] det_guard:ndet ............................ passed (0.000 sec) % [12/22] det_guard:ndet ............................ passed (0.002 sec) % [13/22] det_guard:fail ............................ passed (0.000 sec) % [14/22] det_guard:fail ............................ passed (0.002 sec) % [15/22] det_goal:det .............................. passed (0.000 sec) % [16/22] det_goal:ndet ............................. passed (0.000 sec) % [17/22] det_goal:ndet ............................. passed (0.002 sec) % [18/22] det_goal:fail ............................. passed (0.000 sec) % [19/22] det_goal:fail ............................. passed (0.002 sec) % [20/22] det_goal:ndetv ............................ passed (0.000 sec) % [21/22] det_goal:ndetv ............................ passed (0.000 sec) % [22/22] det_goal:ndetv ............................ passed (0.000 sec) . % [1/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [2/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [3/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [4/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [5/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [6/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [7/88] dict_create:create ......................... passed (0.030 sec) % [8/88] dict_create:convert ........................ passed (0.000 sec) % [9/88] dict_bips:is_dict/1 ........................ passed (0.000 sec) % [10/88] dict_bips:is_dict/1 ....................... passed (0.000 sec) % [11/88] dict_bips:is_dict/2 ....................... passed (0.000 sec) % [12/88] dict_bips:is_dict/2 ....................... passed (0.000 sec) % [13/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [14/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [15/88] dict_bips:dict_pairs_duplicate_key ........ passed (0.000 sec) % [16/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [17/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [18/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [19/88] dict_bips:get_dict/3 ...................... passed (0.000 sec) % [20/88] dict_bips:get_dict/3 ...................... passed (0.000 sec) % [21/88] dict_bips:get_dict/3 ...................... passed (0.000 sec) % [22/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [23/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [24/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [25/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [26/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [27/88] dict_bips:put_dict/4 ...................... passed (0.000 sec) % [28/88] dict_bips:put_dict/4 ...................... passed (0.000 sec) % [29/88] dict_bips:put_dict/4 ...................... passed (0.000 sec) % [30/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [31/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [32/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [33/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [34/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [35/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [36/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [37/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [38/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [39/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [40/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [41/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [42/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [43/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [44/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [45/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [46/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [47/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [48/88] dict_bips::::::::0x7c5527c1a400: fd fd fd fd fd fd fd fd fd[fd]fd fd fd fa fa fa 0x7c5527c1a480: fa fa fa fa fa fa fd fd fd fd fd fd fd fd fd fd 0x7c5527c1a500: fd fd fd fd fd fd fd fd fd fd fd fa fa fa fa fa 0x7c5527c1a580: fa fa fa fa fd fd fd fd fd fd fd fd fd fd fd fd 0x7c5527c1a600: fd fd fd fd fd fd fd fd fd fa fa fa fa fa fa fa 0x7c5527c1a680: fa fa fd fd fd fd fd fd fd fd fd fd fd fd fd fd Shadow byte legend (one shadow byte represents 8 application bytes): Addressable: 00 Partially addressable: 01 02 03 04 05 06 07 Heap left redzone: fa Freed heap region: fd Stack left redzone: f1 Stack mid redzone: f2 Stack right redzone: f3 Stack after return: f5 Stack use after scope: f8 Global redzone: f9 Global init order: f6 Poisoned by user: f7 Container overflow: fc Array cookie: ac Intra object redzone: bb ASan internal: fe Left alloca redzone: ca Right alloca redzone: cb ==3203108==ABORTING