R Under development (unstable) (2026-02-18 r89435 ucrt) -- "Unsuffered Consequences"
Copyright (C) 2026 The R Foundation for Statistical Computing
Platform: x86_64-w64-mingw32/x64

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.023 sec)
% [2/21] reconsult:add_clause ....................... passed (0.003 sec)
% [3/21] reconsult:del_clause ....................... passed (0.003 sec)
% [4/21] reconsult:del_clause_a ..................... passed (0.004 sec)
% [5/21] reconsult:del_clause_z ..................... passed (0.003 sec)
% [6/21] reconsult:replace_clause ................... passed (0.003 sec)
% [7/21] reconsult:add_pred ......................... passed (0.002 sec)
% [8/21] reconsult:del_pred ......................... passed (0.002 sec)
% [9/21] reconsult:add_attr_end ..................... passed (0.002 sec)
% [10/21] reconsult:del_attr_end .................... passed (0.003 sec)
% [11/21] reconsult:del_dynamic ..................... passed (0.002 sec)
% [12/21] reconsult:del_det ......................... passed (0.003 sec)
% [13/21] reconsult:add_thread_local ................ passed (0.003 sec)
% [14/21] reconsult:del_discontiguous ............... passed (0.003 sec)
% [15/21] reconsult:add_meta_predicate .............. passed (0.002 sec)
% [16/21] reconsult:del_meta_predicate .............. passed (0.002 sec)
% [17/21] reconsult:del_export ...................... passed (0.002 sec)
% [18/21] reconsult:reload_maplist .................. passed (0.007 sec)
% [19/21] reconsult:mod_dynamic ..................... passed (0.003 sec)
% [20/21] reconsult:goal_expansion .................. passed (0.007 sec)
% [21/21] reconsult:keep_tabling .................... passed (0.004 sec)
.
% [1/15] sandbox:cleanup ............................ passed (0.000 sec)
% [2/15] sandbox:time ............................... passed (0.001 sec)
% [3/15] sandbox:setof .............................. passed (0.000 sec)
% [4/15] sandbox:phrase ............................. passed (0.000 sec)
% [5/15] sandbox:apply .............................. passed (0.000 sec)
% [6/15] sandbox:aggregate .......................... passed (0.000 sec)
% [7/15] sandbox:aggregate .......................... passed (0.000 sec)
% [8/15] sandbox:dcg ................................ passed (0.000 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.000 sec)
% [14/15] sandbox:flag .............................. passed (0.000 sec)
% [15/15] sandbox:flag .............................. passed (0.000 sec)
. done
Running scripts from core 
% [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.003 sec)
% [22/52] acyclic_terms:wid..ted_term_is_acyclic .... passed (0.022 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.012 sec)
% [26/52] acyclic_terms:long_list_is_acyclic_2 ...... passed (0.014 sec)
% [27/52] acyclic_terms:long_list_is_acyclic_3 ...... passed (0.012 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.003 sec)
% [38/52] cyclic_terms:deep..ed_term_is_cyclic_2 .... passed (0.003 sec)
% [39/52] cyclic_terms:wide..ed_term_is_cyclic_1 .... passed (0.023 sec)
% [40/52] cyclic_terms:wide..ed_term_is_cyclic_2 .... passed (0.019 sec)
% [41/52] cyclic_terms:list_is_cyclic ............... passed (0.000 sec)
% [42/52] cyclic_terms:long_list_is_cyclic .......... passed (0.007 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)
.Skipped toplevel answer tests; requires library(unix) from clib
.
% [1/221] arith_basics:arith_1 ...................... passed (0.000 sec)
% [2/221] arith_basics:arith_2 ...................... passed (0.000 sec)
% [3/221] arith_basics:arith_3 ...................... passed (0.000 sec)
% [4/221] arith_basics:arith_4 ...................... passed (0.000 sec)
% [5/221] arith_basics:arith_5 ...................... passed (0.000 sec)
% [6/221] arith_basics:arith_6 ...................... passed (0.000 sec)
% [7/221] arith_basics:arith_7 ...................... passed (0.000 sec)
% [8/221] arith_basics:arith_8 ...................... passed (0.000 sec)
% [9/221] arith_basics:arith_9 ...................... passed (0.000 sec)
% [10/221] arith_basics:arith_10 .................... passed (0.000 sec)
% [11/221] arith_basics:float_fractional_part_1 ..... passed (0.000 sec)
% [12/221] arith_basics:arith_11 .................... passed (0.000 sec)
% [13/221] arith_basics:arith_12 .................... passed (0.000 sec)
% [14/221] arith_basics:arith_13 .................... passed (0.000 sec)
% [15/221] arith_basics:sign_1 ...................... passed (0.000 sec)
% [16/221] arith_basics:sign_2 ...................... passed (0.000 sec)
% [17/221] arith_basics:sign_3 ...................... passed (0.000 sec)
% [18/221] arith_basics:copysign_1 .................. passed (0.000 sec)
% [19/221] arith_basics:copysign_2 .................. passed (0.000 sec)
% [20/221] arith_basics:copysign_3 .................. passed (0.000 sec)
% [21/221] arith_basics:abs_1 ....................... passed (0.000 sec)
% [22/221] arith_basics:floor_1 ..................... passed (0.000 sec)
% [23/221] arith_basics:ceil_1 ...................... passed (0.000 sec)
% [24/221] arith_basics:truncate_1 .................. passed (0.000 sec)
% [25/221] arith_basics:floor_2 ..................... passed (0.000 sec)
% [26/221] arith_basics:ceil_2 ...................... passed (0.000 sec)
% [27/221] arith_basics:round_2 ..................... passed (0.000 sec)
% [28/221] arith_basics:integer_2 ................... passed (0.000 sec)
% [29/221] arith_basics:int_1 ....................... passed (0.000 sec)
% [30/221] arith_basics:cmp_1 ....................... passed (0.000 sec)
% [31/221] div:mod .................................. passed (0.000 sec)
% [32/221] div:minint ............................... passed (0.000 sec)
% [33/221] div:minint ............................... passed (0.000 sec)
% [34/221] gdiv:minint .............................. passed (0.000 sec)
% [35/221] rem:small ................................ passed (0.000 sec)
% [36/221] rem:small_divneg ......................... passed (0.000 sec)
% [37/221] rem:small_neg ............................ passed (0.000 sec)
% [38/221] rem:big .................................. passed (0.000 sec)
% [39/221] rem:big_neg .............................. passed (0.000 sec)
% [40/221] rem:exhaust .............................. passed (0.000 sec)
% [41/221] rem:big .................................. passed (0.000 sec)
% [42/221] rem:allq ................................. passed (0.004 sec)
% [43/221] mod:small ................................ passed (0.000 sec)
% [44/221] mod:small_divneg ......................... passed (0.000 sec)
% [45/221] mod:small_neg ............................ passed (0.000 sec)
% [46/221] mod:big .................................. passed (0.000 sec)
% [47/221] mod:big_neg .............................. passed (0.000 sec)
% [48/221] mod:exhaust .............................. passed (0.000 sec)
% [49/221] mod:big .................................. passed (0.000 sec)
% [50/221] pow:rat .................................. passed (0.000 sec)
% [51/221] pow:rat .................................. passed (0.000 sec)
% [52/221] pow:rat .................................. passed (0.000 sec)
% [53/221] pow:2^65 ................................. passed (0.000 sec)
% [54/221] gcd:gcd .................................. passed (0.000 sec)
% [55/221] gcd:gcd .................................. passed (0.000 sec)
% [56/221] gcd:gcd .................................. passed (0.000 sec)
% [57/221] shift:shift_right_large .................. passed (0.000 sec)
% [58/221] shift:shift_right_large .................. passed (0.000 sec)
% [59/221] shift:shift_right_large .................. passed (0.000 sec)
% [60/221] shift:shift_right_large .................. passed (0.000 sec)
% [61/221] shift:shift_left_large ................... passed (0.000 sec)
% [62/221] errors:cyclic ............................ passed (0.000 sec)
% [63/221] ar_builtin:a_add_fc_int .................. passed (0.000 sec)
% [64/221] ar_builtin:a_add_fc_float ................ passed (0.000 sec)
% [65/221] ar_builtin:a_fc_minus .................... passed (0.000 sec)
% [66/221] eval:ref ................................. passed (0.000 sec)
% [67/221] hyperbolic:sinh .......................... passed (0.000 sec)
% [68/221] hyperbolic:cosh .......................... passed (0.000 sec)
% [69/221] hyperbolic:tanh .......................... passed (0.000 sec)
% [70/221] hyperbolic:asinh ......................... passed (0.000 sec)
% [71/221] hyperbolic:acosh ......................... passed (0.000 sec)
% [72/221] hyperbolic:atanh ......................... passed (0.000 sec)
% [73/221] bigint:add_promote1 ...................... passed (0.000 sec)
% [74/221] bigint:add_promote2 ...................... passed (0.000 sec)
% [75/221] bigint:neg_1 ............................. passed (0.000 sec)
% [76/221] bigint:neg_2 ............................. passed (0.000 sec)
% [77/221] bigint:neg_promote ....................... passed (0.000 sec)
% [78/221] bigint:abs_1 ............................. passed (0.000 sec)
% [79/221] bigint:sign_1 ............................ passed (0.000 sec)
% [80/221] bigint:floor_1 ........................... passed (0.000 sec)
% [81/221] bigint:floor_2 ........................... passed (0.000 sec)
% [82/221] bigint:ceil_1 ............................ passed (0.000 sec)
% [83/221] bigint:ceil_2 ............................ passed (0.000 sec)
% [84/221] bigint:msb_0 ............................. passed (0.000 sec)
% [85/221] bigint:msb_1 ............................. passed (0.000 sec)
% [86/221] bigint:msb_2 ............................. passed (0.000 sec)
% [87/221] bigint:lsb_0 ............................. passed (0.000 sec)
% [88/221] bigint:lsb_1 ............................. passed (0.000 sec)
% [89/221] bigint:lsb_2 ............................. passed (0.000 sec)
% [90/221] bigint:popcount_1 ........................ passed (0.000 sec)
% [91/221] bigint:popcount_2 ........................ passed (0.000 sec)
% [92/221] bigint:shift_1 ........................... passed (0.000 sec)
% [93/221] bigint:shift_2 ........................... passed (0.000 sec)
% [94/221] bigint:shift_3 ........................... passed (0.274 sec)
% [95/221] bigint:fac_1 ............................. passed (0.000 sec)
% [96/221] bigint:arith_1 ........................... passed (0.000 sec)
% [97/221] bigint:pow_1 ............................. passed (0.000 sec)
% [98/221] bigint:pow_2 ............................. passed (0.000 sec)
% [99/221] bigint:pow_3 ............................. passed (0.000 sec)
% [100/221] bigint:pow_4 ............................ passed (0.000 sec)
% [101/221] bigint:pow_5 ............................ passed (0.000 sec)
% [102/221] bigint:pow_6 ............................ passed (0.000 sec)
% [103/221] bigint:pow_7 ............................ passed (0.000 sec)
% [104/221] bigint:powm_1 ........................... passed (0.000 sec)
% [105/221] bigint:powm_2 ........................... passed (0.000 sec)
% [106/221] bigint:integer_1 ........................ passed (0.000 sec)
% [107/221] bigint:integer_2 ........................ passed (0.000 sec)
% [108/221] bigint:rational_1 ....................... passed (0.000 sec)
% [109/221] bigint:rational_2 ....................... passed (0.000 sec)
% [110/221] bigint:rational_3 ....................... passed (0.000 sec)
% [111/221] bigint:rational_4 ....................... passed (0.000 sec)
% [112/221] bigint:rationalize_1 .................... passed (0.000 sec)
% [113/221] bigint:rationalize_2 .................... passed (0.000 sec)
% [114/221] bigint:number_1 ......................... passed (0.000 sec)
% [115/221] bigint:float_1 .......................... passed (0.000 sec)
% [116/221] bigint:cmp_1 ............................ passed (0.000 sec)
% [117/221] bigint:clause_1 ......................... passed (0.000 sec)
% [118/221] bigint:comp_1 ........................... passed (0.001 sec)
% [119/221] bigint:comp_2 ........................... passed (0.000 sec)
% [120/221] bigint:rec_1 ............................ passed (0.001 sec)
% [121/221] bigint:number_codes_1 ................... passed (0.000 sec)
% [122/221] bigint:atom_number_1 .................... passed (0.000 sec)
% [123/221] bigint:hex_1 ............................ passed (0.000 sec)
% [124/221] bigint:fmtd_1 ........................... passed (0.000 sec)
% [125/221] bigint:fmtd_2 ........................... passed (0.000 sec)
% [126/221] bigint:fmtD_1 ........................... passed (0.000 sec)
% [127/221] bigint:fmtD_2 ........................... passed (0.000 sec)
% [128/221] bigint:fmtf_1 ........................... passed (0.002 sec)
% [129/221] bigint:random ........................... passed (0.004 sec)
% [130/221] bigint:length ........................... passed (0.000 sec)
% [131/221] bigint:ar_add_ui ........................ passed (0.000 sec)
% [132/221] bigint:bf_trig_alloc .................... passed (0.001 sec)
% [133/221] minint:decimal .......................... passed (0.000 sec)
% [134/221] minint:spaced_decimal ................... passed (0.000 sec)
% [135/221] minint:binary ........................... passed (0.000 sec)
% [136/221] minint:spaced_binary .................... passed (0.000 sec)
% [137/221] minint:octal ............................ passed (0.000 sec)
% [138/221] minint:spaced_octal ..................... passed (0.000 sec)
% [139/221] minint:hexadecimal ...................... passed (0.000 sec)
% [140/221] minint:spaced_hexadecimal ............... passed (0.000 sec)
% [141/221] minint_promotion:decimal ................ passed (0.000 sec)
% [142/221] minint_promotion:spaced_decimal ......... passed (0.000 sec)
% [143/221] minint_promotion:binary ................. passed (0.000 sec)
% [144/221] minint_promotion:spaced_binary .......... passed (0.000 sec)
% [145/221] minint_promotion:octal .................. passed (0.000 sec)
% [146/221] minint_promotion:spaced_octal ........... passed (0.000 sec)
% [147/221] minint_promotion:hexadecimal ............ passed (0.000 sec)
% [148/221] minint_promotion:spaced_hexadecimal ..... passed (0.000 sec)
% [149/221] minint_promotion:mpz_to_int64 ........... passed (0.000 sec)
% [150/221] minint_promotion:addition ............... passed (0.000 sec)
% [151/221] minint_promotion:addition ............... passed (0.000 sec)
% [152/221] minint_promotion:subtraction ............ passed (0.000 sec)
% [153/221] minint_promotion:multiplication ......... passed (0.000 sec)
% [154/221] minint_promotion:multiplication ......... passed (0.000 sec)
% [155/221] minint_promotion:multiplication ......... passed (0.000 sec)
% [156/221] maxint:decimal .......................... passed (0.000 sec)
% [157/221] maxint:spaced_decimal ................... passed (0.000 sec)
% [158/221] maxint:binary ........................... passed (0.000 sec)
% [159/221] maxint:spaced_binary .................... passed (0.000 sec)
% [160/221] maxint:octal ............................ passed (0.000 sec)
% [161/221] maxint:spaced_octal ..................... passed (0.000 sec)
% [162/221] maxint:hexadecimal ...................... passed (0.000 sec)
% [163/221] maxint:spaced_hexadecimal ............... passed (0.000 sec)
% [164/221] maxint_promotion:decimal ................ passed (0.000 sec)
% [165/221] maxint_promotion:spaced_decimal ......... passed (0.000 sec)
% [166/221] maxint_promotion:binary ................. passed (0.000 sec)
% [167/221] maxint_promotion:spaced_binary .......... passed (0.000 sec)
% [168/221] maxint_promotion:octal .................. passed (0.000 sec)
% [169/221] maxint_promotion:spaced_octal ........... passed (0.000 sec)
% [170/221] maxint_promotion:hexadecimal ............ passed (0.000 sec)
% [171/221] maxint_promotion:spaced_hexadecimal ..... passed (0.000 sec)
% [172/221] maxint_promotion:addition ............... passed (0.000 sec)
% [173/221] maxint_promotion:addition ............... passed (0.000 sec)
% [174/221] maxint_promotion:subtraction ............ passed (0.000 sec)
% [175/221] maxint_promotion:multiplication ......... passed (0.000 sec)
% [176/221] maxint_promotion:multiplication ......... passed (0.000 sec)
% [177/221] maxint_promotion:multiplication ......... passed (0.000 sec)
% [178/221] round:half_down ......................... passed (0.000 sec)
% [179/221] round:nhalf_up .......................... passed (0.000 sec)
% [180/221] round:maxint ............................ passed (0.000 sec)
% [181/221] round:minint ............................ passed (0.000 sec)
% [182/221] float_misc:float_1 ...................... passed (0.000 sec)
% [183/221] float_misc:float_2 ...................... passed (0.000 sec)
% [184/221] float_misc:float_3 ...................... passed (0.000 sec)
% [185/221] float_misc:float_4 ...................... passed (0.000 sec)
% [186/221] float_misc:float_5 ...................... passed (0.000 sec)
% [187/221] float_misc:float_6 ...................... passed (0.000 sec)
% [188/221] float_misc:float_7 ...................... passed (0.000 sec)
% [189/221] float_misc:float_8 ...................... passed (0.000 sec)
% [190/221] float_overflow:max ...................... passed (0.000 sec)
% [191/221] float_overflow:add ...................... passed (0.000 sec)
% [192/221] float_overflow:minus .................... passed (0.000 sec)
% [193/221] float_overflow:mul ...................... passed (0.000 sec)
% [194/221] float_overflow:div ...................... passed (0.000 sec)
% [195/221] float_overflow:div ...................... passed (0.000 sec)
% [196/221] float_zero:eq ........................... passed (0.000 sec)
% [197/221] float_zero:lt ........................... passed (0.000 sec)
% [198/221] float_zero:gt ........................... passed (0.000 sec)
% [199/221] float_zero:eq ........................... passed (0.000 sec)
% [200/221] float_zero:lt ........................... passed (0.000 sec)
% [201/221] float_zero:gt ........................... passed (0.000 sec)
% [202/221] float_zero:cmp .......................... passed (0.000 sec)
% [203/221] float_zero:cmp .......................... passed (0.000 sec)
% [204/221] float_special:cmp ....................... passed (0.000 sec)
% [205/221] float_compare:max_nan ................... passed (0.000 sec)
% [206/221] float_compare:max_nan ................... passed (0.000 sec)
% [207/221] float_compare:min_nan ................... passed (0.000 sec)
% [208/221] float_compare:min_nan ................... passed (0.000 sec)
% [209/221] arith_misc:string ....................... passed (0.000 sec)
% [210/221] arith_misc:float_rval ................... passed (0.000 sec)
% [211/221] arith_misc:float_rval ................... passed (0.000 sec)
% [212/221] max_integer_size:set .................... passed (0.000 sec)
% [213/221] max_integer_size:overflow ............... passed (0.000 sec)
% [214/221] moded_int:between_1 ..................... passed (0.000 sec)
% [215/221] moded_int:between_2 ..................... passed (0.000 sec)
% [216/221] moded_int:between_3 ..................... passed (0.000 sec)
% [217/221] moded_int:between_4 ..................... passed (0.000 sec)
% [218/221] moded_int:succ_1 ........................ passed (0.000 sec)
% [219/221] moded_int:succ_2 ........................ passed (0.000 sec)
% [220/221] moded_int:succ_3 ........................ passed (0.000 sec)
% [221/221] moded_int:plus_1 ........................ 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.091 sec)
.
% [1/46] bips:iso_8_3_10_4 .......................... passed (0.000 sec)
% [2/46] bips:iso_8_3_10_4 .......................... passed (0.000 sec)
% [3/46] bips:iso_8_3_10 ............................ passed (0.000 sec)
% [4/46] bips:iso_8_3_10 ............................ passed (0.000 sec)
% [5/46] bips:iso_8_3_10 ............................ passed (0.000 sec)
% [6/46] bips:iso_8_4_2_4 ........................... passed (0.000 sec)
% [7/46] bips:iso_8_4_2_4 ........................... passed (0.000 sec)
% [8/46] bips:iso_8_4_2_4 ........................... passed (0.000 sec)
% [9/46] bips:iso_8_4_2_3_a ......................... passed (0.000 sec)
% [10/46] bips:iso_8_4_2_3_b ........................ passed (0.000 sec)
% [11/46] bips:zero_codes ........................... passed (0.000 sec)
% [12/46] arg:shared ................................ passed (0.000 sec)
% [13/46] arg:unify ................................. passed (0.000 sec)
% [14/46] arg:zero .................................. passed (0.000 sec)
% [15/46] arg:one ................................... passed (0.000 sec)
% [16/46] arg:two ................................... passed (0.000 sec)
% [17/46] arg:atom .................................. passed (0.000 sec)
% [18/46] arg:big ................................... passed (0.000 sec)
% [19/46] arg:bigneg ................................ passed (0.000 sec)
% [20/46] arg:arg_vf ................................ passed (0.000 sec)
% [21/46] eq:eq_ff .................................. passed (0.000 sec)
% [22/46] length:comp_len ........................... passed (0.000 sec)
% [23/46] length:gen_list ........................... passed (0.000 sec)
% [24/46] length:neg_len ............................ passed (0.000 sec)
% [25/46] length:gen_unbound ........................ passed (0.000 sec)
% [26/46] length:no_integer ......................... passed (0.000 sec)
% [27/46] length:no_integer ......................... passed (0.000 sec)
% [28/46] length:no_integer ......................... passed (0.000 sec)
% [29/46] length:cycle .............................. passed (0.000 sec)
% [30/46] length:expression ......................... passed (0.000 sec)
% [31/46] length:no_list ............................ passed (0.000 sec)
% [32/46] length:no_list ............................ passed (0.000 sec)
% [33/46] length:no_list ............................ passed (0.000 sec)
% [34/46] length:swi ................................ passed (0.000 sec)
% [35/46] is_most_general_term:not_callable ......... passed (0.000 sec)
% [36/46] is_most_general_term:atom ................. passed (0.000 sec)
% [37/46] is_most_general_term:instantiated ......... passed (0.000 sec)
% [38/46] is_most_general_term:compound ............. passed (0.000 sec)
% [39/46] is_most_general_term:compound ............. passed (0.000 sec)
% [40/46] is_most_general_term:shared ............... passed (0.000 sec)
% [41/46] is_most_general_term:compound ............. passed (0.000 sec)
% [42/46] is_most_general_term:nil .................. passed (0.000 sec)
% [43/46] is_most_general_term:list ................. passed (0.000 sec)
% [44/46] is_most_general_term:partial_list ......... passed (0.000 sec)
% [45/46] is_most_general_term:list ................. passed (0.000 sec)
% [46/46] is_most_general_term:shared ............... 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.232 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.001 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/1] code_type:code_type ......................... passed (0.343 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.001 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.002 sec)
% [3/12] coroutining:frozen_clpfd ................... passed (0.000 sec)
% [4/12] coroutining:when1 .......................... passed (0.002 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.000 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.000 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.001 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.000 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.000 sec)
% [13/22] det_guard:fail ............................ passed (0.000 sec)
% [14/22] det_guard:fail ............................ passed (0.001 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.000 sec)
% [18/22] det_goal:fail ............................. passed (0.000 sec)
% [19/22] det_goal:fail ............................. passed (0.000 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.014 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::</2 ............................ passed (0.000 sec)
% [49/88] dict_bips::</2 ............................ passed (0.000 sec)
% [50/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [51/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [52/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [53/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [54/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [55/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [56/88] dict_bips:put ............................. passed (0.000 sec)
% [57/88] dict_bips:put ............................. passed (0.000 sec)
% [58/88] dict_bips:put ............................. passed (0.000 sec)
% [59/88] dict_bips:select .......................... passed (0.000 sec)
% [60/88] dict_bips:select .......................... passed (0.000 sec)
% [61/88] dict_bips:select .......................... passed (0.000 sec)
% [62/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [63/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [64/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [65/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [66/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [67/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [68/88] dict_dot3:field ........................... passed (0.000 sec)
% [69/88] dict_dot3:field ........................... passed (0.000 sec)
% [70/88] dict_dot3:no_field ........................ passed (0.000 sec)
% [71/88] dict_dot3:no_dict ......................... passed (0.000 sec)
% [72/88] dict_overflow:put ......................... passed (0.054 sec)
% [73/88] dict_overflow:select ...................... passed (0.059 sec)
% [74/88] expand_functions:field .................... passed (0.000 sec)
% [75/88] expand_functions:conj ..................... passed (0.000 sec)
% [76/88] expand_functions:meta ..................... passed (0.000 sec)
% [77/88] expand_functions:forall ................... passed (0.000 sec)
% [78/88] expand_functions:findall .................. passed (0.000 sec)
% [79/88] expand_functions:bagof .................... passed (0.000 sec)
% [80/88] expand_functions:head ..................... passed (0.000 sec)
% [81/88] expand_functions:put ...................... passed (0.000 sec)
% [82/88] expand_functions:put2 ..................... passed (0.000 sec)
% [83/88] expand_functions:metaarg .................. passed (0.000 sec)
% [84/88] define_functions:na ....................... passed (0.000 sec)
% [85/88] define_functions:aa ....................... passed (0.000 sec)
% [86/88] define_functions:a2 ....................... passed (0.000 sec)
% [87/88] define_functions:qna ...................... passed (0.000 sec)
% [88/88] define_functions:qa2 ...................... passed (0.000 sec)
.
% [1/1] env:long .................................... passed (0.000 sec)
.
% [1/6] throw:error ................................. passed (0.000 sec)
% [2/6] throw:ground ................................ passed (0.000 sec)
% [3/6] throw:unbound ............................... passed (0.000 sec)
% [4/6] throw:cyclic ................................ passed (0.000 sec)
% [5/6] ex_coroutining:not .......................... passed (0.000 sec)
% [6/6] ex_coroutining:non_unify .................... passed (0.000 sec)
.
% [1/8] expand:cond_dcg ............................. passed (0.000 sec)
% [2/8] expand:make_dcg ............................. passed (0.000 sec)
% [3/8] expand:chained_term_expansion ............... passed (0.000 sec)
% [4/8] expand:meta_arg ............................. passed (0.000 sec)
% [5/8] expand:goal_expansion_local_pred ............ passed (0.000 sec)
% [6/8] expand:expand_once .......................... passed (0.000 sec)
% [7/8] expand:ssu_body ............................. passed (0.000 sec)
% [8/8] expand:ssu_guard ............................ passed (0.000 sec)
.
% [1/9] factorize:simple ............................ passed (0.000 sec)
% [2/9] factorize:simple ............................ passed (0.000 sec)
% [3/9] factorize:cyclic ............................ passed (0.000 sec)
% [4/9] factorize:double ............................ passed (0.000 sec)
% [5/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [6/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [7/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [8/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [9/9] factorize:fumo .............................. passed (0.000 sec)
.
% [1/3] fastrw:serialize ............................ passed (0.001 sec)
% [2/3] fastrw:fastrw ............................... passed (0.002 sec)
% [3/3] fastrw:error ................................ passed (0.000 sec)
.
% [1/19] format:fail ................................ passed (0.000 sec)
% [2/19] format:fail ................................ passed (0.000 sec)
% [3/19] format:no_stream ........................... passed (0.000 sec)
% [4/19] format:atom ................................ passed (0.000 sec)
% [5/19] format:atom ................................ passed (0.000 sec)
% [6/19] format:radix ............................... passed (0.000 sec)
% [7/19] format:radix ............................... passed (0.000 sec)
% [8/19] format:radix ............................... passed (0.000 sec)
% [9/19] format:gmp ................................. passed (0.000 sec)
% [10/19] format:asterisk ........................... passed (0.000 sec)
% [11/19] format:intD_1 ............................. passed (0.000 sec)
% [12/19] format:intD_2 ............................. passed (0.000 sec)
% [13/19] format:intD_3 ............................. passed (0.000 sec)
% [14/19] format:intr_1 ............................. passed (0.000 sec)
% [15/19] format:intR_1 ............................. passed (0.000 sec)
% [16/19] format:large_float_1 ...................... passed (0.000 sec)
% [17/19] format:oncodes_1 .......................... passed (0.000 sec)
% [18/19] format:oncodes_2 .......................... passed (0.000 sec)
% [19/19] format:onstring_1 ......................... passed (0.000 sec)
.
% [1/15] gc_leak:det_freeze_no_space ................ passed (0.001 sec)
% [2/15] gc_leak:early_reset ........................ passed (0.000 sec)
% [3/15] gc_leak:throw_gc ........................... passed (0.025 sec)
% [4/15] gc_reset:deep_reset ........................ passed (0.000 sec)
% [5/15] gc_crash:b_string .......................... passed (0.000 sec)
% [6/15] gc_crash:wakeup_two ........................ passed (0.000 sec)
% [7/15] gc_crash:cut ............................... passed (0.001 sec)
% [8/15] gc_crash:c_cut ............................. passed (0.001 sec)
% [9/15] gc_crash:cleanup_shift ..................... passed (0.619 sec)
% [10/15] gc_crash2:cleanup ......................... passed (0.000 sec)
% [11/15] gc_mark:s_list ............................ passed (0.030 sec)
% [12/15] gc_mark:s_fredo ........................... passed (0.000 sec)
% [13/15] gc_mark:c_ifthen .......................... passed (0.000 sec)
% [14/15] gc_mark:b_neq_vv .......................... passed (0.000 sec)
% [15/15] agc:usercall .............................. passed (0.008 sec)
.
% [1/20] variant_sha1:atom .......................... passed (0.000 sec)
% [2/20] variant_sha1:vars .......................... passed (0.000 sec)
% [3/20] variant_sha1:variant ....................... passed (0.000 sec)
% [4/20] variant_sha1:shared ........................ passed (0.000 sec)
% [5/20] variant_sha1:cycle ......................... passed (0.000 sec)
% [6/20] variant_sha1:cycle ......................... passed (0.000 sec)
% [7/20] variant_sha1:attvar ........................ passed (0.000 sec)
% [8/20] variant_sha1:attvar ........................ passed (0.000 sec)
% [9/20] variant_sha1:float ......................... passed (0.000 sec)
% [10/20] variant_hash:variant ...................... passed (0.000 sec)
% [11/20] variant_hash:variant ...................... passed (0.000 sec)
% [12/20] variant_hash:variant ...................... passed (0.000 sec)
% [13/20] term_hash2:simple_1 ....................... passed (0.000 sec)
% [14/20] term_hash2:simple_2 ....................... passed (0.000 sec)
% [15/20] term_hash2:simple_3 ....................... passed (0.000 sec)
% [16/20] term_hash2:simple_4 ....................... passed (0.000 sec)
% [17/20] term_hash2:simple_5 ....................... passed (0.000 sec)
% [18/20] term_hash2:compound_1 ..................... passed (0.000 sec)
% [19/20] term_hash2:compound_2 ..................... passed (0.000 sec)
% [20/20] term_hash2:compound_3 ..................... passed (0.000 sec)
.
% [1/2] call_with_inference_limit:nesting ........... passed (0.007 sec)
% [2/2] call_with_inference_limit:retry ............. passed (0.002 sec)
.
% [1/9] io:set_after_close .......................... passed (0.000 sec)
% [2/9] io:double_close ............................. passed (0.000 sec)
% [3/9] io:current_io_non_existing .................. passed (0.000 sec)
% [4/9] io:current_io_closed ........................ passed (0.000 sec)
% [5/9] io:input_is_not_output ...................... passed (0.000 sec)
% [6/9] io:reuse_alias .............................. passed (0.000 sec)
% [7/9] stream_pair:single .......................... passed (0.000 sec)
% [8/9] stream_pair:single .......................... passed (0.000 sec)
% [9/9] stream_pair:close ........................... passed (0.000 sec)
.
% [1/1] lco:huub .................................... passed (0.000 sec)
.
% [1/8] program_space:fetch ......................... passed (0.000 sec)
% [2/8] program_space:fetch ......................... passed (0.000 sec)
% [3/8] program_space:too_low ....................... passed (0.000 sec)
% [4/8] program_space:retract ....................... passed (0.000 sec)
% [5/8] program_space:abolish ....................... passed (0.000 sec)
% [6/8] program_space:assert ........................ passed (0.000 sec)
% [7/8] program_space:overflow ...................... passed (0.000 sec)
% [8/8] program_space:repeat ........................ passed (0.006 sec)
.
% [1/1] memberchk:memberchk ......................... passed (0.000 sec)
.
% [1/98] locale:current ............................. passed (0.000 sec)
% [2/98] locale:property ............................ passed (0.000 sec)
% [3/98] locale:property ............................ passed (0.000 sec)
% [4/98] locale:property ............................ passed (0.000 sec)
% [5/98] locale:create .............................. passed (0.000 sec)
% [6/98] locale:group ............................... passed (0.000 sec)
% [7/98] locale:group ............................... passed (0.000 sec)
% [8/98] locale:group ............................... passed (0.000 sec)
% [9/98] locale:group ............................... passed (0.000 sec)
% [10/98] locale:group .............................. passed (0.000 sec)
% [11/98] locale:group .............................. passed (0.000 sec)
% [12/98] locale:group .............................. passed (0.000 sec)
% [13/98] locale:group .............................. passed (0.000 sec)
% [14/98] locale:group .............................. passed (0.000 sec)
% [15/98] locale:group .............................. passed (0.000 sec)
% [16/98] locale:group .............................. passed (0.000 sec)
% [17/98] locale:group .............................. passed (0.000 sec)
% [18/98] locale:group .............................. passed (0.000 sec)
% [19/98] locale:group .............................. passed (0.000 sec)
% [20/98] locale:group .............................. passed (0.000 sec)
% [21/98] locale:group .............................. passed (0.000 sec)
% [22/98] locale:group .............................. passed (0.000 sec)
% [23/98] locale:group .............................. passed (0.000 sec)
% [24/98] locale:group .............................. passed (0.000 sec)
% [25/98] locale:group .............................. passed (0.000 sec)
% [26/98] locale:group .............................. passed (0.000 sec)
% [27/98] locale:group .............................. passed (0.000 sec)
% [28/98] locale:group .............................. passed (0.000 sec)
% [29/98] locale:group .............................. passed (0.000 sec)
% [30/98] locale:group .............................. passed (0.000 sec)
% [31/98] locale:group .............................. passed (0.000 sec)
% [32/98] locale:group .............................. passed (0.000 sec)
% [33/98] locale:group .............................. passed (0.000 sec)
% [34/98] locale:group .............................. passed (0.000 sec)
% [35/98] locale:group .............................. passed (0.000 sec)
% [36/98] locale:group .............................. passed (0.000 sec)
% [37/98] locale:group .............................. passed (0.000 sec)
% [38/98] locale:group .............................. passed (0.000 sec)
% [39/98] locale:group .............................. passed (0.000 sec)
% [40/98] locale:group .............................. passed (0.000 sec)
% [41/98] locale:group .............................. passed (0.000 sec)
% [42/98] locale:group .............................. passed (0.000 sec)
% [43/98] locale:group .............................. passed (0.000 sec)
% [44/98] locale:group .............................. passed (0.000 sec)
% [45/98] locale:group .............................. passed (0.000 sec)
% [46/98] locale:group .............................. passed (0.000 sec)
% [47/98] locale:group .............................. passed (0.000 sec)
% [48/98] locale:group .............................. passed (0.000 sec)
% [49/98] locale:group .............................. passed (0.000 sec)
% [50/98] locale:group .............................. passed (0.000 sec)
% [51/98] locale:group .............................. passed (0.000 sec)
% [52/98] locale:group .............................. passed (0.000 sec)
% [53/98] locale:group .............................. passed (0.000 sec)
% [54/98] locale:group .............................. passed (0.000 sec)
% [55/98] locale:group .............................. passed (0.000 sec)
% [56/98] locale:group .............................. passed (0.000 sec)
% [57/98] locale:group .............................. passed (0.000 sec)
% [58/98] locale:group .............................. passed (0.000 sec)
% [59/98] locale:group .............................. passed (0.000 sec)
% [60/98] locale:group .............................. passed (0.000 sec)
% [61/98] locale:group .............................. passed (0.000 sec)
% [62/98] locale:group .............................. passed (0.000 sec)
% [63/98] locale:group .............................. passed (0.000 sec)
% [64/98] locale:group .............................. passed (0.000 sec)
% [65/98] locale:group .............................. passed (0.000 sec)
% [66/98] locale:group .............................. passed (0.000 sec)
% [67/98] locale:group .............................. passed (0.000 sec)
% [68/98] locale:group .............................. passed (0.000 sec)
% [69/98] locale:group .............................. passed (0.000 sec)
% [70/98] locale:group .............................. passed (0.000 sec)
% [71/98] locale:group .............................. passed (0.000 sec)
% [72/98] locale:group .............................. passed (0.000 sec)
% [73/98] locale:group .............................. passed (0.000 sec)
% [74/98] locale:group .............................. passed (0.000 sec)
% [75/98] locale:group .............................. passed (0.000 sec)
% [76/98] locale:group .............................. passed (0.000 sec)
% [77/98] locale:group .............................. passed (0.000 sec)
% [78/98] locale:group .............................. passed (0.000 sec)
% [79/98] locale:group .............................. passed (0.000 sec)
% [80/98] locale:group .............................. passed (0.000 sec)
% [81/98] locale:group .............................. passed (0.000 sec)
% [82/98] locale:group .............................. passed (0.000 sec)
% [83/98] locale:group .............................. passed (0.000 sec)
% [84/98] locale:group .............................. passed (0.000 sec)
% [85/98] locale:group .............................. passed (0.000 sec)
% [86/98] locale:group .............................. passed (0.000 sec)
% [87/98] locale:group .............................. passed (0.000 sec)
% [88/98] locale:group .............................. passed (0.000 sec)
% [89/98] locale:group .............................. passed (0.000 sec)
% [90/98] locale:group .............................. passed (0.000 sec)
% [91/98] locale:group .............................. passed (0.000 sec)
% [92/98] locale:group .............................. passed (0.000 sec)
% [93/98] locale:group .............................. passed (0.000 sec)
% [94/98] locale:group .............................. passed (0.000 sec)
% [95/98] locale:group .............................. passed (0.000 sec)
% [96/98] locale:group .............................. passed (0.000 sec)
% [97/98] locale:group .............................. passed (0.000 sec)
% [98/98] collation_key:WCSXFRM_BUFFER_OVERRUN ...... passed (0.000 sec)
.
% [1/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [2/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [3/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [4/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [5/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [6/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [7/10] meta_predicate:alias ....................... passed (0.000 sec)
% [8/10] meta_predicate:alias2 ...................... passed (0.000 sec)
% [9/10] meta_predicate:i_departm ................... passed (0.000 sec)
% [10/10] meta_predicate:backtrack .................. passed (0.000 sec)
.
% [1/3] misc:read_only_flag ......................... passed (0.000 sec)
% [2/3] misc:cut_to ................................. passed (0.000 sec)
% [3/3] misc:cut_to_cleanup ......................... passed (0.000 sec)
.
% [1/12] moved_unify_ubody:h_list_ff ................ passed (0.000 sec)
% [2/12] moved_decompile:decom1 ..................... passed (0.000 sec)
% [3/12] moved_decompile:decomp2 .................... passed (0.000 sec)
% [4/12] moved_decompile:decomp3 .................... passed (0.000 sec)
% [5/12] moved_decompile:decomp4 .................... passed (0.000 sec)
% [6/12] moved_decompile:decomp5 .................... passed (0.000 sec)
% [7/12] moved_decompile:decomp6 .................... passed (0.000 sec)
% [8/12] moved_decompile:decomp7 .................... passed (0.000 sec)
% [9/12] moved_decompile:decomp8 .................... passed (0.000 sec)
% [10/12] moved_decompile:decomp9 ................... passed (0.000 sec)
% [11/12] moved_decompile:run9 ...................... passed (0.000 sec)
% [12/12] moved_decompile:decomp9 ................... passed (0.000 sec)
.
% [1/9] unify_with_occurs_check:simple_1 ............ passed (0.000 sec)
% [2/9] unify_with_occurs_check:simple_2 ............ passed (0.000 sec)
% [3/9] unify_with_occurs_check:attvar_1 ............ passed (0.000 sec)
% [4/9] unify_with_occurs_check:attvar_2 ............ passed (0.000 sec)
% [5/9] unify_with_occurs_check:attvar_3 ............ passed (0.000 sec)
% [6/9] unify_with_occurs_check:attvar_4 ............ passed (0.000 sec)
% [7/9] occurs_check_fail:unify ..................... passed (0.000 sec)
% [8/9] occurs_check_fail:unify ..................... passed (0.000 sec)
% [9/9] occurs_check_fail:unifiable ................. passed (0.000 sec)
.
% [1/11] current_op:plus ............................ passed (0.000 sec)
% [2/11] current_op:no_atom ......................... passed (0.000 sec)
% [3/11] current_op:no_atom ......................... passed (0.000 sec)
% [4/11] current_op:bad_type ........................ passed (0.000 sec)
% [5/11] current_op:bad_precedence .................. passed (0.000 sec)
% [6/11] current_op:bad_precedence .................. passed (0.000 sec)
% [7/11] current_op:inherit ......................... passed (0.000 sec)
% [8/11] op_syntax:parse ............................ passed (0.000 sec)
% [9/11] op_syntax:parse ............................ passed (0.000 sec)
% [10/11] op_syntax:parse ........................... passed (0.000 sec)
% [11/11] op_syntax:parse ........................... passed (0.000 sec)
.
% [1/11] prolog_flags:type .......................... passed (0.000 sec)
% [2/11] prolog_flags:invalid ....................... passed (0.000 sec)
% [3/11] prolog_flags:preset ........................ passed (0.000 sec)
% [4/11] prolog_flags:preset ........................ passed (0.000 sec)
% [5/11] prolog_flags:preset ........................ passed (0.000 sec)
% [6/11] prolog_flags:preset ........................ passed (0.000 sec)
% [7/11] prolog_flags:preset ........................ passed (0.000 sec)
% [8/11] prolog_flags:preset ........................ passed (0.000 sec)
% [9/11] prolog_flags:preset ........................ passed (0.000 sec)
% [10/11] prolog_flags:preset ....................... passed (0.000 sec)
% [11/11] prolog_flags:preset ....................... passed (0.000 sec)
.
% [1/6] prolog_listen:at_exit_option ................ passed (0.000 sec)
% [2/6] prolog_listen:local_at_exit_event ........... passed (0.001 sec)
% [3/6] prolog_listen:global_at_exit_event .......... passed (0.002 sec)
% [4/6] prolog_listen:erase_clause .................. passed (0.000 sec)
% [5/6] prolog_listen:erase_record .................. passed (0.000 sec)
% [6/6] prolog_listen:update ........................ passed (0.000 sec)
.
% [1/15] qualified_calls:colon ...................... passed (0.000 sec)
% [2/15] qualified_calls:colonc ..................... passed (0.000 sec)
% [3/15] qualified_calls:colonv ..................... passed (0.000 sec)
% [4/15] qualified_calls:coloncv .................... passed (0.000 sec)
% [5/15] qualified_calls:at ......................... passed (0.000 sec)
% [6/15] qualified_calls:vat ........................ passed (0.000 sec)
% [7/15] qualified_calls:atv ........................ passed (0.000 sec)
% [8/15] qualified_calls:atvv ....................... passed (0.000 sec)
% [9/15] qualified_calls:atvvv ...................... passed (0.000 sec)
% [10/15] qualified_calls:atvvv ..................... passed (0.000 sec)
% [11/15] qualified_calls:localv .................... passed (0.000 sec)
% [12/15] qualified_calls:localv .................... passed (0.000 sec)
% [13/15] qualified_calls:local_argvar .............. passed (0.000 sec)
% [14/15] qualified_calls:local_argvar .............. passed (0.000 sec)
% [15/15] qualified_calls:lproc ..................... passed (0.000 sec)
.
% [1/2] quasi_quotations:simple ..................... passed (0.000 sec)
% [2/2] quasi_quotations:error ...................... passed (0.000 sec)
.
% [1/3] random:state ................................ passed (0.002 sec)
% [2-1/3] random:random_subseq ...................... passed (0.000 sec)
% [2-2/3] random:random_subseq ...................... passed (0.000 sec)
% [2-3/3] random:random_subseq ...................... passed (0.000 sec)
% [2-4/3] random:random_subseq ...................... passed (0.000 sec)
% [2-5/3] random:random_subseq ...................... passed (0.000 sec)
% [2-6/3] random:random_subseq ...................... passed (0.000 sec)
% [2-7/3] random:random_subseq ...................... passed (0.000 sec)
% [3-1/3] random:random_numlist ..................... passed (0.000 sec)
% [3-2/3] random:random_numlist ..................... passed (0.000 sec)
% [3-3/3] random:random_numlist ..................... passed (0.000 sec)
% [3-4/3] random:random_numlist ..................... passed (0.000 sec)
% [3-5/3] random:random_numlist ..................... passed (0.000 sec)
% [3-6/3] random:random_numlist ..................... passed (0.000 sec)
% [3-7/3] random:random_numlist ..................... passed (0.000 sec)
.
% [1/28] read_term:singletons ....................... passed (0.000 sec)
% [2/28] read_term:warn_singletons .................. passed (0.000 sec)
% [3/28] read_term:position ......................... passed (0.000 sec)
% [4/28] read_term:valid_position_var ............... passed (0.000 sec)
% [5/28] read_term:valid_position_atom .............. passed (0.000 sec)
% [6/28] read_term:valid_position_number1 ........... passed (0.000 sec)
% [7/28] read_term:valid_position_number2 ........... passed (0.000 sec)
% [8/28] read_term:valid_position_string_string ..... passed (0.000 sec)
% [9/28] read_term:valid_position_string_codes ...... passed (0.000 sec)
% [10/28] read_term:valid_position_string_chars ..... passed (0.000 sec)
% [11/28] read_term:valid_position_string_atom ...... passed (0.000 sec)
% [12/28] read_term:valid_position_nil .............. passed (0.000 sec)
% [13/28] read_term:valid_position_braces ........... passed (0.000 sec)
% [14/28] read_term:valid_position_braces1 .......... passed (0.000 sec)
% [15/28] read_term:valid_position_braces2 .......... passed (0.000 sec)
% [16/28] read_term:valid_position_braces3 .......... passed (0.000 sec)
% [17/28] read_term:valid_position_term1 ............ passed (0.000 sec)
% [18/28] read_term:valid_position_term2 ............ passed (0.000 sec)
% [19/28] read_term:valid_position_term2 ............ passed (0.000 sec)
% [20/28] read_term:valid_position_dict1 ............ passed (0.000 sec)
% [21/28] read_term:valid_position_dict2 ............ passed (0.000 sec)
% [22/28] read_term:valid_position_dict3 ............ passed (0.000 sec)
% [23/28] read_op:modify ............................ passed (0.000 sec)
% [24/28] read_op:minus_block ....................... passed (0.000 sec)
% [25/28] read_op:modify_block ...................... passed (0.000 sec)
% [26/28] read_op:pos_block ......................... passed (0.000 sec)
% [27/28] read_numbers:float_overflow ............... passed (0.000 sec)
% [28/28] read_numbers:float_overflow ............... passed (0.000 sec)
.
% [1/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [2/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [3/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [4/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [5/9] test_read_labeled:label ..................... passed (0.000 sec)
% [6/9] test_read_labeled:label ..................... passed (0.000 sec)
% [7/9] test_read_labeled:label ..................... passed (0.000 sec)
% [8/9] test_read_failure:fail ...................... passed (0.000 sec)
% [9/9] test_read_failure:fail ...................... passed (0.000 sec)
.
% [1/7] resource_error:local ........................ passed (0.002 sec)
% [2/7] resource_error:global ....................... passed (0.003 sec)
% [3/7] resource_error:string ....................... passed (0.065 sec)
% [4/7] resource_error:string ....................... passed (0.038 sec)
% [5/7] resource_error:length ....................... passed (0.000 sec)
% [6/7] resource_error:tight_stacks ................. passed (0.002 sec)
% [7/7] resource_error:cleanup_handler .............. passed (0.000 sec)
.
% [1/12] scan_options:process ....................... passed (0.000 sec)
% [2/12] scan_options:implicit_true ................. passed (0.000 sec)
% [3/12] scan_options:no_option ..................... passed (0.000 sec)
% [4/12] scan_options:bad_value_type ................ passed (0.000 sec)
% [5/12] scan_options:bad_type ...................... passed (0.000 sec)
% [6/12] scan_options:bad_type ...................... passed (0.000 sec)
% [7/12] scan_options:instantiation ................. passed (0.000 sec)
% [8/12] scan_options:instantiation ................. passed (0.000 sec)
% [9/12] scan_options:instantiation ................. passed (0.000 sec)
% [10/12] dict_option:process ....................... passed (0.000 sec)
% [11/12] dict_option:bad_value_type ................ passed (0.000 sec)
% [12/12] dict_option:no_option ..................... passed (0.000 sec)
..
% [1/9] skip_list:empty_list ........................ passed (0.000 sec)
% [2/9] skip_list:proper_list_small ................. passed (0.000 sec)
% [3/9] skip_list:proper_list_long .................. passed (0.000 sec)
% [4/9] skip_list:partial_list ...................... passed (0.000 sec)
% [5/9] skip_list:cyclic_list ....................... passed (0.000 sec)
% [6/9] skip_list:cyclic_list_long .................. passed (0.001 sec)
% [7/9] skip_list:not_a_list_1 ...................... passed (0.000 sec)
% [8/9] skip_list:not_a_list_2 ...................... passed (0.000 sec)
% [9/9] skip_list:not_a_list_3 ...................... passed (0.000 sec)
.
% [1/36] sort:empty ................................. passed (0.000 sec)
% [2/36] sort:unique ................................ passed (0.000 sec)
% [3/36] sort:instantiation ......................... passed (0.000 sec)
% [4/36] sort:type .................................. passed (0.000 sec)
% [5/36] sort:cyclic ................................ passed (0.000 sec)
% [6/36] sort:reserved .............................. passed (0.000 sec)
% [7/36] msort:empty ................................ passed (0.000 sec)
% [8/36] msort:unique ............................... passed (0.000 sec)
% [9/36] msort:instantiation ........................ passed (0.000 sec)
% [10/36] msort:type ................................ passed (0.000 sec)
% [11/36] msort:cyclic .............................. passed (0.000 sec)
% [12/36] keysort:empty ............................. passed (0.000 sec)
% [13/36] keysort:instantiation ..................... passed (0.000 sec)
% [14/36] keysort:type .............................. passed (0.000 sec)
% [15/36] keysort:cyclic ............................ passed (0.000 sec)
% [16/36] keysort:element ........................... passed (0.000 sec)
% [17/36] keysort:element ........................... passed (0.000 sec)
% [18/36] sort4:zero ................................ passed (0.000 sec)
% [19/36] sort4:zero ................................ passed (0.000 sec)
% [20/36] sort4:zero ................................ passed (0.000 sec)
% [21/36] sort4:zero ................................ passed (0.000 sec)
% [22/36] sort4:one ................................. passed (0.000 sec)
% [23/36] sort4:one ................................. passed (0.000 sec)
% [24/36] sort4:one ................................. passed (0.000 sec)
% [25/36] sort4:list ................................ passed (0.000 sec)
% [26/36] sort4:list ................................ passed (0.000 sec)
% [27/36] sort4:list ................................ passed (0.000 sec)
% [28/36] sort4:dict ................................ passed (0.000 sec)
% [29/36] sort4:key ................................. passed (0.000 sec)
% [30/36] sort4:key ................................. passed (0.000 sec)
% [31/36] sort4:order ............................... passed (0.000 sec)
% [32/36] sort4:order ............................... passed (0.000 sec)
% [33/36] sort4:list ................................ passed (0.000 sec)
% [34/36] sort4:list ................................ passed (0.000 sec)
% [35/36] sort4:dict ................................ passed (0.000 sec)
% [36/36] sort4:dict ................................ passed (0.000 sec)
.
% [1/27] string:number_string ....................... passed (0.000 sec)
% [2/27] string:number_string ....................... passed (0.000 sec)
% [3/27] string:number_string ....................... passed (0.000 sec)
% [4/27] string:number_string ....................... passed (0.000 sec)
% [5/27] string:number_string ....................... passed (0.000 sec)
% [6/27] string:string_codes ........................ passed (0.000 sec)
% [7/27] string:string_codes ........................ passed (0.000 sec)
% [8/27] string:string_chars ........................ passed (0.000 sec)
% [9/27] string:split_string ........................ passed (0.000 sec)
% [10/27] string:split_string ....................... passed (0.000 sec)
% [11/27] string:split_string ....................... passed (0.000 sec)
% [12/27] string:split_string ....................... passed (0.000 sec)
% [13/27] string:string_lower ....................... passed (0.000 sec)
% [14/27] string:string_upper ....................... passed (0.000 sec)
% [15/27] string:string_upper ....................... passed (0.000 sec)
% [16/27] string_bytes:aap .......................... passed (0.000 sec)
% [17/27] string_bytes:aap .......................... passed (0.000 sec)
% [18/27] string_bytes:aap .......................... passed (0.000 sec)
% [19/27] string_bytes:aap .......................... passed (0.000 sec)
% [20/27] string_bytes:aap .......................... passed (0.000 sec)
% [21/27] string_bytes:aap .......................... passed (0.000 sec)
% [22/27] string_bytes:hello ........................ passed (0.000 sec)
% [23/27] string_bytes:hello ........................ passed (0.000 sec)
% [24/27] string_bytes:hello ........................ passed (0.000 sec)
% [25/27] string_bytes:hello ........................ passed (0.000 sec)
% [26/27] string_bytes:hello ........................ passed (0.000 sec)
% [27/27] string_bytes:hello ........................ passed (0.000 sec)
.
% [1/19] subsumes:simple_true ....................... passed (0.000 sec)
% [2/19] subsumes:simple_false ...................... passed (0.000 sec)
% [3/19] subsumes:double ............................ passed (0.000 sec)
% [4/19] subsumes:shared_true ....................... passed (0.000 sec)
% [5/19] subsumes:shared_false ...................... passed (0.000 sec)
% [6/19] subsumes:shared_false_2 .................... passed (0.000 sec)
% [7/19] subsumes:shared_false_3 .................... passed (0.000 sec)
% [8/19] subsumes:shared_false_4 .................... passed (0.000 sec)
% [9/19] subsumes:shared_true_4 ..................... passed (0.000 sec)
% [10/19] subsumes:cyclic1 .......................... passed (0.000 sec)
% [11/19] subsumes:cyclic2 .......................... passed (0.000 sec)
% [12/19] subsumes:cyclic_fail ...................... passed (0.000 sec)
% [13/19] subsumes:cyclic_fail_1 .................... passed (0.000 sec)
% [14/19] subsumes:cyclic_fail_2 .................... passed (0.000 sec)
% [15/19] subsumes:shared_g_s_1 ..................... passed (0.000 sec)
% [16/19] subsumes_term:simple ...................... passed (0.000 sec)
% [17/19] subsumes_term:min ......................... passed (0.000 sec)
% [18/19] subsumes_term:sharing ..................... passed (0.000 sec)
% [19/19] subsumes_term:occurs ...................... passed (0.000 sec)
.
% [1/38] syntax:op_1 ................................ passed (0.000 sec)
% [2/38] syntax:op_2 ................................ passed (0.000 sec)
% [3/38] syntax:op_3 ................................ passed (0.000 sec)
% [4/38] syntax:op_4 ................................ passed (0.000 sec)
% [5/38] syntax:op_5 ................................ passed (0.000 sec)
% [6/38] syntax:op_6 ................................ passed (0.000 sec)
% [7/38] syntax:op_7 ................................ passed (0.000 sec)
% [8/38] syntax:op_8 ................................ passed (0.000 sec)
% [9/38] syntax:atom_1 .............................. passed (0.000 sec)
% [10/38] syntax:char_1 ............................. passed (0.000 sec)
% [11/38] syntax:char_2 ............................. passed (0.000 sec)
% [12/38] syntax:char_3 ............................. passed (0.000 sec)
% [13/38] syntax:char_4 ............................. passed (0.000 sec)
% [14/38] syntax:cannot_start_term_1 ................ passed (0.000 sec)
% [15/38] syntax:string_1 ........................... passed (0.000 sec)
% [16/38] syntax:string_2 ........................... passed (0.000 sec)
% [17/38] syntax:quote_1 ............................ passed (0.000 sec)
% [18/38] syntax:quote_2 ............................ passed (0.000 sec)
% [19/38] syntax:quote_3 ............................ passed (0.000 sec)
% [20/38] syntax:quote_4 ............................ passed (0.000 sec)
% [21/38] syntax:quote_5 ............................ passed (0.000 sec)
% [22/38] syntax:quote_6 ............................ passed (0.000 sec)
% [23/38] syntax:quote_7 ............................ passed (0.000 sec)
% [24/38] syntax:base_1 ............................. passed (0.000 sec)
% [25/38] syntax:base_2 ............................. passed (0.000 sec)
% [26/38] syntax:base_3 ............................. passed (0.000 sec)
% [27/38] syntax:base_4 ............................. passed (0.000 sec)
% [28/38] syntax:base_5 ............................. passed (0.000 sec)
% [29/38] syntax:number_2 ........................... passed (0.000 sec)
% [30/38] syntax:neg_base ........................... passed (0.000 sec)
% [31/38] syntax:zero_1 ............................. passed (0.000 sec)
% [32/38] syntax:latin_1 ............................ passed (0.000 sec)
% [33/38] iso_op_table_6:r1 ......................... passed (0.000 sec)
% [34/38] iso_op_table_6:r2 ......................... passed (0.000 sec)
% [35/38] iso_op_table_6:r3 ......................... passed (0.000 sec)
% [36/38] iso_op_table_6:r4 ......................... passed (0.000 sec)
% [37/38] iso_op_table_6:r5 ......................... passed (0.000 sec)
% [38/38] iso_op_table_6:r6 ......................... passed (0.000 sec)
.
% [1/55] numbervars:single .......................... passed (0.000 sec)
% [2/55] numbervars:single_s ........................ passed (0.000 sec)
% [3/55] numbervars:single_offset ................... passed (0.000 sec)
% [4/55] numbervars:single_lr ....................... passed (0.000 sec)
% [5/55] numbervars:single_lr ....................... passed (0.000 sec)
% [6/55] numbervars:neg ............................. passed (0.000 sec)
% [7/55] numbervars:shared .......................... passed (0.000 sec)
% [8/55] numbervars:shared_s ........................ passed (0.000 sec)
% [9/55] numbervars:cyclic .......................... passed (0.000 sec)
% [10/55] numbervars:cyclic_s ....................... passed (0.000 sec)
% [11/55] numbervars:twice_singleton ................ passed (0.000 sec)
% [12/55] numbervars:shift .......................... passed (0.001 sec)
% [13/55] variant:simple ............................ passed (0.000 sec)
% [14/55] variant:shared ............................ passed (0.000 sec)
% [15/55] variant:shared ............................ passed (0.000 sec)
% [16/55] variant:shared ............................ passed (0.000 sec)
% [17/55] variant:shared ............................ passed (0.000 sec)
% [18/55] variant:shared ............................ passed (0.000 sec)
% [19/55] variant:dubious ........................... passed (0.000 sec)
% [20/55] variant:common ............................ passed (0.000 sec)
% [21/55] variant:common ............................ passed (0.000 sec)
% [22/55] variant:common ............................ passed (0.000 sec)
% [23/55] variant:cyclic ............................ passed (0.000 sec)
% [24/55] variant:cyclic ............................ passed (0.000 sec)
% [25/55] variant:cyclic ............................ passed (0.000 sec)
% [26/55] variant:cyclic ............................ passed (0.000 sec)
% [27/55] variant:shared ............................ passed (0.000 sec)
% [28/55] variant:cycle ............................. passed (0.000 sec)
% [29/55] variant:symmetry .......................... passed (0.000 sec)
% [30/55] variant:symmetry .......................... passed (0.000 sec)
% [31/55] variant:ground ............................ passed (0.000 sec)
% [32/55] variant:sharing_cycles .................... passed (0.000 sec)
% [33/55] variant:cycle_with_prefix ................. passed (0.000 sec)
% [34/55] variant:attvar ............................ passed (0.000 sec)
% [35/55] variant:attvar ............................ passed (0.000 sec)
% [36/55] compound:functor .......................... passed (0.000 sec)
% [37/55] compound:=.. .............................. passed (0.000 sec)
% [38/55] compound:=.. .............................. passed (0.000 sec)
% [39/55] compound:compound_name_arity .............. passed (0.000 sec)
% [40/55] compound:compound_name_arity .............. passed (0.000 sec)
% [41/55] compound:compound_name_arity .............. passed (0.000 sec)
% [42/55] compound:compound_name_arity .............. passed (0.000 sec)
% [43/55] compound:compound_name_arguments .......... passed (0.000 sec)
% [44/55] compound:compound_name_arguments .......... passed (0.000 sec)
% [45/55] zero_arity_compound:clause ................ passed (0.000 sec)
% [46/55] zero_arity_compound:clause ................ passed (0.000 sec)
% [47/55] zero_arity_compound:clause ................ passed (0.000 sec)
% [48/55] zero_arity_compound:clause ................ passed (0.000 sec)
% [49/55] zero_arity_compound:clause ................ passed (0.000 sec)
% [50/55] term_singletons:out ....................... passed (0.000 sec)
% [51/55] term_singletons:out ....................... passed (0.000 sec)
% [52/55] term_singletons:out ....................... passed (0.000 sec)
% [53/55] term_singletons:out ....................... passed (0.000 sec)
% [54/55] term_singletons:out ....................... passed (0.000 sec)
% [55/55] term_singletons:out ....................... passed (0.000 sec)
.
% [1/75] char_code:ascii ............................ passed (0.000 sec)
% [2/75] char_code:ascii ............................ passed (0.000 sec)
% [3/75] char_code:wide ............................. passed (0.000 sec)
% [4/75] char_code:wide ............................. passed (0.000 sec)
% [5/75] char_code:error ............................ passed (0.000 sec)
% [6/75] char_code:error ............................ passed (0.000 sec)
% [7/75] char_code:error ............................ passed (0.000 sec)
% [8/75] char_code:error ............................ passed (0.000 sec)
% [9/75] char_code:error ............................ passed (0.000 sec)
% [10/75] atom_codes:error .......................... passed (0.000 sec)
% [11/75] atom_codes:error .......................... passed (0.000 sec)
% [12/75] atom_codes:error .......................... passed (0.000 sec)
% [13/75] atom_codes:error .......................... passed (0.000 sec)
% [14/75] atom_concat:shared ........................ passed (0.000 sec)
% [15/75] atom_concat:shared ........................ passed (0.000 sec)
% [16/75] atom_concat:shared ........................ passed (0.000 sec)
% [17/75] atom_concat:attvar ........................ passed (0.000 sec)
% [18/75] term_to_atom:write ........................ passed (0.000 sec)
% [19/75] term_to_atom:read ......................... passed (0.000 sec)
% [20/75] term_to_atom:read ......................... passed (0.000 sec)
% [21/75] atom_to_term:read ......................... passed (0.000 sec)
% [22/75] atom_to_term:error ........................ passed (0.000 sec)
% [23/75] atom_to_term:eof .......................... passed (0.000 sec)
% [24/75] atom_to_term:read ......................... passed (0.000 sec)
% [25/75] number_codes:whitespace ................... passed (0.000 sec)
% [26/75] number_codes:whitespace ................... passed (0.000 sec)
% [27/75] number_codes:whitespace ................... passed (0.000 sec)
% [28/75] number_codes:whitespace ................... passed (0.000 sec)
% [29/75] number_codes:unify ........................ passed (0.000 sec)
% [30/75] number_chars:iso .......................... passed (0.000 sec)
% [31/75] number_chars:iso .......................... passed (0.000 sec)
% [32/75] number_chars:swi .......................... passed (0.000 sec)
% [33/75] number_chars:iso .......................... passed (0.000 sec)
% [34/75] number_chars:iso .......................... passed (0.000 sec)
% [35/75] number_chars:swi .......................... passed (0.000 sec)
% [36/75] number_chars:iso .......................... passed (0.000 sec)
% [37/75] number_chars:swi .......................... passed (0.000 sec)
% [38/75] number_chars:iso .......................... passed (0.000 sec)
% [39/75] number_chars:iso .......................... passed (0.000 sec)
% [40/75] number_chars:swi .......................... passed (0.000 sec)
% [41/75] number_chars:iso .......................... passed (0.000 sec)
% [42/75] number_chars:iso .......................... passed (0.000 sec)
% [43/75] number_chars:iso .......................... passed (0.000 sec)
% [44/75] number_chars:iso .......................... passed (0.000 sec)
% [45/75] number_chars:float ........................ passed (0.005 sec)
% [46/75] number_chars:iso2 ......................... passed (0.000 sec)
% [47/75] number_chars:iso2 ......................... passed (0.000 sec)
% [48/75] number_chars:iso2 ......................... passed (0.000 sec)
% [49/75] number_chars:iso2 ......................... passed (0.000 sec)
% [50/75] number_chars:iso2 ......................... passed (0.000 sec)
% [51/75] number_chars:iso2 ......................... passed (0.000 sec)
% [52/75] number_chars:iso2 ......................... passed (0.000 sec)
% [53/75] number_chars:iso2 ......................... passed (0.000 sec)
% [54/75] number_chars:iso2 ......................... passed (0.000 sec)
% [55/75] number_chars:iso2 ......................... passed (0.000 sec)
% [56/75] number_chars:iso2 ......................... passed (0.000 sec)
% [57/75] name:int .................................. passed (0.000 sec)
% [58/75] name:atom ................................. passed (0.000 sec)
% [59/75] name:atom ................................. passed (0.000 sec)
% [60/75] name:atom ................................. passed (0.000 sec)
% [61/75] sub_atom:neg .............................. passed (0.000 sec)
% [62/75] sub_atom:nondet ........................... passed (0.000 sec)
% [63/75] atomic_list_concat:int64 .................. passed (0.000 sec)
% [64/75] atomic_list_concat:error .................. passed (0.000 sec)
% [65/75] atomic_list_concat:error .................. passed (0.000 sec)
% [66/75] substring:sub_atom ........................ passed (0.000 sec)
% [67/75] substring:sub_atom ........................ passed (0.000 sec)
% [68/75] substring:name_value ...................... passed (0.000 sec)
% [69/75] substring:string_insert ................... passed (0.000 sec)
% [70/75] substring:string_insert ................... passed (0.000 sec)
% [71/75] substring:prefix .......................... passed (0.000 sec)
% [72/75] substring:prefix .......................... passed (0.000 sec)
% [73/75] substring:suffix .......................... passed (0.000 sec)
% [74/75] substring:suffix .......................... passed (0.000 sec)
% [75/75] substring:suffix .......................... passed (0.000 sec)
.
% [1/1] time:get_time ............................... passed (0.000 sec)
.
% [1/5] undo:undo_or ................................ passed (0.000 sec)
% [2/5] undo:clauses ................................ passed (0.000 sec)
% [3/5] undo:error .................................. passed (0.000 sec)
% [4/5] undo:error2 ................................. passed (0.000 sec)
% [5/5] undo:cleanup ................................ passed (0.000 sec)
.
% [1/10] numbers:read ............................... passed (0.000 sec)
% [2/10] numbers:read ............................... passed (0.000 sec)
% [3/10] numbers:number_codes ....................... passed (0.000 sec)
% [4/10] numbers:atom_number ........................ passed (0.000 sec)
% [5/10] numbers:string_number ...................... passed (0.000 sec)
% [6/10] numbers:string_number ...................... passed (0.000 sec)
% [7/10] numbers:string_number ...................... passed (0.000 sec)
% [8/10] numbers:string_number ...................... passed (0.000 sec)
% [9/10] unicode_preds:atom_length .................. passed (0.000 sec)
% [10/10] unicode_preds:string_length ............... passed (0.000 sec)
.
% [1/12] unify:blam ................................. passed (0.000 sec)
% [2/12] unify:unify_self ........................... passed (0.000 sec)
% [3/12] unify:unify_fv ............................. passed (0.000 sec)
% [4/12] unify:unify_arity_0 ........................ passed (0.000 sec)
% [5/12] unify:cycle_1 .............................. passed (0.000 sec)
% [6/12] unify:cycle_2 .............................. passed (0.000 sec)
% [7/12] can_compare:ground ......................... passed (0.000 sec)
% [8/12] can_compare:ground ......................... passed (0.000 sec)
% [9/12] can_compare:ground ......................... passed (0.000 sec)
% [10/12] unifiable:unifiable_1 ..................... passed (0.000 sec)
% [11/12] unifiable:unifiable_2 ..................... passed (0.000 sec)
% [12/12] unifiable:gc_1 ............................ passed (0.002 sec)
.
% [1/8] varprops:simple ............................. passed (0.000 sec)
% [2/8] varprops:not ................................ passed (0.000 sec)
% [3/8] varprops:not ................................ passed (0.000 sec)
% [4/8] varprops:disjunct ........................... passed (0.000 sec)
% [5/8] varprops:disjunct ........................... passed (0.000 sec)
% [6/8] varprops:disjunct ........................... passed (0.000 sec)
% [7/8] varprops:disjunct ........................... passed (0.000 sec)
% [8/8] varprops:disjunct ........................... passed (0.000 sec)
.
% [1/58] portray:exception .......................... passed (0.000 sec)
% [2/58] portray:blob ............................... passed (0.000 sec)
% [3/58] write_op:nodict ............................ passed (0.000 sec)
% [4/58] write_canonical:numbervars ................. passed (0.000 sec)
% [5/58] write_canonical:numbervars ................. passed (0.000 sec)
% [6/58] write_canonical:numbervars ................. passed (0.000 sec)
% [7/58] write_canonical:dot_in_atom ................ passed (0.000 sec)
% [8/58] write_canonical:dot_in_atom ................ passed (0.000 sec)
% [9/58] write_canonical:varname .................... passed (0.000 sec)
% [10/58] write_canonical:braceterm ................. passed (0.000 sec)
% [11/58] write_canonical:braceterm ................. passed (0.000 sec)
% [12/58] write_canonical:quote ..................... passed (0.000 sec)
% [13/58] write_canonical:quote ..................... passed (0.001 sec)
% [14/58] write_quoted:comment ...................... passed (0.000 sec)
% [15/58] write_quoted:comment ...................... passed (0.000 sec)
% [16/58] write_quoted:comment ...................... passed (0.000 sec)
% [17/58] write_quoted:comment ...................... passed (0.000 sec)
% [18/58] write_quoted:escape ....................... passed (0.000 sec)
% [19/58] write_quoted:escape ....................... passed (0.000 sec)
% [20/58] write_quoted:escape ....................... passed (0.000 sec)
% [21/58] write_quoted:escape ....................... passed (0.001 sec)
% [22/58] write_quoted:space ........................ passed (0.000 sec)
% [23/58] write_quoted:backslash .................... passed (0.000 sec)
% [24/58] write_quoted:backslash .................... passed (0.000 sec)
% [25/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [26/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [27/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [28/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [29/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [30/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [31/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [32/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [33/58] write_float:nan ........................... passed (0.000 sec)
% [34/58] write_misc:q_1 ............................ passed (0.000 sec)
% [35/58] write_misc:q_2 ............................ passed (0.000 sec)
% [36/58] write_misc:q_3 ............................ passed (0.000 sec)
% [37/58] write_misc:q_4 ............................ passed (0.000 sec)
% [38/58] write_misc:q_5 ............................ passed (0.000 sec)
% [39/58] write_misc:q_6 ............................ passed (0.000 sec)
% [40/58] write_misc:q_7 ............................ passed (0.000 sec)
% [41/58] write_misc:q_8 ............................ passed (0.000 sec)
% [42/58] write_misc:q_9 ............................ passed (0.000 sec)
% [43/58] write_misc:op_1 ........................... passed (0.000 sec)
% [44/58] write_misc:op_2 ........................... passed (0.000 sec)
% [45/58] write_misc:op_3 ........................... passed (0.000 sec)
% [46/58] write_misc:c_1 ............................ passed (0.000 sec)
% [47/58] write_misc:s_1 ............................ passed (0.000 sec)
% [48/58] max_text:string ........................... passed (0.000 sec)
% [49/58] max_text:string ........................... passed (0.000 sec)
% [50/58] max_text:string ........................... passed (0.000 sec)
% [51/58] max_text:string ........................... passed (0.000 sec)
% [52/58] max_text:string ........................... passed (0.000 sec)
% [53/58] max_text:string ........................... passed (0.000 sec)
% [54/58] max_text:atom ............................. passed (0.000 sec)
% [55/58] max_text:atom ............................. passed (0.000 sec)
% [56/58] max_text:atom ............................. passed (0.000 sec)
% [57/58] max_text:atom ............................. passed (0.000 sec)
% [58/58] max_text:atom ............................. passed (0.000 sec)
. done
Running scripts from attvar .
% [1/8] attvar:s_list ............................... passed (0.000 sec)
% [2/8] attvar:true_ndet ............................ passed (0.000 sec)
% [3/8] freeze:freeze_and ........................... passed (0.000 sec)
% [4/8] freeze:freeze_memberchk ..................... passed (0.000 sec)
% [5/8] freeze:freeze_memberchk ..................... passed (0.000 sec)
% [6/8] freeze:freeze_memberchk ..................... passed (0.000 sec)
% [7/8] freeze:freeze_memberchk ..................... passed (0.000 sec)
% [8/8] attvar_with_occurs_check:occurs_check ....... passed (0.000 sec)
.
% [1/18] call_residue_vars:freeze_in ................ passed (0.000 sec)
% [2/18] call_residue_vars:freeze_bind .............. passed (0.000 sec)
% [3/18] call_residue_vars:freeze_out ............... passed (0.000 sec)
% [4/18] call_residue_vars:freeze_oi ................ passed (0.000 sec)
% [5/18] call_residue_vars:nogc ..................... passed (0.000 sec)
% [6/18] call_residue_vars:gc ....................... passed (0.000 sec)
% [7/18] call_residue_vars:gc2 ...................... passed (0.000 sec)
% [8/18] call_residue_vars:gc3 ...................... passed (0.084 sec)
% [9/18] call_residue_vars:modify ................... passed (0.001 sec)
% [10/18] call_residue_vars:trail ................... passed (0.001 sec)
% [11/18] call_residue_vars:frozen_stacks ........... passed (0.000 sec)
% [12/18] call_residue_vars:copy_term ............... passed (0.011 sec)
% [13/18] call_residue_vars:copy_term ............... passed (0.000 sec)
% [14/18] call_residue_vars:copy_term ............... passed (0.000 sec)
% [15/18] call_residue_vars:record .................. passed (0.000 sec)
% [16/18] call_residue_vars:record .................. passed (0.000 sec)
% [17/18] call_residue_vars:record .................. passed (0.000 sec)
% [18/18] call_residue_vars:early_reset ............. passed (0.000 sec)
.
% [1/24] dif:1 ...................................... passed (0.000 sec)
% [2/24] dif:2 ...................................... passed (0.000 sec)
% [3/24] dif:3 ...................................... passed (0.000 sec)
% [4/24] dif:4 ...................................... passed (0.000 sec)
% [5/24] dif:5 ...................................... passed (0.000 sec)
% [6/24] dif:6 ...................................... passed (0.000 sec)
% [7/24] dif:7 ...................................... passed (0.000 sec)
% [8/24] dif:7b ..................................... passed (0.000 sec)
% [9/24] dif:8 ...................................... passed (0.000 sec)
% [10/24] dif:9 ..................................... passed (0.002 sec)
% [11/24] dif:10 .................................... passed (0.000 sec)
% [12/24] dif:res1 .................................. passed (0.000 sec)
% [13/24] dif:11 .................................... passed (0.000 sec)
% [14/24] dif:12 .................................... passed (0.000 sec)
% [15/24] dif:13 .................................... passed (0.000 sec)
% [16/24] dif:14 .................................... passed (0.000 sec)
% [17/24] dif:15 .................................... passed (0.001 sec)
% [18/24] dif:16 .................................... passed (0.000 sec)
% [19/24] dif:no_dup ................................ passed (0.002 sec)
% [20/24] dif:17 .................................... passed (0.000 sec)
% [21/24] dif:other_atts ............................ passed (0.000 sec)
% [22/24] dif:issue122 .............................. passed (0.000 sec)
% [23/24] dif:issue109 .............................. passed (0.000 sec)
% [24/24] dif:issue122 .............................. passed (0.000 sec)
. done
Running scripts from debug 
% [1/2] d_break:call ................................ passed (0.000 sec)
% [2/2] d_break:t_break ............................. passed (0.168 sec)
............................. done
Running scripts from library .
% [1/17] foreach:forall ............................. passed (0.000 sec)
% [2/17] foreach:forall ............................. passed (0.000 sec)
% [3/17] foreach:dif1 ............................... passed (0.000 sec)
% [4/17] foreach:dif1 ............................... passed (0.000 sec)
% [5/17] foreach:member ............................. passed (0.000 sec)
% [6/17] foreach:ht ................................. passed (0.001 sec)
% [7/17] aggregate:aggregate_sum .................... passed (0.000 sec)
% [8/17] aggregate:aggregate_count .................. passed (0.000 sec)
% [9/17] aggregate:aggregate_term ................... passed (0.000 sec)
% [10/17] aggregate:aggregate_term_bag .............. passed (0.000 sec)
% [11/17] aggregate:aggregate_term0 ................. passed (0.000 sec)
% [12/17] aggregate:aggregate_age ................... passed (0.000 sec)
% [13/17] aggregate:aggregate_age_disc .............. passed (0.000 sec)
% [14/17] aggregate:max_density ..................... passed (0.000 sec)
% [15/17] aggregate:density_range ................... passed (0.000 sec)
% [16/17] aggregate:aggregate_all ................... passed (0.000 sec)
% [17/17] aggregate:e_vars .......................... passed (0.000 sec)
.
% [1/5] ansi_term:absolute_position_output .......... passed (0.000 sec)
% [2/5] ansi_term:absolute_position_input ........... passed (0.000 sec)
% [3/5] ansi_term:multi_position_output ............. passed (0.000 sec)
% [4/5] ansi_term:single_nonlist_argument ........... passed (0.000 sec)
% [5/5] ansi_term:multi_arguments ................... passed (0.000 sec)
.
% [1/12] foldl:foldl empty, starter is atom ......... passed (0.000 sec)
% [2/12] foldl:foldl empty, starter is unbound ...... passed (0.000 sec)
% [3/12] foldl:foldl const..f arguments, 1 list ..... passed (0.000 sec)
% [4/12] foldl:foldl const.. arguments, 2 lists ..... passed (0.000 sec)
% [5/12] foldl:foldl const.. arguments, 3 lists ..... passed (0.000 sec)
% [6/12] foldl:foldl const.. arguments, 4 lists ..... passed (0.000 sec)
% [7/12] foldl:foldl const..g unbound variables ..... passed (0.000 sec)
% [8/12] foldl:foldl build..lly increasing ints ..... passed (0.000 sec)
% [9/12] foldl:foldl build..g ints, just verify ..... passed (0.000 sec)
% [10/12] foldl:foldl breakoff with failure ......... passed (0.000 sec)
% [11/12] foldl:foldl breakoff with exception ....... passed (0.000 sec)
% [12/12] foldl:foldl on li..an unbound variable .... passed (0.000 sec)
.
% [1/8] arithmetic_function:func .................... passed (0.000 sec)
% [2/8] arithmetic_function:func .................... passed (0.000 sec)
% [3/8] arithmetic_function:func .................... passed (0.000 sec)
% [4/8] arithmetic_function:euler ................... passed (0.000 sec)
% [5/8] arithmetic_function:fail .................... passed (0.000 sec)
% [6/8] arithmetic_function:except .................. passed (0.000 sec)
% [7/8] arithmetic_function:fac ..................... passed (0.000 sec)
% [8/8] arithmetic_function:idiv .................... passed (0.000 sec)
.
% [1/16] assoc:wirth_85 ............................. passed (0.000 sec)
% [2/16] assoc:unbalanced_1 ......................... passed (0.000 sec)
% [3/16] assoc:unbalanced_2 ......................... passed (0.000 sec)
% [4/16] assoc:unbalanced_3 ......................... passed (0.000 sec)
% [5/16] assoc:unordered_1 .......................... passed (0.000 sec)
% [6/16] assoc:unordered_2 .......................... passed (0.000 sec)
% [7/16] assoc:unordered_3 .......................... passed (0.000 sec)
% [8/16] assoc:bad_structure_1 ...................... passed (0.000 sec)
% [9/16] assoc:bad_structure_2 ...................... passed (0.000 sec)
% [10/16] assoc:bad_structure_keys_not_ground ....... passed (0.000 sec)
% [11/16] assoc:del_max_min ......................... passed (0.000 sec)
% [12/16] assoc:wirth_del ........................... passed (0.000 sec)
% [13/16] assoc:random_min .......................... passed (0.001 sec)
% [14/16] assoc:random_max .......................... passed (0.001 sec)
% [15/16] assoc:del_empty ........................... passed (0.000 sec)
% [16/16] assoc:del_no_member ....................... passed (0.000 sec)
.
% [1/8] csv_read_file_row:normal .................... passed (0.007 sec)
% [2/8] csv_read_file_row:emptyline ................. passed (0.000 sec)
% [3/8] csv_read_file_row:quoted .................... passed (0.000 sec)
% [4/8] csv_read_file_row:quoted_ignored ............ passed (0.000 sec)
% [5/8] csv_read_file_row:quoted_lf ................. passed (0.002 sec)
% [6/8] csv_read_file_row:quoted_lf_ignored ......... passed (0.000 sec)
% [7/8] csv_read_file_row:quoted_crlf ............... passed (0.000 sec)
% [8/8] csv_read_file_row:quoted_crlf_ignored ....... passed (0.000 sec)
.'%Z': got 'Mitteleuropäische Sommerzeit', expected 'CEST'
% [1/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [2/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [3/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [4/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [5/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [6/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [7/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [8/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [9/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [10/12] format_time:fraction ...................... passed (0.000 sec)
% [11/12] format_time:negfraction ................... passed (0.000 sec)
% [12/12] date_time_stamp:tz ........................ passed (0.000 sec)
.
% [1-1/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-2/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-3/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-4/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-5/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-6/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [2/14] sequence:sequence.. order of solutions ..... passed (0.000 sec)
% [3-1/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [3-2/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [3-3/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [3-4/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [3-5/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [4/14] sequence:sequence//2 nondet element ........ passed (0.000 sec)
% [5/14] sequence:sequence..et element and rest ..... passed (0.000 sec)
% [6-1/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-2/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-3/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-4/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-5/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-6/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [7/14] sequence:sequence..lement trailing sep ..... passed (0.000 sec)
% [8/14] sequence:sequence..p consumed silently ..... passed (0.000 sec)
% [9/14] sequence:sequence//3 separator only ........ passed (0.000 sec)
% [10/14] sequence:sequence//3 nondet element ....... passed (0.000 sec)
% [11-1/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-2/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-3/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-4/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-5/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [12/14] sequence:sequence..lement trailing sep .... passed (0.000 sec)
% [13/14] sequence:sequence//5 sep only ............. passed (0.000 sec)
% [14/14] sequence:sequence//5 nondet element ....... passed (0.000 sec)
.
% [1/18] must_be:integer ............................ passed (0.000 sec)
% [2/18] must_be:integer ............................ passed (0.000 sec)
% [3/18] must_be:integer ............................ passed (0.000 sec)
% [4/18] must_be:integer ............................ passed (0.000 sec)
% [5/18] must_be:integer ............................ passed (0.000 sec)
% [6/18] must_be:rational ........................... passed (0.000 sec)
% [7/18] must_be:rational ........................... passed (0.000 sec)
% [8/18] must_be:rational ........................... passed (0.000 sec)
% [9/18] must_be:rational ........................... passed (0.000 sec)
% [10/18] must_be:rational .......................... passed (0.000 sec)
% [11/18] must_be:list_of_integer ................... passed (0.000 sec)
% [12/18] must_be:list_of_integer ................... passed (0.000 sec)
% [13/18] must_be:list_of_integer ................... passed (0.000 sec)
% [14/18] must_be:list_of_integer ................... passed (0.000 sec)
% [15/18] must_be:list_of_integer ................... passed (0.000 sec)
% [16/18] must_be:list_of_integer ................... passed (0.000 sec)
% [17/18] must_be:list_of_integer ................... passed (0.000 sec)
% [18/18] must_be:list_of_integer ................... passed (0.000 sec)
.
% [1/7] evaluable_property:consistency .............. passed (0.000 sec)
% [2/7] evaluable_property:consistency .............. passed (0.000 sec)
% [3/7] evaluable_property:det ...................... passed (0.000 sec)
% [4/7] evaluable_property:ndet ..................... passed (0.000 sec)
% [5/7] evaluable_property:templ .................... passed (0.002 sec)
% [6/7] evaluable_property:iso ...................... passed (0.000 sec)
% [7/7] evaluable_property:error .................... passed (0.002 sec)
.
% [1/8] hashtable:rfill ............................. passed (0.009 sec)
% [2/8] hashtable:rdel .............................. passed (0.011 sec)
% [3/8] hashtable:empty ............................. passed (0.000 sec)
% [4/8] hashtable:empty ............................. passed (0.000 sec)
% [5/8] hashtable:size .............................. passed (0.000 sec)
% [6/8] hashtable:put5 .............................. passed (0.000 sec)
% [7/8] hashtable:put5 .............................. passed (0.000 sec)
% [8/8] hashtable:wc ................................ passed (0.000 sec)
.
% [1/6] intercept:assign ............................ passed (0.002 sec)
% [2/6] intercept:assign ............................ passed (0.000 sec)
% [3/6] intercept:no_univ ........................... passed (0.000 sec)
% [4/6] intercept:all ............................... passed (0.000 sec)
% [5/6] intercept:all_empty ......................... passed (0.000 sec)
% [6/6] intercept:all_nb ............................ passed (0.000 sec)
.
% [1/2] lazy_lists:list ............................. passed (0.000 sec)
% [2/2] lazy_lists:state ............................ passed (0.000 sec)
.
% [1/1] lists:reverse ............................... passed (0.000 sec)
.
% [1/48] argv_options_unguided:unguided ............. passed (0.002 sec)
% [2/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [3/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [4/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [5/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [6/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [7/48] argv_options_bool:guided ................... passed (0.002 sec)
% [8/48] argv_options_bool:remaining ................ passed (0.000 sec)
% [9/48] argv_options_bool:position ................. passed (0.000 sec)
% [10/48] argv_options_bool:true .................... passed (0.000 sec)
% [11/48] argv_options_bool:true .................... passed (0.000 sec)
% [12/48] argv_options_bool:true .................... passed (0.000 sec)
% [13/48] argv_options_bool:true .................... passed (0.000 sec)
% [14/48] argv_options_bool:true .................... passed (0.000 sec)
% [15/48] argv_options_bool:true .................... passed (0.000 sec)
% [16/48] argv_options_bool:true .................... passed (0.000 sec)
% [17/48] argv_options_bool:true .................... passed (0.000 sec)
% [18/48] argv_options_bool:false ................... passed (0.000 sec)
% [19/48] argv_options_bool:false ................... passed (0.000 sec)
% [20/48] argv_options_bool:false ................... passed (0.000 sec)
% [21/48] argv_options_bool:false ................... passed (0.000 sec)
% [22/48] argv_options_bool:false ................... passed (0.000 sec)
% [23/48] argv_options_bool:false ................... passed (0.000 sec)
% [24/48] argv_options_typed:int .................... passed (0.000 sec)
% [25/48] argv_options_typed:int .................... passed (0.000 sec)
% [26/48] argv_options_typed:int .................... passed (0.000 sec)
% [27/48] argv_options_typed:int .................... passed (0.000 sec)
% [28/48] argv_options_typed:int .................... passed (0.000 sec)
% [29/48] argv_options_typed:int .................... passed (0.000 sec)
% [30/48] argv_options_typed:percent ................ passed (0.000 sec)
% [31/48] argv_options_typed:percent ................ passed (0.000 sec)
% [32/48] argv_options_typed:float .................. passed (0.000 sec)
% [33/48] argv_options_typed:atom ................... passed (0.000 sec)
% [34/48] argv_options_typed:atom ................... passed (0.000 sec)
% [35/48] argv_options_typed:atom ................... passed (0.000 sec)
% [36/48] argv_options_typed:atom ................... passed (0.000 sec)
% [37/48] argv_options_typed:enum ................... passed (0.000 sec)
% [38/48] argv_options_typed:enum ................... passed (0.000 sec)
% [39/48] argv_options_typed:term ................... passed (0.000 sec)
% [40/48] argv_options_typed:term ................... passed (0.000 sec)
% [41/48] argv_options_typed:pass ................... passed (0.001 sec)
% [42/48] argv_options_typed:pass ................... passed (0.000 sec)
% [43/48] argv_options_typed:pass ................... passed (0.000 sec)
% [44/48] argv_options_typed:pass_short ............. passed (0.000 sec)
% [45/48] argv_options_typed:pass_short ............. passed (0.000 sec)
% [46/48] argv_options_pos:no_opts_after_pos ........ passed (0.000 sec)
% [47/48] argv_options_pos:no_opts_after_pos ........ passed (0.000 sec)
% [48/48] argv_options_pos:no_opts_after_pos ........ passed (0.000 sec)
.
% [1/4] option:merge_empty .......................... passed (0.000 sec)
% [2/4] option:merge_a2 ............................. passed (0.000 sec)
% [3/4] option:merge_a2 ............................. passed (0.000 sec)
% [4/4] option:merge_a2 ............................. passed (0.000 sec)
.
% [1/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [2/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [3/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [4/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [5/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [6/8] is_ordset:is_ordset ......................... passed (0.000 sec)
% [7/8] is_ordset:is_ordset ......................... passed (0.000 sec)
% [8/8] is_ordset:is_ordset ......................... passed (0.000 sec)
.
% [1/23] phrase_from_file:null ...................... passed (0.000 sec)
% [2/23] phrase_from_file:null ...................... passed (0.000 sec)
% [3/23] phrase_from_file:null ...................... passed (0.000 sec)
% [4/23] phrase_from_file:null ...................... passed (0.000 sec)
% [5/23] phrase_from_file:null ...................... passed (0.000 sec)
% [6/23] phrase_from_file:null ...................... passed (0.000 sec)
% [7/23] phrase_from_file:aba ....................... passed (0.000 sec)
% [8/23] phrase_from_file:aba ....................... passed (0.000 sec)
% [9/23] phrase_from_file:aba ....................... passed (0.000 sec)
% [10/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [11/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [12/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [13/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [14/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [15/23] phrase_from_file:abc_nodebug .............. passed (0.000 sec)
% [16/23] phrase_from_file:abc_debug ................ passed (0.000 sec)
% [17/23] read_pending_input:ascii .................. passed (0.003 sec)
% [18/23] read_pending_input:octet .................. passed (0.003 sec)
% [19/23] read_pending_input:iso_latin_1 ............ passed (0.003 sec)
% [20/23] read_pending_input:utf8 ................... passed (0.006 sec)
% [21/23] read_pending_input:utf16be ................ passed (0.004 sec)
% [22/23] read_pending_input:utf16le ................ passed (0.003 sec)
% [23/23] read_pending_input:wchar_t ................ passed (0.003 sec)
.
% [1/7] prolog_clause:t0 ............................ passed (0.001 sec)
% [2/7] prolog_clause:t1 ............................ passed (0.001 sec)
% [3/7] prolog_clause:t2 ............................ passed (0.000 sec)
% [4/7] prolog_clause:t3 ............................ passed (0.000 sec)
% [5/7] prolog_clause:t4 ............................ passed (0.000 sec)
% [6/7] prolog_clause:t5 ............................ passed (0.000 sec)
% [7/7] prolog_clause:t6 ............................ passed (0.000 sec)
.
% [1/1] prolog_colour:function ...................... passed (0.091 sec)
.
% [1/145] rbtrees:keys .............................. passed (0.000 sec)
% [2/145] rbtrees:clone3 ............................ passed (0.000 sec)
% [3/145] rbtrees:pos ............................... passed (0.015 sec)
% [4/145] rbtrees:neg ............................... passed (0.016 sec)
% [5/145] rbtrees:empty1 ............................ passed (0.000 sec)
% [6/145] rbtrees:empty2 ............................ passed (0.000 sec)
% [7/145] rbtrees:lookup1 ........................... passed (0.000 sec)
% [8/145] rbtrees:lookup2 ........................... passed (0.000 sec)
% [9/145] rbtrees:update1 ........................... passed (0.000 sec)
% [10/145] rbtrees:update2 .......................... passed (0.000 sec)
% [11/145] rbtrees:update3 .......................... passed (0.000 sec)
% [12/145] rbtrees:apply1 ........................... passed (0.000 sec)
% [13/145] rbtrees:apply2 ........................... passed (0.000 sec)
% [14/145] rbtrees:insert1 .......................... passed (0.000 sec)
% [15/145] rbtrees:insert2 .......................... passed (0.000 sec)
% [16/145] rbtrees:insert3 .......................... passed (0.000 sec)
% [17/145] rbtrees:delete1 .......................... passed (0.000 sec)
% [18/145] rbtrees:delete2 .......................... passed (0.000 sec)
% [19/145] rbtrees:delete3 .......................... passed (0.000 sec)
% [20/145] rbtrees:sequence ......................... passed (0.000 sec)
% [21/145] rbtrees:keys1 ............................ passed (0.000 sec)
% [22/145] rbtrees:keys2 ............................ passed (0.000 sec)
% [23/145] rbtrees:map1 ............................. passed (0.000 sec)
% [24/145] rbtrees:map1a ............................ passed (0.000 sec)
% [25/145] rbtrees:map2 ............................. passed (0.000 sec)
% [26/145] rbtrees:map3 ............................. passed (0.000 sec)
% [27/145] rbtrees:map3b ............................ passed (0.000 sec)
% [28/145] rbtrees:map4 ............................. passed (0.000 sec)
% [29/145] rbtrees:map5 ............................. passed (0.000 sec)
% [30/145] rbtrees:fold ............................. passed (0.000 sec)
% [31/145] rbtrees:clone ............................ passed (0.000 sec)
% [32/145] rbtrees:size_min_max ..................... passed (0.000 sec)
% [33/145] rbtrees:del_min1 ......................... passed (0.000 sec)
% [34/145] rbtrees:del_min2 ......................... passed (0.000 sec)
% [35/145] rbtrees:del_min3 ......................... passed (0.000 sec)
% [36/145] rbtrees:del_max1 ......................... passed (0.000 sec)
% [37/145] rbtrees:del_max2 ......................... passed (0.000 sec)
% [38/145] rbtrees:del_max3 ......................... passed (0.000 sec)
% [39/145] rbtrees:rb_min1 .......................... passed (0.000 sec)
% [40/145] rbtrees:rb_max1 .......................... passed (0.000 sec)
% [41/145] rbtrees:next1 ............................ passed (0.000 sec)
% [42/145] rbtrees:next2 ............................ passed (0.000 sec)
% [43/145] rbtrees:previous1 ........................ passed (0.000 sec)
% [44/145] rbtrees:previous2 ........................ passed (0.000 sec)
% [45/145] rbtrees:in1 .............................. passed (0.000 sec)
% [46/145] rbtrees:in2 .............................. passed (0.000 sec)
% [47/145] rbtrees:in3 .............................. passed (0.000 sec)
% [48/145] rbtrees:in4 .............................. passed (0.000 sec)
% [49/145] rbtrees:in5a ............................. passed (0.000 sec)
% [50/145] rbtrees:in5b ............................. passed (0.000 sec)
% [51/145] rbtrees:steadfast_rb_visit ............... passed (0.000 sec)
% [52/145] rbtrees:steadfast_empty_1a ............... passed (0.000 sec)
% [53/145] rbtrees:steadfast_empty_1b ............... passed (0.000 sec)
% [54/145] rbtrees:steadfast_new_1a ................. passed (0.000 sec)
% [55/145] rbtrees:steadfast_new_1b ................. passed (0.000 sec)
% [56/145] rbtrees:steadfast_lookup_3 ............... passed (0.000 sec)
% [57/145] rbtrees:steadfast_update_4a .............. passed (0.000 sec)
% [58/145] rbtrees:steadfast_update_5a .............. passed (0.000 sec)
% [59/145] rbtrees:steadfast_apply_4 ................ passed (0.000 sec)
% [60/145] rbtrees:steadfast_insert_4 ............... passed (0.000 sec)
% [61/145] rbtrees:steadfast_insert_new_4 ........... passed (0.000 sec)
% [62/145] rbtrees:steadfast_delete_3 ............... passed (0.000 sec)
% [63/145] rbtrees:steadfast_delete_4 ............... passed (0.000 sec)
% [64/145] rbtrees:steadfast_keys_2 ................. passed (0.000 sec)
% [65/145] rbtrees:steadfast_map_3 .................. passed (0.000 sec)
% [66/145] rbtrees:steadfast_min .................... passed (0.000 sec)
% [67/145] rbtrees:steadfast_max .................... passed (0.000 sec)
% [68/145] rbtrees:steadfast_next ................... passed (0.000 sec)
% [69/145] rbtrees:steadfast_previous ............... passed (0.000 sec)
% [70/145] rbtrees:steadfast_list_to_rbtree ......... passed (0.000 sec)
% [71/145] rbtrees:steadfast_size ................... passed (0.000 sec)
% [72/145] rbtrees:steadfast_in ..................... passed (0.000 sec)
% [73/145] rbtrees:instantiation_visit_2 ............ passed (0.000 sec)
% [74/145] rbtrees:instantiation_lookup_3a .......... passed (0.000 sec)
% [75/145] rbtrees:instantiation_lookup_3b .......... passed (0.000 sec)
% [76/145] rbtrees:instantiation_lookup_3c .......... passed (0.000 sec)
% [77/145] rbtrees:instantiation_lookup_3d .......... passed (0.000 sec)
% [78/145] rbtrees:instantiation_update_4a .......... passed (0.000 sec)
% [79/145] rbtrees:instantiation_update_4b .......... passed (0.000 sec)
% [80/145] rbtrees:instantiation_update_4c .......... passed (0.000 sec)
% [81/145] rbtrees:instantiation_update_5a .......... passed (0.000 sec)
% [82/145] rbtrees:instantiation_update_5b .......... passed (0.000 sec)
% [83/145] rbtrees:instantiation_update_5c .......... passed (0.000 sec)
% [84/145] rbtrees:instantiation_update_5d .......... passed (0.000 sec)
% [85/145] rbtrees:instantiation_apply_4a ........... passed (0.000 sec)
% [86/145] rbtrees:instantiation_apply_4b ........... passed (0.000 sec)
% [87/145] rbtrees:instantiation_apply_4c ........... passed (0.000 sec)
% [88/145] rbtrees:instantiation_insert_4a .......... passed (0.000 sec)
% [89/145] rbtrees:instantiation_insert_4b .......... passed (0.000 sec)
% [90/145] rbtrees:instantiation_insert_new_4a ...... passed (0.000 sec)
% [91/145] rbtrees:instantiation_insert_new_4a ...... passed (0.000 sec)
% [92/145] rbtrees:instantiation_delete_3a .......... passed (0.000 sec)
% [93/145] rbtrees:instantiation_delete_3b .......... passed (0.000 sec)
% [94/145] rbtrees:instantiation_delete_3c .......... passed (0.000 sec)
% [95/145] rbtrees:instantiation_delete_4a .......... passed (0.000 sec)
% [96/145] rbtrees:instantiation_delete_4b .......... passed (0.000 sec)
% [97/145] rbtrees:instantiation_keys_2 ............. passed (0.000 sec)
% [98/145] rbtrees:instantiation_map_2a ............. passed (0.000 sec)
% [99/145] rbtrees:instantiation_map_2b ............. passed (0.000 sec)
% [100/145] rbtrees:instantiation_map_2c ............ passed (0.000 sec)
% [101/145] rbtrees:instantiation_map_3a ............ passed (0.000 sec)
% [102/145] rbtrees:instantiation_map_3b ............ passed (0.000 sec)
% [103/145] rbtrees:instantiation_map_3c ............ passed (0.000 sec)
% [104/145] rbtrees:instantiation_partial_map_4 ..... passed (0.000 sec)
% [105/145] rbtrees:instantiation_fold_4 ............ passed (0.000 sec)
% [106/145] rbtrees:instantiation_clone_3 ........... passed (0.000 sec)
% [107/145] rbtrees:instantiation_min_3 ............. passed (0.000 sec)
% [108/145] rbtrees:instantiation_max_3 ............. passed (0.000 sec)
% [109/145] rbtrees:instantiation_del_min_4 ......... passed (0.000 sec)
% [110/145] rbtrees:instantiation_del_max_4 ......... passed (0.000 sec)
% [111/145] rbtrees:instantiation_min_3 ............. passed (0.000 sec)
% [112/145] rbtrees:instantiation_next_4 ............ passed (0.000 sec)
% [113/145] rbtrees:instantiation_previous_4 ........ passed (0.000 sec)
% [114/145] rbtrees:instantiation_list_to_rbtree_2 .. passed (0.000 sec)
% [115/145] rbtrees:instantia..rd_list_to_rbtree_2 .. passed (0.000 sec)
% [116/145] rbtrees:instantiation_is_rbtree_1 ....... passed (0.000 sec)
% [117/145] rbtrees:not_tree_visit_2 ................ passed (0.000 sec)
% [118/145] rbtrees:not_tree_lookup_3 ............... passed (0.000 sec)
% [119/145] rbtrees:not_tree_update_4 ............... passed (0.000 sec)
% [120/145] rbtrees:not_tree_update_5 ............... passed (0.000 sec)
% [121/145] rbtrees:not_tree_apply_4 ................ passed (0.000 sec)
% [122/145] rbtrees:not_tree_insert_4 ............... passed (0.000 sec)
% [123/145] rbtrees:not_tree_insert_new_4 ........... passed (0.000 sec)
% [124/145] rbtrees:not_tree_delete_3 ............... passed (0.000 sec)
% [125/145] rbtrees:not_tree_delete_4 ............... passed (0.000 sec)
% [126/145] rbtrees:not_tree_keys_2 ................. passed (0.000 sec)
% [127/145] rbtrees:not_tree_map_2 .................. passed (0.000 sec)
% [128/145] rbtrees:not_tree_map_3 .................. passed (0.000 sec)
% [129/145] rbtrees:not_tree_partial_map_4 .......... passed (0.000 sec)
% [130/145] rbtrees:not_tree_fold_4 ................. passed (0.000 sec)
% [131/145] rbtrees:not_tree_clone_3 ................ passed (0.000 sec)
% [132/145] rbtrees:not_tree_min_3 .................. passed (0.000 sec)
% [133/145] rbtrees:not_tree_max_3 .................. passed (0.000 sec)
% [134/145] rbtrees:not_tree_del_min_4 .............. passed (0.000 sec)
% [135/145] rbtrees:not_tree_del_max_4 .............. passed (0.000 sec)
% [136/145] rbtrees:not_tree_min_3 .................. passed (0.000 sec)
% [137/145] rbtrees:not_tree_next_4 ................. passed (0.000 sec)
% [138/145] rbtrees:not_tree_previous_4 ............. passed (0.000 sec)
% [139/145] rbtrees:not_tree_is_rbtree_1 ............ passed (0.000 sec)
% [140/145] rbtrees:is_rbtree_1a .................... passed (0.000 sec)
% [141/145] rbtrees:is_rbtree_1b .................... passed (0.000 sec)
% [142/145] rbtrees:is_rbtree_1c .................... passed (0.000 sec)
% [143/145] rbtrees:is_rbtree_1c .................... passed (0.000 sec)
% [144/145] rbtrees:instantiation_size_2 ............ passed (0.000 sec)
% [145/145] rbtrees:instantiation_in_3 .............. passed (0.000 sec)
.
% [1/18] record:record_type ......................... passed (0.000 sec)
% [2/18] record:record_type ......................... passed (0.000 sec)
% [3/18] record:record_type ......................... passed (0.000 sec)
% [4/18] record:list_type ........................... passed (0.000 sec)
% [5/18] record:list_type ........................... passed (0.000 sec)
% [6/18] record:record_no_type ...................... passed (0.000 sec)
% [7/18] record:point ............................... passed (0.000 sec)
% [8/18] record:point ............................... passed (0.000 sec)
% [9/18] record:point ............................... passed (0.000 sec)
% [10/18] record:point .............................. passed (0.000 sec)
% [11/18] record:point .............................. passed (0.000 sec)
% [12/18] record:point .............................. passed (0.000 sec)
% [13/18] record:point .............................. passed (0.000 sec)
% [14/18] record:point .............................. passed (0.000 sec)
% [15/18] record:point .............................. passed (0.000 sec)
% [16/18] record:point .............................. passed (0.000 sec)
% [17/18] record:point .............................. passed (0.000 sec)
% [18/18] record:point .............................. passed (0.000 sec)
.
% [1/5] settings:get ................................ passed (0.000 sec)
% [2/5] settings:ch_default ......................... passed (0.000 sec)
% [3/5] settings:save_default ....................... passed (0.001 sec)
% [4/5] settings:restore_default .................... passed (0.000 sec)
% [5/5] settings:arith .............................. passed (0.000 sec)
.
% [1/7] test_solution_sequences:distinct ............ passed (0.000 sec)
% [2/7] test_solution_sequences:limit ............... passed (0.000 sec)
% [3/7] test_solution_sequences:offset .............. passed (0.000 sec)
% [4/7] test_solution_sequences:a ................... passed (0.000 sec)
% [5/7] test_solution_sequences:d ................... passed (0.000 sec)
% [6/7] test_solution_sequences:ad .................. passed (0.000 sec)
% [7/7] test_solution_sequences:group_by ............ passed (0.000 sec)
.
% [1/10] source_info:hu1/1 .......................... passed (0.004 sec)
% [2/10] source_info:hu2/1 .......................... passed (0.001 sec)
% [3/10] source_info:hu3/1 .......................... passed (0.001 sec)
% [4/10] source_info:ssu1/1 ......................... passed (0.001 sec)
% [5/10] source_info:nsu1/1 ......................... passed (0.001 sec)
% [6/10] source_info:ssu2/1 ......................... passed (0.001 sec)
% [7/10] source_info:ssu3/1 ......................... passed (0.001 sec)
% [8/10] source_info:ssu4/1 ......................... passed (0.000 sec)
% [9/10] source_info:ssu5/1 ......................... passed (0.000 sec)
% [10/10] source_info:ssu6/2 ........................ passed (0.001 sec)
.
% [1/56] strings:plain .............................. passed (0.000 sec)
% [2/56] strings:interpolate ........................ passed (0.000 sec)
% [3/56] strings:interpolate ........................ passed (0.001 sec)
% [4/56] strings:interpolate ........................ passed (0.000 sec)
% [5/56] strings:dedent ............................. passed (0.000 sec)
% [6/56] strings:dedent ............................. passed (0.000 sec)
% [7/56] strings:dedent ............................. passed (0.000 sec)
% [8/56] strings:splitlines ......................... passed (0.001 sec)
% [9/56] strings:splitlines ......................... passed (0.000 sec)
% [10/56] strings:splitlines ........................ passed (0.000 sec)
% [11/56] strings:splitlines ........................ passed (0.000 sec)
% [12/56] strings:string_lines ...................... passed (0.000 sec)
% [13/56] strings:string_lines ...................... passed (0.000 sec)
% [14/56] strings:string_lines ...................... passed (0.000 sec)
% [15/56] strings:string_lines ...................... passed (0.000 sec)
% [16/56] strings:string_lines ...................... passed (0.000 sec)
% [17/56] strings:string_lines ...................... passed (0.000 sec)
% [18/56] strings:string_lines ...................... passed (0.000 sec)
% [19/56] strings:string_lines ...................... passed (0.000 sec)
% [20/56] strings:string_lines ...................... passed (0.000 sec)
% [21/56] strings:string_lines ...................... passed (0.000 sec)
% [22/56] strings:string_lines ...................... passed (0.000 sec)
% [23/56] strings:string_lines ...................... passed (0.000 sec)
% [24/56] strings:string_lines ...................... passed (0.000 sec)
% [25/56] strings:string_lines ...................... passed (0.000 sec)
% [26/56] strings:string_lines ...................... passed (0.000 sec)
% [27/56] strings:string_lines ...................... passed (0.000 sec)
% [28/56] strings:string_lines ...................... passed (0.000 sec)
% [29/56] strings:string_lines ...................... passed (0.000 sec)
% [30/56] strings:string_lines ...................... passed (0.000 sec)
% [31/56] strings:dedent_nomargin ................... passed (0.000 sec)
% [32/56] strings:dedent_nomargin ................... passed (0.000 sec)
% [33/56] strings:dedent_nomargin ................... passed (0.000 sec)
% [34/56] strings:dedent_nomargin ................... passed (0.000 sec)
% [35/56] strings:dedent_even ....................... passed (0.000 sec)
% [36/56] strings:dedent_even ....................... passed (0.000 sec)
% [37/56] strings:dedent_even ....................... passed (0.000 sec)
% [38/56] strings:dedent_uneven ..................... passed (0.000 sec)
% [39/56] strings:dedent_uneven ..................... passed (0.000 sec)
% [40/56] strings:dedent_uneven ..................... passed (0.000 sec)
% [41/56] strings:dedent_declining .................. passed (0.000 sec)
% [42/56] strings:dedent_declining .................. passed (0.000 sec)
% [43/56] strings:dedent_declining .................. passed (0.000 sec)
% [44/56] strings:dedent_preserve_internal_tabs ..... passed (0.000 sec)
% [45/56] strings:dedent_preserve_margin_tabs ....... passed (0.000 sec)
% [46/56] strings:dedent_preserve_margin_tabs ....... passed (0.000 sec)
% [47/56] strings:dedent_preserve_margin_tabs ....... passed (0.000 sec)
% [48/56] strings:indent_nomargin_default ........... passed (0.000 sec)
% [49/56] strings:indent_nomargin_all_lines ......... passed (0.000 sec)
% [50/56] strings:indent_no_lines ................... passed (0.000 sec)
% [51/56] strings:roundtrip_spaces .................. passed (0.000 sec)
% [52/56] strings:roundtrip_tabs .................... passed (0.000 sec)
% [53/56] strings:roundtrip_mixed ................... passed (0.000 sec)
% [54/56] strings:indent_default .................... passed (0.000 sec)
% [55/56] strings:indent_all_lines .................. passed (0.000 sec)
% [56/56] strings:indent_empty_lines ................ passed (0.000 sec)
.
% [1/10] thread:true ................................ passed (0.001 sec)
% [2/10] thread:unify ............................... passed (0.001 sec)
% [3/10] thread:unify ............................... passed (0.001 sec)
% [4/10] thread:fail ................................ passed (0.001 sec)
% [5/10] thread:error ............................... passed (0.001 sec)
% [6/10] thread:concur .............................. passed (0.011 sec)
% [7/10] thread:first ............................... passed (0.003 sec)
% [8/10] thread:first ............................... passed (0.001 sec)
% [9/10] thread:first ............................... passed (0.012 sec)
% [10/10] thread:first .............................. passed (0.001 sec)
.
% [1/4] thread_pool:current ......................... passed (0.001 sec)
% [2/4] thread_pool:free ............................ passed (0.001 sec)
% [3/4] thread_pool:free ............................ passed (0.000 sec)
% [4/4] thread_pool:loop ............................ passed (0.248 sec)
.
% [1/2] tmp_module:nqueens .......................... passed (0.047 sec)
% [2/2] tmp_module:current_op ....................... passed (1.555 sec)
.
% [1/6] top_sort:linear ............................. passed (0.000 sec)
% [2/6] top_sort:linear ............................. passed (0.000 sec)
% [3/6] top_sort:multi .............................. passed (0.000 sec)
% [4/6] top_sort:multi .............................. passed (0.000 sec)
% [5/6] top_sort:disconnected ....................... passed (0.000 sec)
% [6/6] top_sort:cyclic ............................. passed (0.000 sec)
.
% [1/3] expand_unit:foo1 ............................ passed (0.000 sec)
% [2/3] expand_unit:foo2 ............................ passed (0.000 sec)
% [3/3] expand_unit:expand .......................... passed (0.000 sec)
..
% [1-1/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-2/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-3/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-4/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-5/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-6/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-7/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-8/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-9/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-10/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec)
% [1-11/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec)
% [1-12/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec)
% [1-13/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec)
% [1-14/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec)
% [1-15/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec)
% [2-1/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-2/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-3/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-4/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-5/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-6/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-7/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-8/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-9/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-10/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec)
% [2-11/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec)
% [2-12/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec)
% [2-13/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec)
% [2-14/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec)
% [2-15/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec)
% [3-1/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-2/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-3/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-4/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-5/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-6/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-7/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-8/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-9/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-10/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-11/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-12/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-13/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-14/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-15/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-16/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-17/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-18/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-19/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-20/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-21/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-22/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-23/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-24/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-25/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-26/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-27/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-28/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-29/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-30/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-31/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-32/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [4-1/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-2/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-3/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-4/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-5/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-6/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-7/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-8/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-9/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-10/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-11/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-12/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-13/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-14/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-15/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-16/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-17/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-18/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-19/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-20/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-21/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-22/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-23/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-24/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-25/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-26/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-27/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-28/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-29/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-30/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-31/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-32/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
.
% [1/1] varnumbers:min .............................. passed (0.000 sec)
.
% [1/8] cmp_versions:eq ............................. passed (0.000 sec)
% [2/8] cmp_versions:eq ............................. passed (0.000 sec)
% [3/8] cmp_versions:eq ............................. passed (0.000 sec)
% [4/8] cmp_versions:lt ............................. passed (0.000 sec)
% [5/8] cmp_versions:gt ............................. passed (0.000 sec)
% [6/8] cmp_versions:lt ............................. passed (0.000 sec)
% [7/8] cmp_versions:lt ............................. passed (0.000 sec)
% [8/8] cmp_versions:lt ............................. passed (0.000 sec)
.
% [1/3] when:nested_ground .......................... passed (0.000 sec)
% [2/3] when:nested_ground .......................... passed (0.000 sec)
% [3/3] when:nested_ground .......................... passed (0.000 sec)
.
% [1/42] yall_tests:call ............................ passed (0.000 sec)
% [2/42] yall_tests:call ............................ passed (0.000 sec)
% [3/42] yall_tests:call ............................ passed (0.000 sec)
% [4/42] yall_tests:call ............................ passed (0.000 sec)
% [5/42] yall_tests:disjunction ..................... passed (0.000 sec)
% [6/42] yall_tests:free ............................ passed (0.000 sec)
% [7/42] yall_tests:maplist ......................... passed (0.000 sec)
% [8/42] yall_tests:maplist ......................... passed (0.000 sec)
% [9/42] yall_tests:maplist ......................... passed (0.000 sec)
% [10/42] yall_tests:maplist ........................ passed (0.000 sec)
% [11/42] yall_tests:maplist ........................ passed (0.000 sec)
% [12/42] yall_tests:maplist ........................ passed (0.000 sec)
% [13/42] yall_tests:maplist ........................ passed (0.000 sec)
% [14/42] yall_tests:maplist ........................ passed (0.000 sec)
% [15/42] yall_tests:maplist ........................ passed (0.000 sec)
% [16/42] yall_tests:maplist ........................ passed (0.000 sec)
% [17/42] yall_tests:maplist ........................ passed (0.000 sec)
% [18/42] yall_tests:include ........................ passed (0.000 sec)
% [19/42] yall_tests:include ........................ passed (0.000 sec)
% [20/42] yall_tests:include ........................ passed (0.000 sec)
% [21/42] yall_tests:include ........................ passed (0.000 sec)
% [22/42] yall_tests:trivial ........................ passed (0.000 sec)
% [23/42] yall_tests:trivial ........................ passed (0.000 sec)
% [24/42] yall_tests:trivial ........................ passed (0.000 sec)
% [25/42] yall_tests:trivial ........................ passed (0.000 sec)
% [26/42] yall_tests:fold_left_in_disguise .......... passed (0.000 sec)
% [27/42] yall_tests:fold_left_in_disguise .......... passed (0.000 sec)
% [28/42] yall_tests:fold_left_in_disguise .......... passed (0.000 sec)
% [29/42] yall_tests:dif ............................ passed (0.000 sec)
% [30/42] yall_tests:dif ............................ passed (0.000 sec)
% [31/42] yall_tests:carlo_capelli_example .......... passed (0.000 sec)
% [32/42] yall_tests:setof .......................... passed (0.000 sec)
% [33/42] yall_tests:distances ...................... passed (0.000 sec)
% [34/42] yall_tests:distances ...................... passed (0.000 sec)
% [35/42] yall_tests:sum_squares .................... passed (0.000 sec)
% [36/42] yall_tests:sum_squares .................... passed (0.000 sec)
% [37/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [38/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [39/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [40/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [41/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [42/42] yall_tests:dcgs ........................... passed (0.000 sec)
. done
Running scripts from compile 
% [1/1] autoload:not_from_user ...................... passed (0.002 sec)
. done
Running scripts from charset . done
Running scripts from eclipse 
% Running ECLiPSe tests from file d:/temp/2026_02_22_16_30_16_23347/rtmp8sys6z/rlibs_81f4423e78a3/rswipl/swipl/test/eclipse/format.tst
.................................................................................................................................................................................................
% Finished tests from file d:/temp/2026_02_22_16_30_16_23347/rtmp8sys6z/rlibs_81f4423e78a3/rswipl/swipl/test/eclipse/format.tst
% 193 tests found.
% 193 tests succeeded.
% Running ECLiPSe tests from file d:/temp/2026_02_22_16_30_16_23347/rtmp8sys6z/rlibs_81f4423e78a3/rswipl/swipl/test/eclipse/format_strings.tst
...
% Finished tests from file d:/temp/2026_02_22_16_30_16_23347/rtmp8sys6z/rlibs_81f4423e78a3/rswipl/swipl/test/eclipse/format_strings.tst
% 3 tests found.
% 3 tests succeeded.
% Running ECLiPSe tests from file d:/temp/2026_02_22_16_30_16_23347/rtmp8sys6z/rlibs_81f4423e78a3/rswipl/swipl/test/eclipse/string_tests.tst
........................................................................................................................................................................
% Finished tests from file d:/temp/2026_02_22_16_30_16_23347/rtmp8sys6z/rlibs_81f4423e78a3/rswipl/swipl/test/eclipse/string_tests.tst
% 168 tests found.
% 168 tests succeeded.
. done
Running scripts from files 
% [1/6] file_names:1 ................................ passed (0.007 sec)
% [2/6] file_names:2 ................................ passed (0.007 sec)
% [3/6] file_names:3 ................................ passed (0.025 sec)
% [4/6] file_names:5 ................................ passed (0.167 sec)
% [5/6] file_names:4 ................................ passed (0.033 sec)
% [6/6] file_names:6 ................................ passed (0.035 sec)
.
% [1/17] files:tmp_cleanup .......................... passed (0.018 sec)
% [2/17] files:directory_files ...................... passed (0.000 sec)
% [3/17] files:directory_files ...................... passed (0.001 sec)
% [4/17] files:max_path_len ......................... passed (0.008 sec)
% [5/17] files:max_path_len ......................... passed (0.008 sec)
% [6/17] files:max_path_len ......................... passed (0.008 sec)
% [7/17] files:at_end_of_stream ..................... passed (0.001 sec)
% [8/17] files:at_end_of_stream ..................... passed (0.001 sec)
% [9/17] files:at_end_of_stream ..................... passed (0.001 sec)
% [10/17] files:file_directory_name ................. passed (0.000 sec)
% [11/17] files:file_directory_name ................. passed (0.000 sec)
% [12/17] files:file_directory_name ................. passed (0.000 sec)
% [13/17] files:file_base_name ...................... passed (0.000 sec)
% [14/17] files:file_base_name ...................... passed (0.000 sec)
% [15/17] files:file_base_name ...................... passed (0.000 sec)
% [16/17] files:file_base_name ...................... passed (0.000 sec)
% [17/17] files:nul ................................. passed (0.000 sec)
.
% [1/33] glob_match:glob ............................ passed (0.000 sec)
% [2/33] glob_match:glob ............................ passed (0.000 sec)
% [3/33] glob_match:glob ............................ passed (0.000 sec)
% [4/33] glob_match:glob ............................ passed (0.000 sec)
% [5/33] glob_match:glob ............................ passed (0.000 sec)
% [6/33] glob_match:glob ............................ passed (0.000 sec)
% [7/33] glob_match:glob ............................ passed (0.000 sec)
% [8/33] glob_match:glob ............................ passed (0.000 sec)
% [9/33] glob_match:glob ............................ passed (0.000 sec)
% [10/33] glob_match:glob ........................... passed (0.000 sec)
% [11/33] glob_match:glob ........................... passed (0.000 sec)
% [12/33] glob_match:glob ........................... passed (0.000 sec)
% [13/33] glob_match:glob ........................... passed (0.000 sec)
% [14/33] glob_match:glob ........................... passed (0.000 sec)
% [15/33] glob_match:glob ........................... passed (0.000 sec)
% [16/33] glob_match:glob ........................... passed (0.000 sec)
% [17/33] glob_match:glob ........................... passed (0.000 sec)
% [18/33] glob_match:glob ........................... passed (0.000 sec)
% [19/33] glob_match:glob ........................... passed (0.000 sec)
% [20/33] glob_match:glob ........................... passed (0.000 sec)
% [21/33] glob_match:glob ........................... passed (0.000 sec)
% [22/33] glob_match:glob ........................... passed (0.000 sec)
% [23/33] glob_match:glob ........................... passed (0.000 sec)
% [24/33] glob_match:glob ........................... passed (0.000 sec)
% [25/33] glob_match:glob ........................... passed (0.000 sec)
% [26/33] glob_match:glob ........................... passed (0.000 sec)
% [27/33] glob_match:glob ........................... passed (0.000 sec)
% [28/33] glob_match:glob ........................... passed (0.000 sec)
% [29/33] glob_match:glob ........................... passed (0.000 sec)
% [30/33] glob_expand:glob .......................... passed (0.002 sec)
% [31/33] glob_expand:cyrillic ...................... passed (0.001 sec)
% [32/33] glob_expand:cyrillic ...................... passed (0.002 sec)
% [33/33] glob_expand:cyrillic ...................... passed (0.002 sec)
.
% [1/3] pipe:pwd .................................... passed (0.064 sec)
% [2/3] pipe:cat1 ................................... passed (0.152 sec)
% [3/3] pipe:cat2 ................................... passed (0.059 sec)
. done
Running scripts from clp . done
Running scripts from GC 
% [1/1] agc_copyterm:copy ........................... passed (0.319 sec)
..
% [1/2] ch_shift:local_st.._expansion_many_chp ...... passed (0.100 sec)
% [2/2] ch_shift:local_st..pansion_pending_chp ...... passed (0.005 sec)
..
% [1/12] cleanup_shift:gtrue ........................ passed (0.002 sec)
% [2/12] cleanup_shift:ltrue ........................ passed (0.000 sec)
% [3/12] cleanup_shift:ttrue ........................ passed (0.004 sec)
% [4/12] cleanup_shift:gfalse ....................... passed (0.002 sec)
% [5/12] cleanup_shift:lfalse ....................... passed (0.000 sec)
% [6/12] cleanup_shift:tfalse ....................... passed (0.004 sec)
% [7/12] cleanup_shift:gcut ......................... passed (0.002 sec)
% [8/12] cleanup_shift:lcut ......................... passed (0.000 sec)
% [9/12] cleanup_shift:tcut ......................... passed (0.004 sec)
% [10/12] cleanup_shift:gexcept ..................... passed (0.002 sec)
% [11/12] cleanup_shift:lexcept ..................... passed (0.000 sec)
% [12/12] cleanup_shift:texcept ..................... passed (0.002 sec)
..
% [1/1] gc_alt_clause:alt_rat ....................... passed (0.000 sec)
.......... done
Running scripts from thread ......
% [1/8] queue_gc:exists ............................. passed (0.000 sec)
% [2/8] queue_gc:exists ............................. passed (0.000 sec)
% [3/8] queue_gc:exists ............................. passed (0.000 sec)
% [4/8] queue_gc:alias .............................. passed (0.000 sec)
% [5/8] queue_gc:new ................................ passed (0.000 sec)
% [6/8] queue_gc:destroy ............................ passed (0.002 sec)
% [7/8] queue_gc:gc ................................. passed (0.001 sec)
% [8/8] queue_gc:gc ................................. passed (0.001 sec)
....
% [1/1] queue_select:even ........................... passed (0.000 sec)
..
% [1/4] queue_timeout:relative ...................... passed (0.003 sec)
% [2/4] queue_timeout:abs ........................... passed (0.015 sec)
% [3/4] queue_timeout:abs_rel1 ...................... passed (0.015 sec)
% [4/4] queue_timeout:abs_rel2 ...................... passed (0.015 sec)
....
% [1/1] test_dynamic:retractall ..................... passed (0.005 sec)
............
% [1/5] concurrent_and:basic ........................ passed (0.006 sec)
% [2/5] concurrent_and:select ....................... passed (0.006 sec)
% [3/5] concurrent_and:cut .......................... passed (0.007 sec)
% [4/5] concurrent_and:error ........................ passed (0.006 sec)
% [5/5] concurrent_and:gen_error .................... passed (0.007 sec)
.
% [1/5] rwlocks:basic_write_lock .................... passed (0.005 sec)
% [2/5] rwlocks:basic_read_lock ..................... passed (0.000 sec)
% [3/5] rwlocks:concurrent_reads .................... passed (0.002 sec)
% [4/5] rwlocks:write_blocks_reads .................. passed (0.506 sec)
% [5/5] rwlocks:invalid_mode ........................ passed (0.002 sec)
...
% [1/1] thread_exit:clean_exit ...................... passed (0.688 sec)
..
% [1/24] thread_create:alias ........................ passed (0.000 sec)
% [2/24] thread_create:anonymous .................... passed (0.000 sec)
% [3/24] thread_errors:null ......................... passed (0.000 sec)
% [4/24] thread_errors:null ......................... passed (0.000 sec)
% [5/24] thread_property:alias ...................... passed (0.000 sec)
% [6/24] thread_property:detached_false ............. passed (0.000 sec)
% [7/24] thread_property:detached_true .............. passed (0.000 sec)
% [8/24] thread_property:status_running ............. passed (0.000 sec)
% [9/24] thread_property:status_true ................ passed (0.014 sec)
% [10/24] thread_property:status_fail ............... passed (0.000 sec)
% [11/24] thread_property:status_exception .......... passed (0.000 sec)
% [12/24] thread_property:status_enum1 .............. passed (0.000 sec)
% [13/24] thread_property:status_enum2 .............. passed (0.000 sec)
% [14/24] thread_property:existence ................. passed (0.000 sec)
% [15/24] thread_property:existence ................. passed (0.000 sec)
% [16/24] mutex:lock ................................ passed (0.000 sec)
% [17/24] mutex:destroy ............................. passed (0.000 sec)
% [18/24] mutex:destroy_locked ...................... passed (0.000 sec)
% [19/24] mutex:destroy_locked_other_thread ......... passed (0.000 sec)
% [20/24] mutex_property:alias ...................... passed (0.000 sec)
% [21/24] mutex_property:generate ................... passed (0.000 sec)
% [22/24] mutex_property:locked ..................... passed (0.000 sec)
% [23/24] message_queue:max_size_prop ............... passed (0.000 sec)
% [24/24] message_queue:size_prop ................... passed (0.000 sec)
...... done
Running scripts from thread_wait 
% [1/1] functor_cache:race .......................... passed (0.015 sec)
.
% [1/17] signal_api:pending ......................... passed (0.000 sec)
% [2/17] signal_api:pending ......................... passed (0.000 sec)
% [3/17] signal_api:remove .......................... passed (0.000 sec)
% [4/17] signal_api:remove .......................... passed (0.000 sec)
% [5/17] signal_api:remove .......................... passed (0.000 sec)
% [6/17] signal_api:remove .......................... passed (0.000 sec)
% [7/17] signal_api:remove .......................... passed (0.000 sec)
% [8/17] signal_api:remove .......................... passed (0.000 sec)
% [9/17] signal_api:backtrack ....................... passed (0.000 sec)
% [10/17] signal_catch:recover ...................... passed (0.000 sec)
% [11/17] signal_catch:atomic ....................... passed (0.000 sec)
% [12/17] signal_catch:cleanup ...................... passed (0.000 sec)
% [13/17] signal_catch:signal ....................... passed (0.000 sec)
% [14/17] signal_nested:nested_likely ............... passed (0.001 sec)
% [15/17] signal_nested:nested_sure ................. passed (0.000 sec)
% [16/17] signal_nested:nested_atomic ............... passed (0.000 sec)
% [17/17] signal_exceptions:chained ................. passed (0.071 sec)
.
% [1/4] thread_wait:signal .......................... passed (0.072 sec)
% [2/4] thread_wait:wakeall ......................... passed (0.060 sec)
% [3/4] thread_wait:wakeup .......................... passed (0.062 sec)
% [4/4] thread_wait:wakeup .......................... passed (0.000 sec)
. done
Running scripts from transaction .
% [1/1] transaction_deadlock:deadlock ............... passed (0.004 sec)
.
% [1/3] tr_incremental_tabling:assert ............... passed (0.000 sec)
% [2/3] tr_incremental_tabling:tmp_assert ........... passed (0.000 sec)
% [3/3] tr_incremental_tabling:retract .............. passed (0.000 sec)
.
% [1/23] transaction:assert ......................... passed (0.000 sec)
% [2/23] transaction:retract ........................ passed (0.000 sec)
% [3/23] transaction:assert_retract ................. passed (0.000 sec)
% [4/23] transaction:nested1 ........................ passed (0.000 sec)
% [5/23] transaction:nested2 ........................ passed (0.000 sec)
% [6/23] transaction:nested3 ........................ passed (0.000 sec)
% [7/23] transaction:nested4 ........................ passed (0.000 sec)
% [8/23] transaction:nested5 ........................ passed (0.000 sec)
% [9/23] transaction:nested6 ........................ passed (0.000 sec)
% [10/23] transaction:nested7 ....................... passed (0.000 sec)
% [11/23] transaction:nested8 ....................... passed (0.000 sec)
% [12/23] transaction:nested9 ....................... passed (0.000 sec)
% [13/23] transaction:update1 ....................... passed (0.000 sec)
% [14/23] transaction:update2 ....................... passed (0.000 sec)
% [15/23] transaction:update3 ....................... passed (0.000 sec)
% [16/23] thread_transaction:commit ................. passed (0.001 sec)
% [17/23] thread_transaction:discard ................ passed (0.001 sec)
% [18/23] thread_transaction:discard2 ............... passed (0.002 sec)
% [19/23] thread_transaction:isolate_assert ......... passed (0.001 sec)
% [20/23] thread_transaction:isolate_retract ........ passed (0.001 sec)
% [21/23] thread_transaction:isolate_retract2 ....... passed (0.002 sec)
% [22/23] thread_transaction:isolate_retract2b ...... passed (0.001 sec)
% [23/23] thread_transaction:isolate_retract2b ...... passed (0.001 sec)
. done
Running scripts from save 
% [1/7] qlf:unicode ................................. passed (0.004 sec)
% [2/7] qlf:h_integer ............................... passed (0.007 sec)
% [3/7] qlf:b_integer ............................... passed (0.006 sec)
% [4/7] qlf:expr .................................... passed (0.007 sec)
% [5/7] qlf:cmp ..................................... passed (0.006 sec)
% [6/7] qlf:add_fc .................................. passed (0.006 sec)
% [7/7] qlf:rat ..................................... passed (0.006 sec)
.
% [1/3] saved_state:true ............................ passed (1.401 sec)
% [2/3] saved_state:argv ............................ passed (1.523 sec)
% [3/3] saved_state:true ............................ passed (1.514 sec)
. done
Running scripts from tabling ..
% [1/2] answer_subsumption:as_with_no_as ............ passed (0.000 sec)
% [2/2] answer_subsumption:max ...................... passed (0.000 sec)
.
% [1/9] incr_answer_subsumption_1:update ............ passed (0.002 sec)
% [2/9] incr_answer_subsumption_1:keep .............. passed (0.000 sec)
% [3/9] incr_answer_subsumption_1:reeval ............ passed (0.000 sec)
% [4/9] mono_answer_subsumption_1:update ............ passed (0.000 sec)
% [5/9] mono_answer_subsumption_1:keep .............. passed (0.000 sec)
% [6/9] mono_answer_subsumption_1:reeval ............ passed (0.000 sec)
% [7/9] mono_answer_subsumption_1:reeval ............ passed (0.000 sec)
% [8/9] mono_answer_subsumption_lazy_1:update ....... passed (0.000 sec)
% [9/9] mono_answer_subsumption_lazy_1:update ....... passed (0.000 sec)
.
% [1/10] monotonic_tabling:pa1 ...................... passed (0.000 sec)
% [2/10] monotonic_tabling:pa2 ...................... passed (0.000 sec)
% [3/10] monotonic_tabling:pb ....................... passed (0.000 sec)
% [4/10] monotonic_tabling:closure .................. passed (0.001 sec)
% [5/10] monotonic_tabling:closure2 ................. passed (0.123 sec)
% [6/10] monotonic_tabling:incr_mono ................ passed (0.001 sec)
% [7/10] monotonic_tabling:incr_mono ................ passed (0.000 sec)
% [8/10] monotonic_tabling:nested_reeval_mono ....... passed (0.000 sec)
% [9/10] monotonic_tabling_2:twice_invalid .......... passed (0.001 sec)
% [10/10] monotonic_tabling_3:incr_propagate ........ passed (0.001 sec)
.
% [1/18] tabling_monotonic_lazy_1:simple ............ passed (0.000 sec)
% [2/18] tabling_monotonic_lazy_1:retract ........... passed (0.000 sec)
% [3/18] tabling_monotonic_lazy_2:mon_and_lazy ...... passed (0.000 sec)
% [4/18] tabling_monotonic_lazy_3:intermediate ...... passed (0.000 sec)
% [5/18] tabling_monotonic_lazy_4:lazy_on_eager ..... passed (0.000 sec)
% [6/18] tabling_monotonic_lazy_5:lazy_on_eager ..... passed (0.000 sec)
% [7/18] tabling_monotonic..zy_on_eager_retract ..... passed (0.000 sec)
% [8/18] tabling_monotonic_lazy_6:lazy_reeval ....... passed (0.000 sec)
% [9/18] tabling_monotonic_lazy_7:lazy_reeval ....... passed (0.000 sec)
% [10/18] tabling_monotonic..direct_lazy_retract .... passed (0.000 sec)
% [11/18] tabling_monotonic..re_new_dependencies .... passed (0.000 sec)
% [12/18] tabling_monotonic_lazy_10:false_deps ...... passed (0.000 sec)
% [13/18] tabling_monotonic_lazy_11:rollback ........ passed (0.000 sec)
% [14/18] tabling_monotonic_lazy_12:indirect ........ passed (0.000 sec)
% [15/18] tabling_monotonic..incr_propagate_lazy .... passed (0.000 sec)
% [16/18] tabling_monotonic.._14:mono_completion .... passed (0.000 sec)
% [17/18] tabling_monotonic_lazy_15:closure ......... passed (0.029 sec)
% [18/18] tabling_monotonic_lazy_16:reeval .......... passed (0.001 sec)
.
% [1/8] tabling_reeval:mutal_dependent .............. passed (0.000 sec)
% [2/8] tabling_reeval:multiple_dependents .......... passed (0.000 sec)
% [3/8] tabling_reeval_merged:only .................. passed (0.000 sec)
% [4/8] dynamic_tabled:wfs .......................... passed (0.003 sec)
% [5/8] dynamic_tabled2:wfs ......................... passed (0.000 sec)
% [6/8] dynamic_tabled2:wfs2 ........................ passed (0.000 sec)
% [7/8] dynamic_tabled3:wfs ......................... passed (0.000 sec)
% [8/8] dynamic_tabled4:wfs ......................... passed (0.000 sec)
....
% [1/1] shared_reeval:propagate_falsecount .......... passed (0.001 sec)
.
% [1/1] tabled_shortest_path:path ................... passed (0.002 sec)
.
% [1/35] tabling_ex1:ex1 ............................ passed (0.000 sec)
% [2/35] tabling_ex2:ex2 ............................ passed (0.000 sec)
% [3/35] tabling_ex3:ex3 ............................ passed (0.000 sec)
% [4/35] tabling_ex4:ex4 ............................ passed (0.000 sec)
% [5/35] tabling_ex5:ex5 ............................ passed (0.000 sec)
% [6/35] tabling_ex6:ex6 ............................ passed (0.000 sec)
% [7/35] tabling_ex7:ex7 ............................ passed (0.000 sec)
% [8/35] tabling_ex8:ex8 ............................ passed (0.000 sec)
% [9/35] tabling_ex9a:ex9a .......................... passed (0.000 sec)
% [10/35] tabling_ex9b:ex9b ......................... passed (0.000 sec)
% [11/35] tabling_ex9c:ex9c ......................... passed (0.000 sec)
% [12/35] tabling_ex9d:ex9d ......................... passed (0.000 sec)
% [13/35] tabling_ex9e:ex9d ......................... passed (0.000 sec)
% [14/35] tabling_ex10:ex10 ......................... passed (0.000 sec)
% [15/35] tabling_ex11:ex11 ......................... passed (0.000 sec)
% [16/35] tabling_ex12:ex12 ......................... passed (0.000 sec)
% [17/35] tabling_ex13:ex12 ......................... passed (0.000 sec)
% [18/35] tabling_ex14:ex14 ......................... passed (0.000 sec)
% [19/35] tabling_ex15:ex15 ......................... passed (0.000 sec)
% [20/35] tabling_ex16:ex16 ......................... passed (0.000 sec)
% [21/35] tabling_ex17:ex17 ......................... passed (0.000 sec)
% [22/35] tabling_clpfd:fib_error ................... passed (0.002 sec)
% [23/35] tabling_eruption:tabling_eruption ......... passed (0.000 sec)
% [24/35] tabling_eruption2:tabling_eruption ........ passed (0.000 sec)
% [25/35] tabling_sneezing:tabling_sneezing ......... passed (0.000 sec)
% [26/35] tabling_yappath:yappath ................... passed (0.000 sec)
% [27/35] tabling_minpath:tabling_minpath ........... passed (0.000 sec)
% [28/35] tabling_maxpath:tabling_maxpath ........... passed (0.000 sec)
% [29/35] tabling_train:tabling_train ............... passed (0.000 sec)
% [30/35] moded_tabling_path:path ................... passed (0.000 sec)
% [31/35] mode_components1:component ................ passed (0.000 sec)
% [32/35] mode_components2:component ................ passed (0.000 sec)
% [33/35] pathss:kurt ............................... passed (0.001 sec)
% [34/35] bas:bas ................................... passed (0.030 sec)
% [35/35] push_ret:push_ret ......................... passed (0.053 sec)
.
% [1/6] test_transact_incr_1:commit ................. passed (0.000 sec)
% [2/6] test_transact_incr_1:rollback ............... passed (0.000 sec)
% [3/6] test_transact_incr_1:snapshot ............... passed (0.000 sec)
% [4/6] test_transact_incr_1:snapshot ............... passed (0.000 sec)
% [5/6] test_transact_incr_1:snapshot ............... passed (0.000 sec)
% [6/6] test_transact_incr_1:snapshot ............... passed (0.000 sec)
.
% [1/7] test_transact_mono_1:commit ................. passed (0.000 sec)
% [2/7] test_transact_mono_1:rollback ............... passed (0.000 sec)
% [3/7] test_transact_mono_1:snapshot ............... passed (0.000 sec)
% [4/7] test_transact_mono_1:snapshot ............... passed (0.000 sec)
% [5/7] test_transact_mono_1:snapshot ............... passed (0.000 sec)
% [6/7] test_transact_mono_1:snapshot ............... passed (0.000 sec)
% [7/7] test_transact_mono_2:retract ................ passed (0.000 sec)
.
% [1/13] test_transact_mono_lazy_1:commit ........... passed (0.000 sec)
% [2/13] test_transact_mono_lazy_1:rollback ......... passed (0.000 sec)
% [3/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec)
% [4/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec)
% [5/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec)
% [6/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec)
% [7/13] test_transact_mono_lazy_2:retract .......... passed (0.000 sec)
% [8/13] test_transact_mon..zy_2:outside_assert ..... passed (0.000 sec)
% [9/13] test_transact_mono_lazy_2:mixed_assert ..... passed (0.000 sec)
% [10/13] test_transact_mon..zy_3:outside_assert .... passed (0.000 sec)
% [11/13] test_transact_mon.._4:new_dependencies .... passed (0.000 sec)
% [12/13] test_transact_mon.._5:already_forced_1 .... passed (0.000 sec)
% [13/13] test_transact_mon.._5:already_forced_2 .... passed (0.000 sec)
.
% [1/23] trie:insert_atom ........................... passed (0.000 sec)
% [2/23] trie:insert_value_term ..................... passed (0.000 sec)
% [3/23] trie:insert_two ............................ passed (0.000 sec)
% [4/23] trie:insert_compound ....................... passed (0.000 sec)
% [5/23] trie:insert_nested ......................... passed (0.000 sec)
% [6/23] trie:insert_nested2 ........................ passed (0.000 sec)
% [7/23] trie:insert_nested_get ..................... passed (0.000 sec)
% [8/23] trie:insert_vars ........................... passed (0.000 sec)
% [9/23] trie:insert_variant ........................ passed (0.000 sec)
% [10/23] trie:insert_vars .......................... passed (0.000 sec)
% [11/23] trie:rescale_cars ......................... passed (0.009 sec)
% [12/23] trie:insert_gsize ......................... passed (0.000 sec)
% [13/23] trie:insert_cycle ......................... passed (0.000 sec)
% [14/23] trie:delete ............................... passed (0.000 sec)
% [15/23] trie:gen_indirect ......................... passed (0.000 sec)
% [16/23] trie:var1 ................................. passed (0.000 sec)
% [17/23] trie:var2 ................................. passed (0.000 sec)
% [18/23] trie:var3 ................................. passed (0.000 sec)
% [19/23] trie:issue_1277 ........................... passed (0.000 sec)
% [20/23] trie:gen_compiled2_free ................... passed (0.000 sec)
% [21/23] trie:gen_compiled2_instantiated ........... passed (0.000 sec)
% [22/23] trie:gen_compiled3_free ................... passed (0.000 sec)
% [23/23] trie:gen_compiled3_cycle .................. passed (0.000 sec)
.
% [1/24] trie_attvars:simple ........................ passed (0.000 sec)
% [2/24] trie_attvars:simple_compiled ............... passed (0.000 sec)
% [3/24] trie_attvars:plain ......................... passed (0.000 sec)
% [4/24] trie_attvars:plain_compiled ................ passed (0.000 sec)
% [5/24] trie_attvars:nesting ....................... passed (0.000 sec)
% [6/24] trie_attvars:nesting_compiled .............. passed (0.000 sec)
% [7/24] trie_attvars:nesting2 ...................... passed (0.000 sec)
% [8/24] trie_attvars:nesting2_compiled ............. passed (0.000 sec)
% [9/24] trie_attvars:shared ........................ passed (0.000 sec)
% [10/24] trie_attvars:shared_compiled .............. passed (0.000 sec)
% [11/24] trie_attvars:unify_true ................... passed (0.000 sec)
% [12/24] trie_attvars:unify_true_compiled .......... passed (0.000 sec)
% [13/24] trie_attvars:unify_fail_1 ................. passed (0.000 sec)
% [14/24] trie_attvars:unify_fail_1_compiled ........ passed (0.000 sec)
% [15/24] trie_attvars:unify_fail_2 ................. passed (0.000 sec)
% [16/24] trie_attvars:unify_fail_2_compiled ........ passed (0.000 sec)
% [17/24] trie_attvars:unify_shared ................. passed (0.000 sec)
% [18/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec)
% [19/24] trie_attvars:unify_shared ................. passed (0.000 sec)
% [20/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec)
% [21/24] trie_attvars:unify_shared ................. passed (0.000 sec)
% [22/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec)
% [23/24] trie_attvars:unify_multi .................. passed (0.000 sec)
% [24/24] trie_attvars:unify_multi_compiled ......... passed (0.000 sec)
.
% [1/8] wfs_delays:delays ........................... passed (0.000 sec)
% [2/8] wfs_delays:delays ........................... passed (0.000 sec)
% [3/8] wfs_delays:delays ........................... passed (0.000 sec)
% [4/8] wfs_delays:delays ........................... passed (0.000 sec)
% [5/8] wfs_delays:delays ........................... passed (0.000 sec)
% [6/8] wfs_delays:residual ......................... passed (0.000 sec)
% [7/8] wfs_delays:as ............................... passed (0.000 sec)
% [8/8] wfs_dwin:dwin ............................... passed (0.000 sec)
. done
Running scripts from basic_tests 
% [1/26] xsb_basic_tests:tsstr13 .................... passed (0.019 sec)
% [2/26] xsb_basic_tests:tsstr23 .................... passed (0.006 sec)
% [3/26] xsb_basic_tests:tsstr33 .................... passed (0.007 sec)
% [4/26] xsb_basic_tests:tstr11 ..................... passed (0.007 sec)
% [5/26] xsb_basic_tests:tstr21 ..................... passed (0.006 sec)
% [6/26] xsb_basic_tests:tstr31 ..................... passed (0.008 sec)
% [7/26] xsb_basic_tests:tstr51 ..................... passed (0.008 sec)
% [8/26] xsb_basic_tests:tstr61 ..................... passed (0.007 sec)
% [9/26] xsb_basic_tests:tstr12 ..................... passed (0.007 sec)
% [10/26] xsb_basic_tests:tstr22 .................... passed (0.007 sec)
% [11/26] xsb_basic_tests:tstr32 .................... passed (0.006 sec)
% [12/26] xsb_basic_tests:tstr52 .................... passed (0.009 sec)
% [13/26] xsb_basic_tests:tstr62 .................... passed (0.006 sec)
% [14/26] xsb_basic_tests:tstr13 .................... passed (0.020 sec)
% [15/26] xsb_basic_tests:tstr23 .................... passed (0.024 sec)
% [16/26] xsb_basic_tests:tstr33 .................... passed (0.025 sec)
% [17/26] xsb_basic_tests:tstr53 .................... passed (0.060 sec)
% [18/26] xsb_basic_tests:tstr63 .................... passed (0.063 sec)
% [19/26] xsb_basic_tests:thstr13 ................... passed (0.009 sec)
% [20/26] xsb_basic_tests:thstr43 ................... passed (0.008 sec)
% [21/26] xsb_basic_tests:thstr23 ................... passed (0.009 sec)
% [22/26] xsb_basic_tests:tcyl11 .................... passed (0.078 sec)
% [23/26] xsb_basic_tests:tcyl12 .................... passed (0.055 sec)
% [24/26] xsb_basic_tests:testsg .................... passed (0.071 sec)
% [25/26] xsb_basic_tests:interp .................... passed (0.013 sec)
% [26/26] xsb_basic_tests:tsing1 .................... passed (0.010 sec)
. done
Running scripts from ai_tests 
% [1/11] xsb_ai_tests:cs_o .......................... passed (0.108 sec)
% [2/11] xsb_ai_tests:cs_r .......................... passed (0.073 sec)
% [3/11] xsb_ai_tests:disj .......................... passed (0.055 sec)
% [4/11] xsb_ai_tests:gabriel ....................... passed (0.047 sec)
% [5/11] xsb_ai_tests:kalah ......................... passed (0.071 sec)
% [6/11] xsb_ai_tests:peep .......................... passed (0.074 sec)
% [7/11] xsb_ai_tests:pg ............................ passed (0.030 sec)
% [8/11] xsb_ai_tests:plan .......................... passed (0.034 sec)
% [9/11] xsb_ai_tests:qsort ......................... passed (0.025 sec)
% [10/11] xsb_ai_tests:queens ....................... passed (0.023 sec)
% [11/11] xsb_ai_tests:read ......................... passed (0.105 sec)
. done
Running scripts from ptq 
% [1/25] xsb_ptq:jtaulred ........................... passed (0.007 sec)
% [2/25] xsb_ptq:mbjfauahei ......................... passed (0.081 sec)
% [3/25] xsb_ptq:mbjfauaheilred ..................... passed (0.025 sec)
% [4/25] xsb_ptq:jtau ............................... passed (0.005 sec)
% [5/25] xsb_ptq:jdm ................................ passed (0.005 sec)
% [6/25] xsb_ptq:apr ................................ passed (0.003 sec)
% [7/25] xsb_ptq:jdh ................................ passed (0.003 sec)
% [8/25] xsb_ptq:jsau ............................... passed (0.004 sec)
% [9/25] xsb_ptq:awtra .............................. passed (0.004 sec)
% [10/25] xsb_ptq:emlaw ............................. passed (0.005 sec)
% [11/25] xsb_ptq:awsswr ............................ passed (0.004 sec)
% [12/25] xsb_ptq:jsauamsi .......................... passed (0.015 sec)
% [13/25] xsb_ptq:jdmlred ........................... passed (0.004 sec)
% [14/25] xsb_ptq:jdhlred ........................... passed (0.002 sec)
% [15/25] xsb_ptq:jwiaplred ......................... passed (0.004 sec)
% [16/25] xsb_ptq:jfaulred .......................... passed (0.003 sec)
% [17/25] xsb_ptq:jsaulred .......................... passed (0.004 sec)
% [18/25] xsb_ptq:awtralred ......................... passed (0.004 sec)
% [19/25] xsb_ptq:emlawlred ......................... passed (0.004 sec)
% [20/25] xsb_ptq:awsswrlred ........................ passed (0.003 sec)
% [21/25] xsb_ptq:jbmwwaiplred ...................... passed (0.014 sec)
% [22/25] xsb_ptq:jwfauaeilred ...................... passed (0.006 sec)
% [23/25] xsb_ptq:jtfauaweilred ..................... passed (0.008 sec)
% [24/25] xsb_ptq:emlawsslhlred ..................... passed (0.007 sec)
% [25/25] xsb_ptq:emlawaslhlred ..................... passed (0.006 sec)
. done
Running scripts from neg_tests 
% [1/24] tabled_basic_negation:neg1 ................. passed (0.007 sec)
% [2/24] tabled_basic_negation:neg2 ................. passed (0.014 sec)
% [3/24] tabled_basic_negation:neg3 ................. passed (0.007 sec)
% [4/24] tabled_basic_negation:ullman2 .............. passed (0.006 sec)
% [5/24] tabled_lr_stratified_negation:lmod1 ........ passed (0.008 sec)
% [6/24] tabled_lr_stratified_negation:lmod2 ........ passed (0.007 sec)
% [7/24] tabled_lr_stratified_negation:lmod3 ........ passed (0.009 sec)
% [8/24] tabled_lr_stratified_negation:lmod4 ........ passed (0.007 sec)
% [9/24] tabled_lr_stratified_negation:lmod5 ........ passed (0.006 sec)
% [10/24] tabled_lr_stratified_negation:lmod6 ....... passed (0.007 sec)
% [11/24] tabled_lr_stratified_negation:lmod7 ....... passed (0.006 sec)
% [12/24] tabled_lr_stratified_negation:lmod8 ....... passed (0.005 sec)
% [13/24] tabled_lr_stratified_negation:lmod9 ....... passed (0.006 sec)
% [14/24] tabled_lr_stratified_negation:lmod10 ...... passed (0.005 sec)
% [15/24] tabled_lr_stratified_negation:lmod11 ...... passed (0.008 sec)
% [16/24] tabled_lr_stratified_negation:ullman1 ..... passed (0.007 sec)
% [17/24] tabled_dynakicall..fied_negation:przy2 .... passed (0.006 sec)
% [18/24] tabled_dynakicall..negation:ldynstrat0 .... passed (0.006 sec)
% [19/24] tabled_dynakicall..negation:ldynstrat1 .... passed (0.007 sec)
% [20/24] tabled_dynakicall..negation:ldynstrat2 .... passed (0.008 sec)
% [21/24] tabled_dynakicall..negation:ldynstrat3 .... passed (0.008 sec)
% [22/24] tabled_dynakicall..negation:ldynstrat4 .... passed (0.009 sec)
% [23/24] tabled_stratified_negation:mod1 ........... passed (0.007 sec)
% [24/24] tabled_misc_negation:q7 ................... passed (0.292 sec)
. done
Running scripts from delay_tests 
% [1/87] delay_dynstrat:dynstrat1 ................... passed (0.025 sec)
% [2/87] delay_dynstrat:dynstrat2 ................... passed (0.011 sec)
% [3/87] delay_dynstrat:dynstrat3 ................... passed (0.006 sec)
% [4/87] delay_dynstrat:dynstrat4 ................... passed (0.006 sec)
% [5/87] delay_dynstrat:dynstrat5 ................... passed (0.007 sec)
% [6/87] delay_dynstrat:dynstrat6 ................... passed (0.007 sec)
% [7/87] delay_dynstrat:dynstrat7 ................... passed (0.006 sec)
% [8/87] delay_dynstrat:ross1 ....................... passed (0.006 sec)
% [9/87] delay_dynstrat:sel_unsusp .................. passed (0.008 sec)
% [10/87] delay_dynstrat:dl_dupl .................... passed (0.009 sec)
% [11/87] delay_dynstrat:asl_dupl ................... passed (0.008 sec)
% [12/87] delay_dynstrat:gfp ........................ passed (0.010 sec)
% [13/87] delay_old_failures:fr1 .................... passed (0.008 sec)
% [14/87] delay_old_failures:fr2 .................... passed (0.007 sec)
% [15/87] delay_old_failures:fr3 .................... passed (0.007 sec)
% [16/87] delay_old_failures:fr4 .................... passed (0.009 sec)
% [17/87] delay_old_failures:fr5 .................... passed (0.008 sec)
% [18/87] delay_old_failures:fr6 .................... passed (0.008 sec)
% [19/87] delay_old_failures:fr7 .................... passed (0.010 sec)
% [20/87] delay_old_failures:fr8 .................... passed (0.009 sec)
% [21/87] delay_old_failures:fr9 .................... passed (0.010 sec)
% [22/87] delay_old_failures:fr19 ................... passed (0.008 sec)
% [23/87] delay_old_failures:fr20 ................... passed (0.008 sec)
% [24/87] delay_old_failures:fr21 ................... passed (0.011 sec)
% [25/87] delay_old_failures:fr22 ................... passed (0.009 sec)
% [26/87] delay_old_failures:fr23 ................... passed (0.008 sec)
% [27/87] delay_old_failures:fr24 ................... passed (0.010 sec)
% [28/87] delay_old_failures:fr25 ................... passed (0.007 sec)
% [29/87] delay_old_failures:fr26 ................... passed (0.006 sec)
% [30/87] delay_old_failures:fr27 ................... passed (0.005 sec)
% [31/87] delay_old_failures:fr28 ................... passed (0.006 sec)
% [32/87] delay_old_failures:fr29 ................... passed (0.006 sec)
% [33/87] delay_old_failures:fr30 ................... passed (0.007 sec)
% [34/87] delay_old_segv:seg1 ....................... passed (0.006 sec)
% [35/87] delay_old_segv:seg2 ....................... passed (0.006 sec)
% [36/87] delay_old_segv:seg3 ....................... passed (0.006 sec)
% [37/87] delay_old_segv:seg4 ....................... passed (0.005 sec)
% [38/87] delay_old_segv:seg5 ....................... passed (0.008 sec)
% [39/87] delay_old_segv:fr24 ....................... passed (0.002 sec)
% [40/87] delay_interp:interp0 ...................... passed (0.007 sec)
% [41/87] delay_interp:interp1 ...................... passed (0.008 sec)
% [42/87] delay_interp:interp2 ...................... passed (0.007 sec)
% [43/87] delay_interp:interp4 ...................... passed (0.006 sec)
% [44/87] delay_interp:interp5 ...................... passed (0.006 sec)
% [45/87] delay_interp:interp6 ...................... passed (0.007 sec)
% [46/87] delay_interp:interp7 ...................... passed (0.007 sec)
% [47/87] delay_interp:interp8 ...................... passed (0.007 sec)
% [48/87] delay_interp:interp9 ...................... passed (0.007 sec)
% [49/87] delay_interp:interp10 ..................... passed (0.008 sec)
% [50/87] delay_interp:interp11 ..................... passed (0.007 sec)
% [51/87] delay_non_strat_neg:two_ary ............... passed (0.006 sec)
% [52/87] delay_non_strat_neg:abol_susp1 ............ passed (0.006 sec)
% [53/87] delay_non_strat_neg:abol_susp2 ............ passed (0.007 sec)
% [54/87] delay_non_strat_neg:przy1 ................. passed (0.005 sec)
% [55/87] delay_non_strat_neg:przy1_simp ............ passed (0.005 sec)
% [56/87] delay_non_strat_neg:nonstrat1 ............. passed (0.007 sec)
% [57/87] delay_non_strat_neg:nonstrat2 ............. passed (0.007 sec)
% [58/87] delay_wfs_neg:p1 .......................... passed (0.006 sec)
% [59/87] delay_wfs_neg:p2 .......................... passed (0.005 sec)
% [60/87] delay_wfs_neg:p3 .......................... passed (0.006 sec)
% [61/87] delay_wfs_neg:p4 .......................... passed (0.007 sec)
% [62/87] delay_wfs_neg:p5 .......................... passed (0.007 sec)
% [63/87] delay_wfs_neg:simpl_win ................... passed (0.007 sec)
% [64/87] delay_wfs_neg:win ......................... passed (0.007 sec)
% [65/87] delay_wfs_neg:cond_uncond ................. passed (0.008 sec)
% [66/87] delay_wfs_neg:ullman3 ..................... passed (0.008 sec)
% [67/87] delay_wfs_neg:undef1 ...................... passed (0.020 sec)
% [68/87] delay_wfs_neg:undef2 ...................... passed (0.010 sec)
% [69/87] delay_pos_simpl:pos_simpl1 ................ passed (0.006 sec)
% [70/87] delay_ac:weidong2 ......................... passed (0.008 sec)
% [71/87] delay_ac:weidong3 ......................... passed (0.007 sec)
% [72/87] delay_ac:weidong4 ......................... passed (0.008 sec)
% [73/87] delay_ac:weidong5 ......................... passed (0.008 sec)
% [74/87] delay_ac:weidong6 ......................... passed (0.006 sec)
% [75/87] delay_ac:weidong7 ......................... passed (0.007 sec)
% [76/87] delay_ac:weidong8 ......................... passed (0.005 sec)
% [77/87] delay_ac:interp12 ......................... passed (0.007 sec)
% [78/87] delay_ac:interp13 ......................... passed (0.006 sec)
% [79/87] delay_ac:interp14 ......................... passed (0.006 sec)
% [80/87] delay_ac:interp15 ......................... passed (0.007 sec)
% [81/87] delay_misc:avoid_flounder ................. passed (0.020 sec)
% [82/87] delay_misc:residual1 ...................... passed (0.034 sec)
% [83/87] delay_misc:fa ............................. passed (0.102 sec)
% [84/87] delay_misc:delay_var ...................... passed (0.081 sec)
% [85/87] delay_misc:tabsimp_seq .................... passed (0.183 sec)
% [86/87] delay_misc:wmay_winbug .................... passed (0.028 sec)
% [87/87] delay_misc:ac_tests ....................... passed (0.055 sec)
. done
Running scripts from wfs_tests 
% [1/72] xsb_wfs:p06 ................................ passed (0.008 sec)
% [2/72] xsb_wfs:p07 ................................ passed (0.006 sec)
% [3/72] xsb_wfs:p08 ................................ passed (0.007 sec)
% [4/72] xsb_wfs:p09 ................................ passed (0.013 sec)
% [5/72] xsb_wfs:p10 ................................ passed (0.008 sec)
% [6/72] xsb_wfs:p11 ................................ passed (0.007 sec)
% [7/72] xsb_wfs:p12 ................................ passed (0.007 sec)
% [8/72] xsb_wfs:p13 ................................ passed (0.007 sec)
% [9/72] xsb_wfs:p14 ................................ passed (0.006 sec)
% [10/72] xsb_wfs:p15 ............................... passed (0.007 sec)
% [11/72] xsb_wfs:p16 ............................... passed (0.006 sec)
% [12/72] xsb_wfs:p17 ............................... passed (0.012 sec)
% [13/72] xsb_wfs:p18 ............................... passed (0.005 sec)
% [14/72] xsb_wfs:p19 ............................... passed (0.006 sec)
% [15/72] xsb_wfs:p20 ............................... passed (0.005 sec)
% [16/72] xsb_wfs:p21 ............................... passed (0.006 sec)
% [17/72] xsb_wfs:p22 ............................... passed (0.006 sec)
% [18/72] xsb_wfs:p23 ............................... passed (0.007 sec)
% [19/72] xsb_wfs:p24 ............................... passed (0.005 sec)
% [20/72] xsb_wfs:p25 ............................... passed (0.007 sec)
% [21/72] xsb_wfs:p26 ............................... passed (0.008 sec)
% [22/72] xsb_wfs:p27 ............................... passed (0.008 sec)
% [23/72] xsb_wfs:p29 ............................... passed (0.007 sec)
% [24/72] xsb_wfs:p30 ............................... passed (0.007 sec)
% [25/72] xsb_wfs:p31 ............................... passed (0.007 sec)
% [26/72] xsb_wfs:p32 ............................... passed (0.008 sec)
% [27/72] xsb_wfs:p33 ............................... passed (0.006 sec)
% [28/72] xsb_wfs:p34 ............................... passed (0.010 sec)
% [29/72] xsb_wfs:p35 ............................... passed (0.009 sec)
% [30/72] xsb_wfs:p36 ............................... passed (0.008 sec)
% [31/72] xsb_wfs:p37 ............................... passed (0.007 sec)
% [32/72] xsb_wfs:p39 ............................... passed (0.007 sec)
% [33/72] xsb_wfs:p40 ............................... passed (0.007 sec)
% [34/72] xsb_wfs:p42 ............................... passed (0.010 sec)
% [35/72] xsb_wfs:p43 ............................... passed (0.007 sec)
% [36/72] xsb_wfs:p44 ............................... passed (0.006 sec)
% [37/72] xsb_wfs:p45 ............................... passed (0.006 sec)
% [38/72] xsb_wfs:p46 ............................... passed (0.008 sec)
% [39/72] xsb_wfs:p47 ............................... passed (0.007 sec)
% [40/72] xsb_wfs:p48 ............................... passed (0.009 sec)
% [41/72] xsb_wfs:p49 ............................... passed (0.010 sec)
% [42/72] xsb_wfs:p50 ............................... passed (0.007 sec)
% [43/72] xsb_wfs:p51 ............................... passed (0.007 sec)
% [44/72] xsb_wfs:p52a .............................. passed (0.014 sec)
% [45/72] xsb_wfs:p52 ............................... passed (0.010 sec)
% [46/72] xsb_wfs:p53 ............................... passed (0.012 sec)
% [47/72] xsb_wfs:p54 ............................... passed (0.019 sec)
% [48/72] xsb_wfs:p55 ............................... passed (0.021 sec)
% [49/72] xsb_wfs:p56 ............................... passed (0.025 sec)
% [50/72] xsb_wfs:p57 ............................... passed (0.028 sec)
% [51/72] xsb_wfs:p58 ............................... passed (0.028 sec)
% [52/72] xsb_wfs:p59 ............................... passed (0.028 sec)
% [53/72] xsb_wfs:p60 ............................... passed (0.009 sec)
% [54/72] xsb_wfs:p62 ............................... passed (0.008 sec)
% [55/72] xsb_wfs:p63 ............................... passed (0.008 sec)
% [56/72] xsb_wfs:p64 ............................... passed (0.009 sec)
% [57/72] xsb_wfs:p65 ............................... passed (0.006 sec)
% [58/72] xsb_wfs:p66 ............................... passed (0.007 sec)
% [59/72] xsb_wfs:p67 ............................... passed (0.006 sec)
% [60/72] xsb_wfs:p77 ............................... passed (0.007 sec)
% [61/72] xsb_wfs:p78 ............................... passed (0.006 sec)
% [62/72] xsb_wfs:p79 ............................... passed (0.009 sec)
% [63/72] xsb_wfs:p80 ............................... passed (0.007 sec)
% [64/72] xsb_wfs:p81 ............................... passed (0.007 sec)
% [65/72] xsb_wfs:p82 ............................... passed (0.008 sec)
% [66/72] xsb_wfs:p83 ............................... passed (0.007 sec)
% [67/72] xsb_wfs:p84 ............................... passed (0.007 sec)
% [68/72] xsb_wfs:p85 ............................... passed (0.008 sec)
% [69/72] xsb_wfs:p86 ............................... passed (0.008 sec)
% [70/72] xsb_wfs:p89 ............................... passed (0.009 sec)
% [71/72] xsb_wfs:p90 ............................... passed (0.007 sec)
% [72/72] xsb_wfs:p91 ............................... passed (0.007 sec)
. done
Running scripts from table_tests 
% [1/32] xsb_test_tables:abol_test .................. passed (0.021 sec)
% [2/32] xsb_test_tables:abol_test2 ................. passed (0.012 sec)
% [3/32] xsb_test_tables:abol_test2a ................ passed (0.006 sec)
% [4/32] xsb_test_tables:abol_test3 ................. passed (0.007 sec)
% [5/32] xsb_test_tables:abol_test3a ................ passed (0.011 sec)
% [6/32] xsb_test_tables:abol_test3b ................ passed (0.012 sec)
% [7/32] xsb_test_tables:abol_test3c ................ passed (0.015 sec)
% [8/32] xsb_test_tables:abolish_cascade ............ passed (0.020 sec)
% [9/32] xsb_test_tables:abolish_cascade_pred ....... passed (0.012 sec)
% [10/32] xsb_test_tables:abolish_cycle ............. passed (0.024 sec)
% [11/32] xsb_test_tables:abolish_dag ............... passed (0.028 sec)
% [12/32] xsb_test_tables:abolish_neg_cycle ......... passed (0.026 sec)
% [13/32] xsb_test_tables:abolish_neg_dag ........... passed (0.032 sec)
% [14/32] xsb_test_tables:atc_test .................. passed (0.022 sec)
% [15/32] xsb_test_tables:concomp ................... passed (0.166 sec)
% [16/32] xsb_test_tables:expand .................... passed (0.331 sec)
% [17/32] xsb_test_tables:ins ....................... passed (0.090 sec)
% [18/32] xsb_test_tables:large_arity_tables ........ passed (0.038 sec)
% [19/32] xsb_test_tables:lrbug ..................... passed (0.014 sec)
% [20/32] xsb_test_tables:pps ....................... passed (0.010 sec)
% [21/32] xsb_test_tables:pred_abolish_cycle ........ passed (0.029 sec)
% [22/32] xsb_test_tables:pred_abolish_dag .......... passed (0.030 sec)
% [23/32] xsb_test_tables:recursive_aboltest ........ passed (0.017 sec)
% [24/32] xsb_test_tables:tabbug1 ................... passed (0.009 sec)
% [25/32] xsb_test_tables:test_3vwfs_1 .............. passed (0.024 sec)
% [26/32] xsb_test_tables:test_calldepth ............ passed (0.013 sec)
% [27/32] xsb_test_tables:test_cyclic_tabling ....... passed (0.007 sec)
% [28/32] xsb_test_tables:t.._large_tabled_terms .... passed (0.340 sec)
% [29/32] xsb_test_tables:test_maxans_decl .......... passed (0.076 sec)
% [30/32] xsb_test_tables:test_negcycle ............. passed (0.012 sec)
% [31/32] xsb_test_tables:test_tda .................. passed (0.012 sec)
% [32/32] xsb_test_tables:test_tda_i ................ passed (0.018 sec)
. done
Running scripts from incremental_tests 
% [1/15] xsb_test_incremental:incremental ........... passed (0.010 sec)
% [2/15] xsb_test_incremental:incremental1 .......... passed (0.014 sec)
% [3/15] xsb_test_incremental:inc_trie_dyn .......... passed (0.010 sec)
% [4/15] xsb_test_incremental:incremental_rule ...... passed (0.007 sec)
% [5/15] xsb_test_incremen..ncremental_rule_alt ..... passed (0.007 sec)
% [6/15] xsb_test_incremental:test_incr_depends ..... passed (0.021 sec)
% [7/15] xsb_test_incremen..test_incr_depends_2 ..... passed (0.022 sec)
% [8/15] xsb_test_incremental:test_inc_switch ....... passed (0.007 sec)
% [9/15] xsb_test_incremen..:test_sound_updates ..... passed (0.018 sec)
% [10/15] xsb_test_incremental:test_wfs_update ...... passed (0.027 sec)
% [11/15] xsb_test_incremental:incr_test_romero ..... passed (0.012 sec)
% [12/15] xsb_test_incremen..lish_nonincremental .... passed (0.011 sec)
% [13/15] xsb_test_incremental:inc_atc .............. passed (0.007 sec)
% [14/15] xsb_test_incremental:inc_atc_gc ........... passed (0.009 sec)
% [15/15] xsb_test_incremental:inc_atc_gc_tricky .... passed (0.025 sec)
. done
Running scripts from nonmt_tests 
% [1/9] xsb_test_nonmt:test_iso_basic ............... passed (0.051 sec)
% [2/9] xsb_test_nonmt:test_iso_mult_visit .......... passed (0.057 sec)
% [3/9] xsb_test_nonmt:test_iso_hash ................ passed (0.035 sec)
% [4/9] xsb_test_nonmt:test_iso_undef ............... passed (0.033 sec)
% [5/9] xsb_test_nonmt:test_lazy .................... passed (0.017 sec)
% [6/9] xsb_test_nonmt:test_introspection ........... passed (0.026 sec)
% [7/9] xsb_test_nonmt:test_invalidate .............. passed (0.009 sec)
% [8/9] xsb_test_nonmt:cmu_sei_0050 ................. passed (0.006 sec)
% [9/9] xsb_test_nonmt:test_recomputable ............ passed (0.006 sec)
. done
Running scripts from sub_tests 
% [1/36] xsb_sub:lrtc1 .............................. passed (0.010 sec)
% [2/36] xsb_sub:lrtc2 .............................. passed (0.010 sec)
% [3/36] xsb_sub:lrtc3 .............................. passed (0.013 sec)
% [4/36] xsb_sub:lrtc4 .............................. passed (0.013 sec)
% [5/36] xsb_sub:lrtc5 .............................. passed (0.015 sec)
% [6/36] xsb_sub:lrtc6 .............................. passed (0.011 sec)
% [7/36] xsb_sub:lrtc7 .............................. passed (0.012 sec)
% [8/36] xsb_sub:lrtc8 .............................. passed (0.013 sec)
% [9/36] xsb_sub:rrtc1 .............................. passed (0.010 sec)
% [10/36] xsb_sub:rrtc2 ............................. passed (0.010 sec)
% [11/36] xsb_sub:rrtc3 ............................. passed (0.016 sec)
% [12/36] xsb_sub:rrtc4 ............................. passed (0.015 sec)
% [13/36] xsb_sub:rrtc5 ............................. passed (0.013 sec)
% [14/36] xsb_sub:rrtc6 ............................. passed (0.014 sec)
% [15/36] xsb_sub:rrtc7 ............................. passed (0.015 sec)
% [16/36] xsb_sub:rrtc8 ............................. passed (0.015 sec)
% [17/36] xsb_sub:drtc1 ............................. passed (0.015 sec)
% [18/36] xsb_sub:drtc2 ............................. passed (0.010 sec)
% [19/36] xsb_sub:drtc3 ............................. passed (0.013 sec)
% [20/36] xsb_sub:drtc4 ............................. passed (0.015 sec)
% [21/36] xsb_sub:drtc5 ............................. passed (0.014 sec)
% [22/36] xsb_sub:drtc6 ............................. passed (0.013 sec)
% [23/36] xsb_sub:drtc7 ............................. passed (0.011 sec)
% [24/36] xsb_sub:drtc8 ............................. passed (0.015 sec)
% [25/36] xsb_sub:sg1 ............................... passed (0.013 sec)
% [26/36] xsb_sub:sg2 ............................... passed (0.016 sec)
% [27/36] xsb_sub:sg3 ............................... passed (0.016 sec)
% [28/36] xsb_sub:sg4 ............................... passed (0.016 sec)
% [29/36] xsb_sub:sg5 ............................... passed (0.014 sec)
% [30/36] xsb_sub:sg6 ............................... passed (0.014 sec)
% [31/36] xsb_sub:sg7 ............................... passed (0.015 sec)
% [32/36] xsb_sub:sg8 ............................... passed (0.017 sec)
% [33/36] xsb_sub:genome1 ........................... passed (0.011 sec)
% [34/36] xsb_sub:genome2 ........................... passed (0.012 sec)
% [35/36] xsb_sub:genome3 ........................... passed (0.015 sec)
% [36/36] xsb_sub:test_answer_abstraction ........... passed (0.020 sec)
. done
Running scripts from attv_tests 
% [1/7] xsb_attv_tests:attv_test .................... passed (0.010 sec)
% [2/7] xsb_attv_tests:copyterm_attv ................ passed (0.020 sec)
% [3/7] xsb_attv_tests:fd1 .......................... passed (0.016 sec)
% [4/7] xsb_attv_tests:findall_attv ................. passed (0.007 sec)
% [5/7] xsb_attv_tests:general ...................... passed (0.009 sec)
% [6/7] xsb_attv_tests:interrupt1 ................... passed (0.007 sec)
% [7/7] xsb_attv_tests:ret_attv ..................... passed (0.007 sec)
. done
Running scripts from rational 
% [1/45] ieee754:ieee_flags ......................... passed (0.000 sec)
% [2/45] ieee754:ieee_excp .......................... passed (0.000 sec)
% [3/45] ieee754:ieee_cmp ........................... passed (0.000 sec)
% [4/45] ieee754:ieee_tcmp .......................... passed (0.000 sec)
% [5/45] ieee754:ieee_minus ......................... passed (0.000 sec)
% [6/45] ieee754:ieee_add ........................... passed (0.000 sec)
% [7/45] ieee754:ieee_sub ........................... passed (0.000 sec)
% [8/45] ieee754:ieee_mul ........................... passed (0.000 sec)
% [9/45] ieee754:ieee_div ........................... passed (0.000 sec)
% [10/45] ieee754:ieee_sign ......................... passed (0.000 sec)
% [11/45] ieee754:ieee_parts ........................ passed (0.000 sec)
% [12/45] ieee754:ieee_acos ......................... passed (0.000 sec)
% [13/45] ieee754:ieee_asin ......................... passed (0.000 sec)
% [14/45] ieee754:ieee_atan ......................... passed (0.000 sec)
% [15/45] ieee754:ieee_atan2 ........................ passed (0.000 sec)
% [16/45] ieee754:ieee_cos .......................... passed (0.000 sec)
% [17/45] ieee754:ieee_sin .......................... passed (0.000 sec)
% [18/45] ieee754:ieee_tan .......................... passed (0.000 sec)
% [19/45] ieee754:ieee_acosh ........................ passed (0.000 sec)
% [20/45] ieee754:ieee_asinh ........................ passed (0.000 sec)
% [21/45] ieee754:ieee_atanh ........................ passed (0.000 sec)
% [22/45] ieee754:ieee_cosh ......................... passed (0.000 sec)
% [23/45] ieee754:ieee_sinh ......................... passed (0.000 sec)
% [24/45] ieee754:ieee_tanh ......................... passed (0.000 sec)
% [25/45] ieee754:ieee_exp .......................... passed (0.000 sec)
% [26/45] ieee754:ieee_log .......................... passed (0.000 sec)
% [27/45] ieee754:ieee_log10 ........................ passed (0.000 sec)
% [28/45] ieee754:ieee_abs .......................... passed (0.000 sec)
% [29/45] ieee754:ieee_pow .......................... passed (0.000 sec)
% [30/45] ieee754:ieee_sqrt ......................... passed (0.000 sec)
% [31/45] ieee754:ieee_erf .......................... passed (0.000 sec)
% [32/45] ieee754:ieee_erfc ......................... passed (0.000 sec)
% [33/45] ieee754:ieee_lgamma ....................... passed (0.000 sec)
% [34/45] ieee754:ieee_ceil ......................... passed (0.000 sec)
% [35/45] ieee754:ieee_floor ........................ passed (0.000 sec)
% [36/45] ieee754:ieee_round ........................ passed (0.000 sec)
% [37/45] ieee754:ieee_trunc ........................ passed (0.000 sec)
% [38/45] ieee754:ieee_copysign ..................... passed (0.000 sec)
% [39/45] ieee754:ieee_nexttoward ................... passed (0.000 sec)
% [40/45] ieee754:ieee_max .......................... passed (0.000 sec)
% [41/45] ieee754:ieee_min .......................... passed (0.000 sec)
% [42/45] ieee754:ieee_rmode ........................ passed (0.000 sec)
% [43/45] ieee754:float_to_rat ...................... passed (0.000 sec)
% [44/45] ieee754:ieee_rndto ........................ passed (0.000 sec)
% [45/45] ieee754:bounded ........................... passed (0.000 sec)
.
% [1/15] rational:filters ........................... passed (0.000 sec)
% [2/15] rational:construct ......................... passed (0.000 sec)
% [3/15] rational:compare ........................... passed (0.000 sec)
% [4/15] rational:keep_precision .................... passed (0.000 sec)
% [5/15] rational:conversion ........................ passed (0.000 sec)
% [6/15] rational:int_to_rat ........................ passed (0.000 sec)
% [7/15] rational:rat_to_rat ........................ passed (0.000 sec)
% [8/15] rational:pow_special ....................... passed (0.000 sec)
% [9/15] rational:other_arith ....................... passed (0.000 sec)
% [10/15] rational:strings .......................... passed (0.000 sec)
% [11/15] rational:io ............................... passed (0.000 sec)
% [12/15] rational:syntax_fail ...................... passed (0.000 sec)
% [13/15] rationalize:trip .......................... passed (0.000 sec)
% [14/15] rationalize:roundtrip_rational ............ passed (0.002 sec)
% [15/15] rationalize:roundtrip_rationalize ......... passed (0.003 sec)
.
% [1/5] cmpr:compare_modes .......................... passed (0.000 sec)
% [2/5] cmpr:compare_corners ........................ passed (0.000 sec)
% [3/5] cmpr:realerrors ............................. passed (0.000 sec)
% [4/5] cmpr:neg .................................... passed (0.000 sec)
% [5/5] maxminr:realmaxmin .......................... passed (0.000 sec)
. done
All tests passed
    Start testing package chr:chr
Package chr:chr......................... passed 0.73 sec.
All tests passed
    Start testing package sgml:sgml
Package sgml:sgml....................... passed 0.66 sec.
    Start testing package sgml:sgml_write
Package sgml:sgml_write................. passed 0.79 sec.
    Start testing package sgml:xsd
Package sgml:xsd........................ passed 0.74 sec.
    Start testing package sgml:c14n
Package sgml:c14n....................... passed 0.79 sec.
All tests passed
[ FAIL 0 | WARN 0 | SKIP 0 | PASS 18 ]
> 
> proc.time()
   user  system elapsed 
  34.96    5.67   37.42