R Under development (unstable) (2025-12-05 r89107 ucrt) -- "Unsuffered Consequences"
Copyright (C) 2025 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.011 sec)
% [2/21] reconsult:add_clause ....................... passed (0.001 sec)
% [3/21] reconsult:del_clause ....................... passed (0.001 sec)
% [4/21] reconsult:del_clause_a ..................... passed (0.001 sec)
% [5/21] reconsult:del_clause_z ..................... passed (0.001 sec)
% [6/21] reconsult:replace_clause ................... passed (0.001 sec)
% [7/21] reconsult:add_pred ......................... passed (0.001 sec)
% [8/21] reconsult:del_pred ......................... passed (0.001 sec)
% [9/21] reconsult:add_attr_end ..................... passed (0.001 sec)
% [10/21] reconsult:del_attr_end .................... passed (0.001 sec)
% [11/21] reconsult:del_dynamic ..................... passed (0.001 sec)
% [12/21] reconsult:del_det ......................... passed (0.001 sec)
% [13/21] reconsult:add_thread_local ................ passed (0.002 sec)
% [14/21] reconsult:del_discontiguous ............... passed (0.002 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.008 sec)
% [19/21] reconsult:mod_dynamic ..................... passed (0.003 sec)
% [20/21] reconsult:goal_expansion .................. passed (0.006 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.030 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.022 sec)
% [26/52] acyclic_terms:long_list_is_acyclic_2 ...... passed (0.024 sec)
% [27/52] acyclic_terms:long_list_is_acyclic_3 ...... passed (0.022 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.028 sec)
% [40/52] cyclic_terms:wide..ed_term_is_cyclic_2 .... passed (0.031 sec)
% [41/52] cyclic_terms:list_is_cyclic ............... passed (0.000 sec)
% [42/52] cyclic_terms:long_list_is_cyclic .......... passed (0.010 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.003 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.252 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.002 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.003 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.109 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.230 sec)
% [5/56] apply:error ................................ passed (0.000 sec)
% [6/56] callN:error ................................ passed (0.000 sec)
% [7/56] callN:if_then_else ......................... passed (0.000 sec)
% [8/56] callN:disj ................................. passed (0.000 sec)
% [9/56] callN:conj ................................. passed (0.000 sec)
% [10/56] callN:qn8 ................................. passed (0.000 sec)
% [11/56] callN:an8 ................................. passed (0.000 sec)
% [12/56] callN:qe8 ................................. passed (0.000 sec)
% [13/56] callN:ae8 ................................. passed (0.000 sec)
% [14/56] callN:max_procedure_arity ................. passed (0.000 sec)
% [15/56] callN:max_procedure_arity ................. passed (0.000 sec)
% [16/56] cross_module_call:cmc1 .................... passed (0.000 sec)
% [17/56] cross_module_call:cmc1 .................... passed (0.000 sec)
% [18/56] cross_module_call:cmc2 .................... passed (0.000 sec)
% [19/56] cross_module_call:cmc2 .................... passed (0.000 sec)
% [20/56] cross_module_call:cmc3 .................... passed (0.000 sec)
% [21/56] cross_module_call:cmc4 .................... passed (0.000 sec)
% [22/56] cross_module_call:c_cm1 ................... passed (0.000 sec)
% [23/56] cross_module_call:c_cm2 ................... passed (0.000 sec)
% [24/56] at2:context ............................... passed (0.000 sec)
% [25/56] at2:var ................................... passed (0.000 sec)
% [26/56] at2:var ................................... passed (0.000 sec)
% [27/56] at2:var ................................... passed (0.000 sec)
% [28/56] at2:var ................................... passed (0.000 sec)
% [29/56] at2:var ................................... passed (0.000 sec)
% [30/56] snip:indent ............................... passed (0.000 sec)
% [31/56] snip:cut .................................. passed (0.000 sec)
% [32/56] snip:cut2 ................................. passed (0.000 sec)
% [33/56] snip:cut3 ................................. passed (0.000 sec)
% [34/56] snip:lscut ................................ passed (0.000 sec)
% [35/56] no_autoload:unknown ....................... passed (0.000 sec)
% [36/56] setup_call_cleanup:true ................... passed (0.000 sec)
% [37/56] setup_call_cleanup:true_debug ............. passed (0.000 sec)
% [38/56] setup_call_cleanup:cut .................... passed (0.000 sec)
% [39/56] setup_call_cleanup:cut_debug .............. passed (0.000 sec)
% [40/56] setup_call_cleanup:fail ................... passed (0.000 sec)
% [41/56] setup_call_cleanup:fail2 .................. passed (0.000 sec)
% [42/56] setup_call_cleanup:fail_debug ............. passed (0.000 sec)
% [43/56] setup_call_cleanup:fail_debug2 ............ passed (0.000 sec)
% [44/56] setup_call_cleanup:error .................. passed (0.000 sec)
% [45/56] setup_call_cleanup:error_debug ............ passed (0.000 sec)
% [46/56] setup_call_cleanup:nondet ................. passed (0.000 sec)
% [47/56] setup_call_cleanup:cleanup ................ passed (0.000 sec)
% [48/56] setup_call_cleanup:cleanup ................ passed (0.000 sec)
% [49/56] setup_call_cleanup:error_choice ........... passed (0.000 sec)
% [50/56] setup_call_cleanup:error_choice ........... passed (0.000 sec)
% [51/56] setup_call_cleanup:error_choice ........... passed (0.000 sec)
% [52/56] catch:exit_nondet ......................... passed (0.000 sec)
% [53/56] catch:partial_unification ................. passed (0.000 sec)
% [54/56] catch:attvar .............................. passed (0.000 sec)
% [55/56] catch:nested .............................. passed (0.000 sec)
% [56/56] catch:urgent .............................. passed (0.000 sec)
.
% [1/1] code_type:code_type ......................... passed (0.310 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.000 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.000 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/87] dict_create:dict_create/3 .................. passed (0.000 sec)
% [2/87] dict_create:dict_create/3 .................. passed (0.000 sec)
% [3/87] dict_create:dict_create/3 .................. passed (0.000 sec)
% [4/87] dict_create:dict_create/3 .................. passed (0.000 sec)
% [5/87] dict_create:dict_create/3 .................. passed (0.000 sec)
% [6/87] dict_create:dict_create/3 .................. passed (0.000 sec)
% [7/87] dict_create:create ......................... passed (0.014 sec)
% [8/87] dict_create:convert ........................ passed (0.000 sec)
% [9/87] dict_bips:is_dict/1 ........................ passed (0.000 sec)
% [10/87] dict_bips:is_dict/1 ....................... passed (0.000 sec)
% [11/87] dict_bips:is_dict/2 ....................... passed (0.000 sec)
% [12/87] dict_bips:is_dict/2 ....................... passed (0.000 sec)
% [13/87] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [14/87] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [15/87] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [16/87] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [17/87] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [18/87] dict_bips:get_dict/3 ...................... passed (0.000 sec)
% [19/87] dict_bips:get_dict/3 ...................... passed (0.000 sec)
% [20/87] dict_bips:get_dict/3 ...................... passed (0.000 sec)
% [21/87] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [22/87] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [23/87] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [24/87] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [25/87] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [26/87] dict_bips:put_dict/4 ...................... passed (0.000 sec)
% [27/87] dict_bips:put_dict/4 ...................... passed (0.000 sec)
% [28/87] dict_bips:put_dict/4 ...................... passed (0.000 sec)
% [29/87] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [30/87] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [31/87] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [32/87] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [33/87] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [34/87] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [35/87] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [36/87] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [37/87] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [38/87] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [39/87] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [40/87] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [41/87] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [42/87] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [43/87] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [44/87] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [45/87] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [46/87] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [47/87] dict_bips::</2 ............................ passed (0.000 sec)
% [48/87] dict_bips::</2 ............................ passed (0.000 sec)
% [49/87] dict_bips:>:</2 ........................... passed (0.000 sec)
% [50/87] dict_bips:>:</2 ........................... passed (0.000 sec)
% [51/87] dict_bips:>:</2 ........................... passed (0.000 sec)
% [52/87] dict_bips:>:</2 ........................... passed (0.000 sec)
% [53/87] dict_bips:>:</2 ........................... passed (0.000 sec)
% [54/87] dict_bips:>:</2 ........................... passed (0.000 sec)
% [55/87] dict_bips:put ............................. passed (0.000 sec)
% [56/87] dict_bips:put ............................. passed (0.000 sec)
% [57/87] dict_bips:put ............................. passed (0.000 sec)
% [58/87] dict_bips:select .......................... passed (0.000 sec)
% [59/87] dict_bips:select .......................... passed (0.000 sec)
% [60/87] dict_bips:select .......................... passed (0.000 sec)
% [61/87] dict_bips:same_keys ....................... passed (0.000 sec)
% [62/87] dict_bips:same_keys ....................... passed (0.000 sec)
% [63/87] dict_bips:same_keys ....................... passed (0.000 sec)
% [64/87] dict_bips:same_keys ....................... passed (0.000 sec)
% [65/87] dict_bips:same_keys ....................... passed (0.000 sec)
% [66/87] dict_bips:same_keys ....................... passed (0.000 sec)
% [67/87] dict_dot3:field ........................... passed (0.000 sec)
% [68/87] dict_dot3:field ........................... passed (0.000 sec)
% [69/87] dict_dot3:no_field ........................ passed (0.000 sec)
% [70/87] dict_dot3:no_dict ......................... passed (0.000 sec)
% [71/87] dict_overflow:put ......................... passed (0.031 sec)
% [72/87] dict_overflow:select ...................... passed (0.037 sec)
% [73/87] expand_functions:field .................... passed (0.000 sec)
% [74/87] expand_functions:conj ..................... passed (0.000 sec)
% [75/87] expand_functions:meta ..................... passed (0.000 sec)
% [76/87] expand_functions:forall ................... passed (0.000 sec)
% [77/87] expand_functions:findall .................. passed (0.000 sec)
% [78/87] expand_functions:bagof .................... passed (0.000 sec)
% [79/87] expand_functions:head ..................... passed (0.000 sec)
% [80/87] expand_functions:put ...................... passed (0.000 sec)
% [81/87] expand_functions:put2 ..................... passed (0.000 sec)
% [82/87] expand_functions:metaarg .................. passed (0.000 sec)
% [83/87] define_functions:na ....................... passed (0.000 sec)
% [84/87] define_functions:aa ....................... passed (0.000 sec)
% [85/87] define_functions:a2 ....................... passed (0.000 sec)
% [86/87] define_functions:qna ...................... passed (0.000 sec)
% [87/87] 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/18] format:fail ................................ passed (0.000 sec)
% [2/18] format:fail ................................ passed (0.000 sec)
% [3/18] format:no_stream ........................... passed (0.000 sec)
% [4/18] format:atom ................................ passed (0.000 sec)
% [5/18] format:atom ................................ passed (0.000 sec)
% [6/18] format:radix ............................... passed (0.000 sec)
% [7/18] format:radix ............................... passed (0.000 sec)
% [8/18] format:radix ............................... passed (0.000 sec)
% [9/18] format:asterisk ............................ passed (0.000 sec)
% [10/18] format:intD_1 ............................. passed (0.000 sec)
% [11/18] format:intD_2 ............................. passed (0.000 sec)
% [12/18] format:intD_3 ............................. passed (0.000 sec)
% [13/18] format:intr_1 ............................. passed (0.000 sec)
% [14/18] format:intR_1 ............................. passed (0.000 sec)
% [15/18] format:large_float_1 ...................... passed (0.000 sec)
% [16/18] format:oncodes_1 .......................... passed (0.000 sec)
% [17/18] format:oncodes_2 .......................... passed (0.000 sec)
% [18/18] 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.019 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.471 sec)
% [10/15] gc_crash2:cleanup ......................... passed (0.000 sec)
% [11/15] gc_mark:s_list ............................ passed (0.016 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.004 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.005 sec)
% [2/2] call_with_inference_limit:retry ............. passed (0.001 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.000 sec)
% [3/6] prolog_listen:global_at_exit_event .......... passed (0.005 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.001 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.001 sec)
% [2/7] resource_error:global ....................... passed (0.002 sec)
% [3/7] resource_error:string ....................... passed (0.029 sec)
% [4/7] resource_error:string ....................... passed (0.025 sec)
% [5/7] resource_error:length ....................... passed (0.000 sec)
% [6/7] resource_error:tight_stacks ................. passed (0.001 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.003 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.001 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.087 sec)
% [9/18] call_residue_vars:modify ................... passed (0.000 sec)
% [10/18] call_residue_vars:trail ................... passed (0.000 sec)
% [11/18] call_residue_vars:frozen_stacks ........... passed (0.000 sec)
% [12/18] call_residue_vars:copy_term ............... passed (0.007 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.001 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.001 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.169 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.002 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.001 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.008 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.002 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.002 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.005 sec)
% [21/23] read_pending_input:utf16be ................ passed (0.003 sec)
% [22/23] read_pending_input:utf16le ................ passed (0.004 sec)
% [23/23] read_pending_input:wchar_t ................ passed (0.003 sec)
.
% [1/7] prolog_clause:t0 ............................ passed (0.000 sec)
% [2/7] prolog_clause:t1 ............................ passed (0.000 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.081 sec)
.
% [1/145] rbtrees:keys .............................. passed (0.000 sec)
% [2/145] rbtrees:clone3 ............................ passed (0.000 sec)
% [3/145] rbtrees:pos ............................... passed (0.014 sec)
% [4/145] rbtrees:neg ............................... passed (0.013 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/3] record:record_type .......................... passed (0.000 sec)
% [2/3] record:list_type ............................ passed (0.000 sec)
% [3/3] record:list_type ............................ 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.003 sec)
% [2/10] source_info:hu2/1 .......................... passed (0.000 sec)
% [3/10] source_info:hu3/1 .......................... passed (0.000 sec)
% [4/10] source_info:ssu1/1 ......................... passed (0.000 sec)
% [5/10] source_info:nsu1/1 ......................... passed (0.000 sec)
% [6/10] source_info:ssu2/1 ......................... passed (0.000 sec)
% [7/10] source_info:ssu3/1 ......................... passed (0.000 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.000 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.000 sec)
% [3/10] thread:unify ............................... passed (0.001 sec)
% [4/10] thread:fail ................................ passed (0.000 sec)
% [5/10] thread:error ............................... passed (0.000 sec)
% [6/10] thread:concur .............................. passed (0.008 sec)
% [7/10] thread:first ............................... passed (0.001 sec)
% [8/10] thread:first ............................... passed (0.000 sec)
% [9/10] thread:first ............................... passed (0.009 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.247 sec)
.
% [1/2] tmp_module:nqueens .......................... passed (0.037 sec)
% [2/2] tmp_module:current_op ....................... passed (1.549 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/2025_12_06_15_15_17_21360/rtmpwypfn4/rlibs_6a44795379e7/rswipl/swipl/test/eclipse/format.tst
................................................................................................................................................................................................
% Finished tests from file d:/temp/2025_12_06_15_15_17_21360/rtmpwypfn4/rlibs_6a44795379e7/rswipl/swipl/test/eclipse/format.tst
% 192 tests found.
% 192 tests succeeded.
% Running ECLiPSe tests from file d:/temp/2025_12_06_15_15_17_21360/rtmpwypfn4/rlibs_6a44795379e7/rswipl/swipl/test/eclipse/format_strings.tst
...
% Finished tests from file d:/temp/2025_12_06_15_15_17_21360/rtmpwypfn4/rlibs_6a44795379e7/rswipl/swipl/test/eclipse/format_strings.tst
% 3 tests found.
% 3 tests succeeded.
% Running ECLiPSe tests from file d:/temp/2025_12_06_15_15_17_21360/rtmpwypfn4/rlibs_6a44795379e7/rswipl/swipl/test/eclipse/string_tests.tst
........................................................................................................................................................................
% Finished tests from file d:/temp/2025_12_06_15_15_17_21360/rtmpwypfn4/rlibs_6a44795379e7/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.009 sec)
% [2/6] file_names:2 ................................ passed (0.006 sec)
% [3/6] file_names:3 ................................ passed (0.025 sec)
% [4/6] file_names:5 ................................ passed (0.034 sec)
% [5/6] file_names:4 ................................ passed (0.029 sec)
% [6/6] file_names:6 ................................ passed (0.034 sec)
.
% [1/17] files:tmp_cleanup .......................... passed (0.020 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.009 sec)
% [5/17] files:max_path_len ......................... passed (0.008 sec)
% [6/17] files:max_path_len ......................... passed (0.009 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.001 sec)
% [31/33] glob_expand:cyrillic ...................... passed (0.001 sec)
% [32/33] glob_expand:cyrillic ...................... passed (0.001 sec)
% [33/33] glob_expand:cyrillic ...................... passed (0.001 sec)
.
% [1/3] pipe:pwd .................................... passed (0.058 sec)
% [2/3] pipe:cat1 ................................... passed (0.109 sec)
% [3/3] pipe:cat2 ................................... passed (0.056 sec)
. done
Running scripts from clp . done
Running scripts from GC 
% [1/1] agc_copyterm:copy ........................... passed (0.262 sec)
....
% [1/12] cleanup_shift:gtrue ........................ passed (0.002 sec)
% [2/12] cleanup_shift:ltrue ........................ passed (0.001 sec)
% [3/12] cleanup_shift:ttrue ........................ passed (0.005 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.003 sec)
% [8/12] cleanup_shift:lcut ......................... passed (0.000 sec)
% [9/12] cleanup_shift:tcut ......................... passed (0.003 sec)
% [10/12] cleanup_shift:gexcept ..................... passed (0.001 sec)
% [11/12] cleanup_shift:lexcept ..................... passed (0.000 sec)
% [12/12] cleanup_shift:texcept ..................... passed (0.003 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.003 sec)
% [7/8] queue_gc:gc ................................. passed (0.002 sec)
% [8/8] queue_gc:gc ................................. passed (0.002 sec)
....
% [1/1] queue_select:even ........................... passed (0.000 sec)
..
% [1/4] queue_timeout:relative ...................... passed (0.004 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.007 sec)
% [2/5] concurrent_and:select ....................... passed (0.007 sec)
% [3/5] concurrent_and:cut .......................... passed (0.007 sec)
% [4/5] concurrent_and:error ........................ passed (0.007 sec)
% [5/5] concurrent_and:gen_error .................... passed (0.008 sec)
.
% [1/5] rwlocks:basic_write_lock .................... passed (0.003 sec)
% [2/5] rwlocks:basic_read_lock ..................... passed (0.000 sec)
% [3/5] rwlocks:concurrent_reads .................... passed (0.001 sec)
% [4/5] rwlocks:write_blocks_reads .................. passed (0.494 sec)
% [5/5] rwlocks:invalid_mode ........................ passed (0.002 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.004 sec)
% [10/24] thread_property:status_fail ............... passed (0.000 sec)
% [11/24] thread_property:status_exception .......... passed (0.015 sec)
% [12/24] thread_property:status_enum1 .............. passed (0.001 sec)
% [13/24] thread_property:status_enum2 .............. passed (0.001 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.001 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.016 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.062 sec)
.
% [1/4] thread_wait:signal .......................... passed (0.071 sec)
% [2/4] thread_wait:wakeall ......................... passed (0.062 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.001 sec)
% [19/23] thread_transaction:isolate_assert ......... passed (0.000 sec)
% [20/23] thread_transaction:isolate_retract ........ passed (0.000 sec)
% [21/23] thread_transaction:isolate_retract2 ....... passed (0.001 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.005 sec)
% [2/7] qlf:h_integer ............................... passed (0.009 sec)
% [3/7] qlf:b_integer ............................... passed (0.009 sec)
% [4/7] qlf:expr .................................... passed (0.008 sec)
% [5/7] qlf:cmp ..................................... passed (0.006 sec)
% [6/7] qlf:add_fc .................................. passed (0.009 sec)
% [7/7] qlf:rat ..................................... passed (0.006 sec)
.
% [1/3] saved_state:true ............................ passed (1.381 sec)
% [2/3] saved_state:argv ............................ passed (1.335 sec)
% [3/3] saved_state:true ............................ passed (1.383 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.003 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.002 sec)
% [5/10] monotonic_tabling:closure2 ................. passed (0.129 sec)
% [6/10] monotonic_tabling:incr_mono ................ passed (0.000 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.046 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.004 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.001 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.001 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.004 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.039 sec)
% [35/35] push_ret:push_ret ......................... passed (0.058 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.017 sec)
% [2/26] xsb_basic_tests:tsstr23 .................... passed (0.006 sec)
% [3/26] xsb_basic_tests:tsstr33 .................... passed (0.008 sec)
% [4/26] xsb_basic_tests:tstr11 ..................... passed (0.005 sec)
% [5/26] xsb_basic_tests:tstr21 ..................... passed (0.005 sec)
% [6/26] xsb_basic_tests:tstr31 ..................... passed (0.005 sec)
% [7/26] xsb_basic_tests:tstr51 ..................... passed (0.005 sec)
% [8/26] xsb_basic_tests:tstr61 ..................... passed (0.005 sec)
% [9/26] xsb_basic_tests:tstr12 ..................... passed (0.005 sec)
% [10/26] xsb_basic_tests:tstr22 .................... passed (0.005 sec)
% [11/26] xsb_basic_tests:tstr32 .................... passed (0.006 sec)
% [12/26] xsb_basic_tests:tstr52 .................... passed (0.007 sec)
% [13/26] xsb_basic_tests:tstr62 .................... passed (0.006 sec)
% [14/26] xsb_basic_tests:tstr13 .................... passed (0.019 sec)
% [15/26] xsb_basic_tests:tstr23 .................... passed (0.021 sec)
% [16/26] xsb_basic_tests:tstr33 .................... passed (0.023 sec)
% [17/26] xsb_basic_tests:tstr53 .................... passed (0.040 sec)
% [18/26] xsb_basic_tests:tstr63 .................... passed (0.064 sec)
% [19/26] xsb_basic_tests:thstr13 ................... passed (0.010 sec)
% [20/26] xsb_basic_tests:thstr43 ................... passed (0.005 sec)
% [21/26] xsb_basic_tests:thstr23 ................... passed (0.009 sec)
% [22/26] xsb_basic_tests:tcyl11 .................... passed (0.088 sec)
% [23/26] xsb_basic_tests:tcyl12 .................... passed (0.040 sec)
% [24/26] xsb_basic_tests:testsg .................... passed (0.086 sec)
% [25/26] xsb_basic_tests:interp .................... passed (0.011 sec)
% [26/26] xsb_basic_tests:tsing1 .................... passed (0.007 sec)
. done
Running scripts from ai_tests 
% [1/11] xsb_ai_tests:cs_o .......................... passed (0.107 sec)
% [2/11] xsb_ai_tests:cs_r .......................... passed (0.083 sec)
% [3/11] xsb_ai_tests:disj .......................... passed (0.056 sec)
% [4/11] xsb_ai_tests:gabriel ....................... passed (0.052 sec)
% [5/11] xsb_ai_tests:kalah ......................... passed (0.077 sec)
% [6/11] xsb_ai_tests:peep .......................... passed (0.101 sec)
% [7/11] xsb_ai_tests:pg ............................ passed (0.031 sec)
% [8/11] xsb_ai_tests:plan .......................... passed (0.028 sec)
% [9/11] xsb_ai_tests:qsort ......................... passed (0.020 sec)
% [10/11] xsb_ai_tests:queens ....................... passed (0.023 sec)
% [11/11] xsb_ai_tests:read ......................... passed (0.112 sec)
. done
Running scripts from ptq 
% [1/25] xsb_ptq:jtaulred ........................... passed (0.004 sec)
% [2/25] xsb_ptq:mbjfauahei ......................... passed (0.054 sec)
% [3/25] xsb_ptq:mbjfauaheilred ..................... passed (0.018 sec)
% [4/25] xsb_ptq:jtau ............................... passed (0.004 sec)
% [5/25] xsb_ptq:jdm ................................ passed (0.003 sec)
% [6/25] xsb_ptq:apr ................................ passed (0.002 sec)
% [7/25] xsb_ptq:jdh ................................ passed (0.002 sec)
% [8/25] xsb_ptq:jsau ............................... passed (0.003 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.003 sec)
% [12/25] xsb_ptq:jsauamsi .......................... passed (0.017 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.004 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.024 sec)
% [22/25] xsb_ptq:jwfauaeilred ...................... passed (0.009 sec)
% [23/25] xsb_ptq:jtfauaweilred ..................... passed (0.009 sec)
% [24/25] xsb_ptq:emlawsslhlred ..................... passed (0.005 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.011 sec)
% [3/24] tabled_basic_negation:neg3 ................. passed (0.007 sec)
% [4/24] tabled_basic_negation:ullman2 .............. passed (0.007 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.008 sec)
% [8/24] tabled_lr_stratified_negation:lmod4 ........ passed (0.006 sec)
% [9/24] tabled_lr_stratified_negation:lmod5 ........ passed (0.007 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.007 sec)
% [13/24] tabled_lr_stratified_negation:lmod9 ....... passed (0.008 sec)
% [14/24] tabled_lr_stratified_negation:lmod10 ...... passed (0.009 sec)
% [15/24] tabled_lr_stratified_negation:lmod11 ...... passed (0.010 sec)
% [16/24] tabled_lr_stratified_negation:ullman1 ..... passed (0.009 sec)
% [17/24] tabled_dynakicall..fied_negation:przy2 .... passed (0.009 sec)
% [18/24] tabled_dynakicall..negation:ldynstrat0 .... passed (0.009 sec)
% [19/24] tabled_dynakicall..negation:ldynstrat1 .... passed (0.009 sec)
% [20/24] tabled_dynakicall..negation:ldynstrat2 .... passed (0.008 sec)
% [21/24] tabled_dynakicall..negation:ldynstrat3 .... passed (0.007 sec)
% [22/24] tabled_dynakicall..negation:ldynstrat4 .... passed (0.011 sec)
% [23/24] tabled_stratified_negation:mod1 ........... passed (0.010 sec)
% [24/24] tabled_misc_negation:q7 ................... passed (0.301 sec)
. done
Running scripts from delay_tests 
% [1/87] delay_dynstrat:dynstrat1 ................... passed (0.021 sec)
% [2/87] delay_dynstrat:dynstrat2 ................... passed (0.008 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.007 sec)
% [8/87] delay_dynstrat:ross1 ....................... passed (0.006 sec)
% [9/87] delay_dynstrat:sel_unsusp .................. passed (0.007 sec)
% [10/87] delay_dynstrat:dl_dupl .................... passed (0.007 sec)
% [11/87] delay_dynstrat:asl_dupl ................... passed (0.005 sec)
% [12/87] delay_dynstrat:gfp ........................ passed (0.006 sec)
% [13/87] delay_old_failures:fr1 .................... passed (0.007 sec)
% [14/87] delay_old_failures:fr2 .................... passed (0.008 sec)
% [15/87] delay_old_failures:fr3 .................... passed (0.008 sec)
% [16/87] delay_old_failures:fr4 .................... passed (0.008 sec)
% [17/87] delay_old_failures:fr5 .................... passed (0.007 sec)
% [18/87] delay_old_failures:fr6 .................... passed (0.006 sec)
% [19/87] delay_old_failures:fr7 .................... passed (0.007 sec)
% [20/87] delay_old_failures:fr8 .................... passed (0.008 sec)
% [21/87] delay_old_failures:fr9 .................... passed (0.007 sec)
% [22/87] delay_old_failures:fr19 ................... passed (0.008 sec)
% [23/87] delay_old_failures:fr20 ................... passed (0.007 sec)
% [24/87] delay_old_failures:fr21 ................... passed (0.007 sec)
% [25/87] delay_old_failures:fr22 ................... passed (0.006 sec)
% [26/87] delay_old_failures:fr23 ................... passed (0.006 sec)
% [27/87] delay_old_failures:fr24 ................... passed (0.008 sec)
% [28/87] delay_old_failures:fr25 ................... passed (0.007 sec)
% [29/87] delay_old_failures:fr26 ................... passed (0.007 sec)
% [30/87] delay_old_failures:fr27 ................... passed (0.007 sec)
% [31/87] delay_old_failures:fr28 ................... passed (0.007 sec)
% [32/87] delay_old_failures:fr29 ................... passed (0.007 sec)
% [33/87] delay_old_failures:fr30 ................... passed (0.008 sec)
% [34/87] delay_old_segv:seg1 ....................... passed (0.008 sec)
% [35/87] delay_old_segv:seg2 ....................... passed (0.007 sec)
% [36/87] delay_old_segv:seg3 ....................... passed (0.007 sec)
% [37/87] delay_old_segv:seg4 ....................... passed (0.007 sec)
% [38/87] delay_old_segv:seg5 ....................... passed (0.007 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.009 sec)
% [42/87] delay_interp:interp2 ...................... passed (0.008 sec)
% [43/87] delay_interp:interp4 ...................... passed (0.005 sec)
% [44/87] delay_interp:interp5 ...................... passed (0.005 sec)
% [45/87] delay_interp:interp6 ...................... passed (0.004 sec)
% [46/87] delay_interp:interp7 ...................... passed (0.004 sec)
% [47/87] delay_interp:interp8 ...................... passed (0.005 sec)
% [48/87] delay_interp:interp9 ...................... passed (0.005 sec)
% [49/87] delay_interp:interp10 ..................... passed (0.004 sec)
% [50/87] delay_interp:interp11 ..................... passed (0.004 sec)
% [51/87] delay_non_strat_neg:two_ary ............... passed (0.005 sec)
% [52/87] delay_non_strat_neg:abol_susp1 ............ passed (0.004 sec)
% [53/87] delay_non_strat_neg:abol_susp2 ............ passed (0.005 sec)
% [54/87] delay_non_strat_neg:przy1 ................. passed (0.006 sec)
% [55/87] delay_non_strat_neg:przy1_simp ............ passed (0.008 sec)
% [56/87] delay_non_strat_neg:nonstrat1 ............. passed (0.009 sec)
% [57/87] delay_non_strat_neg:nonstrat2 ............. passed (0.009 sec)
% [58/87] delay_wfs_neg:p1 .......................... passed (0.008 sec)
% [59/87] delay_wfs_neg:p2 .......................... passed (0.008 sec)
% [60/87] delay_wfs_neg:p3 .......................... passed (0.007 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.009 sec)
% [66/87] delay_wfs_neg:ullman3 ..................... passed (0.009 sec)
% [67/87] delay_wfs_neg:undef1 ...................... passed (0.020 sec)
% [68/87] delay_wfs_neg:undef2 ...................... passed (0.008 sec)
% [69/87] delay_pos_simpl:pos_simpl1 ................ passed (0.007 sec)
% [70/87] delay_ac:weidong2 ......................... passed (0.007 sec)
% [71/87] delay_ac:weidong3 ......................... passed (0.008 sec)
% [72/87] delay_ac:weidong4 ......................... passed (0.007 sec)
% [73/87] delay_ac:weidong5 ......................... passed (0.007 sec)
% [74/87] delay_ac:weidong6 ......................... passed (0.007 sec)
% [75/87] delay_ac:weidong7 ......................... passed (0.007 sec)
% [76/87] delay_ac:weidong8 ......................... passed (0.008 sec)
% [77/87] delay_ac:interp12 ......................... passed (0.008 sec)
% [78/87] delay_ac:interp13 ......................... passed (0.007 sec)
% [79/87] delay_ac:interp14 ......................... passed (0.008 sec)
% [80/87] delay_ac:interp15 ......................... passed (0.007 sec)
% [81/87] delay_misc:avoid_flounder ................. passed (0.022 sec)
% [82/87] delay_misc:residual1 ...................... passed (0.030 sec)
% [83/87] delay_misc:fa ............................. passed (0.080 sec)
% [84/87] delay_misc:delay_var ...................... passed (0.098 sec)
% [85/87] delay_misc:tabsimp_seq .................... passed (0.243 sec)
% [86/87] delay_misc:wmay_winbug .................... passed (0.025 sec)
% [87/87] delay_misc:ac_tests ....................... passed (0.071 sec)
. done
Running scripts from wfs_tests 
% [1/72] xsb_wfs:p06 ................................ passed (0.008 sec)
% [2/72] xsb_wfs:p07 ................................ passed (0.005 sec)
% [3/72] xsb_wfs:p08 ................................ passed (0.005 sec)
% [4/72] xsb_wfs:p09 ................................ passed (0.009 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.007 sec)
% [10/72] xsb_wfs:p15 ............................... passed (0.008 sec)
% [11/72] xsb_wfs:p16 ............................... passed (0.008 sec)
% [12/72] xsb_wfs:p17 ............................... passed (0.017 sec)
% [13/72] xsb_wfs:p18 ............................... passed (0.007 sec)
% [14/72] xsb_wfs:p19 ............................... passed (0.008 sec)
% [15/72] xsb_wfs:p20 ............................... passed (0.007 sec)
% [16/72] xsb_wfs:p21 ............................... passed (0.007 sec)
% [17/72] xsb_wfs:p22 ............................... passed (0.009 sec)
% [18/72] xsb_wfs:p23 ............................... passed (0.010 sec)
% [19/72] xsb_wfs:p24 ............................... passed (0.007 sec)
% [20/72] xsb_wfs:p25 ............................... passed (0.008 sec)
% [21/72] xsb_wfs:p26 ............................... passed (0.010 sec)
% [22/72] xsb_wfs:p27 ............................... passed (0.009 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.006 sec)
% [29/72] xsb_wfs:p35 ............................... passed (0.007 sec)
% [30/72] xsb_wfs:p36 ............................... passed (0.007 sec)
% [31/72] xsb_wfs:p37 ............................... passed (0.007 sec)
% [32/72] xsb_wfs:p39 ............................... passed (0.010 sec)
% [33/72] xsb_wfs:p40 ............................... passed (0.008 sec)
% [34/72] xsb_wfs:p42 ............................... passed (0.008 sec)
% [35/72] xsb_wfs:p43 ............................... passed (0.006 sec)
% [36/72] xsb_wfs:p44 ............................... passed (0.007 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.008 sec)
% [40/72] xsb_wfs:p48 ............................... passed (0.007 sec)
% [41/72] xsb_wfs:p49 ............................... passed (0.005 sec)
% [42/72] xsb_wfs:p50 ............................... passed (0.006 sec)
% [43/72] xsb_wfs:p51 ............................... passed (0.007 sec)
% [44/72] xsb_wfs:p52a .............................. passed (0.011 sec)
% [45/72] xsb_wfs:p52 ............................... passed (0.012 sec)
% [46/72] xsb_wfs:p53 ............................... passed (0.011 sec)
% [47/72] xsb_wfs:p54 ............................... passed (0.016 sec)
% [48/72] xsb_wfs:p55 ............................... passed (0.019 sec)
% [49/72] xsb_wfs:p56 ............................... passed (0.023 sec)
% [50/72] xsb_wfs:p57 ............................... passed (0.023 sec)
% [51/72] xsb_wfs:p58 ............................... passed (0.019 sec)
% [52/72] xsb_wfs:p59 ............................... passed (0.028 sec)
% [53/72] xsb_wfs:p60 ............................... passed (0.008 sec)
% [54/72] xsb_wfs:p62 ............................... passed (0.008 sec)
% [55/72] xsb_wfs:p63 ............................... passed (0.007 sec)
% [56/72] xsb_wfs:p64 ............................... passed (0.009 sec)
% [57/72] xsb_wfs:p65 ............................... passed (0.007 sec)
% [58/72] xsb_wfs:p66 ............................... passed (0.009 sec)
% [59/72] xsb_wfs:p67 ............................... passed (0.006 sec)
% [60/72] xsb_wfs:p77 ............................... passed (0.008 sec)
% [61/72] xsb_wfs:p78 ............................... passed (0.007 sec)
% [62/72] xsb_wfs:p79 ............................... passed (0.008 sec)
% [63/72] xsb_wfs:p80 ............................... passed (0.008 sec)
% [64/72] xsb_wfs:p81 ............................... passed (0.008 sec)
% [65/72] xsb_wfs:p82 ............................... passed (0.010 sec)
% [66/72] xsb_wfs:p83 ............................... passed (0.008 sec)
% [67/72] xsb_wfs:p84 ............................... passed (0.008 sec)
% [68/72] xsb_wfs:p85 ............................... passed (0.009 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.006 sec)
% [72/72] xsb_wfs:p91 ............................... passed (0.006 sec)
. done
Running scripts from table_tests 
% [1/32] xsb_test_tables:abol_test .................. passed (0.017 sec)
% [2/32] xsb_test_tables:abol_test2 ................. passed (0.012 sec)
% [3/32] xsb_test_tables:abol_test2a ................ passed (0.007 sec)
% [4/32] xsb_test_tables:abol_test3 ................. passed (0.007 sec)
% [5/32] xsb_test_tables:abol_test3a ................ passed (0.008 sec)
% [6/32] xsb_test_tables:abol_test3b ................ passed (0.010 sec)
% [7/32] xsb_test_tables:abol_test3c ................ passed (0.012 sec)
% [8/32] xsb_test_tables:abolish_cascade ............ passed (0.025 sec)
% [9/32] xsb_test_tables:abolish_cascade_pred ....... passed (0.016 sec)
% [10/32] xsb_test_tables:abolish_cycle ............. passed (0.016 sec)
% [11/32] xsb_test_tables:abolish_dag ............... passed (0.022 sec)
% [12/32] xsb_test_tables:abolish_neg_cycle ......... passed (0.026 sec)
% [13/32] xsb_test_tables:abolish_neg_dag ........... passed (0.031 sec)
% [14/32] xsb_test_tables:atc_test .................. passed (0.028 sec)
% [15/32] xsb_test_tables:concomp ................... passed (0.223 sec)
% [16/32] xsb_test_tables:expand .................... passed (0.324 sec)
% [17/32] xsb_test_tables:ins ....................... passed (0.096 sec)
% [18/32] xsb_test_tables:large_arity_tables ........ passed (0.039 sec)
% [19/32] xsb_test_tables:lrbug ..................... passed (0.012 sec)
% [20/32] xsb_test_tables:pps ....................... passed (0.005 sec)
% [21/32] xsb_test_tables:pred_abolish_cycle ........ passed (0.020 sec)
% [22/32] xsb_test_tables:pred_abolish_dag .......... passed (0.022 sec)
% [23/32] xsb_test_tables:recursive_aboltest ........ passed (0.011 sec)
% [24/32] xsb_test_tables:tabbug1 ................... passed (0.005 sec)
% [25/32] xsb_test_tables:test_3vwfs_1 .............. passed (0.014 sec)
% [26/32] xsb_test_tables:test_calldepth ............ passed (0.007 sec)
% [27/32] xsb_test_tables:test_cyclic_tabling ....... passed (0.006 sec)
% [28/32] xsb_test_tables:t.._large_tabled_terms .... passed (0.331 sec)
% [29/32] xsb_test_tables:test_maxans_decl .......... passed (0.102 sec)
% [30/32] xsb_test_tables:test_negcycle ............. passed (0.014 sec)
% [31/32] xsb_test_tables:test_tda .................. passed (0.022 sec)
% [32/32] xsb_test_tables:test_tda_i ................ passed (0.023 sec)
. done
Running scripts from incremental_tests 
% [1/15] xsb_test_incremental:incremental ........... passed (0.012 sec)
% [2/15] xsb_test_incremental:incremental1 .......... passed (0.017 sec)
% [3/15] xsb_test_incremental:inc_trie_dyn .......... passed (0.013 sec)
% [4/15] xsb_test_incremental:incremental_rule ...... passed (0.009 sec)
% [5/15] xsb_test_incremen..ncremental_rule_alt ..... passed (0.009 sec)
% [6/15] xsb_test_incremental:test_incr_depends ..... passed (0.021 sec)
% [7/15] xsb_test_incremen..test_incr_depends_2 ..... passed (0.024 sec)
% [8/15] xsb_test_incremental:test_inc_switch ....... passed (0.012 sec)
% [9/15] xsb_test_incremen..:test_sound_updates ..... passed (0.020 sec)
% [10/15] xsb_test_incremental:test_wfs_update ...... passed (0.025 sec)
% [11/15] xsb_test_incremental:incr_test_romero ..... passed (0.012 sec)
% [12/15] xsb_test_incremen..lish_nonincremental .... passed (0.010 sec)
% [13/15] xsb_test_incremental:inc_atc .............. passed (0.009 sec)
% [14/15] xsb_test_incremental:inc_atc_gc ........... passed (0.006 sec)
% [15/15] xsb_test_incremental:inc_atc_gc_tricky .... passed (0.019 sec)
. done
Running scripts from nonmt_tests 
% [1/9] xsb_test_nonmt:test_iso_basic ............... passed (0.038 sec)
% [2/9] xsb_test_nonmt:test_iso_mult_visit .......... passed (0.054 sec)
% [3/9] xsb_test_nonmt:test_iso_hash ................ passed (0.048 sec)
% [4/9] xsb_test_nonmt:test_iso_undef ............... passed (0.038 sec)
% [5/9] xsb_test_nonmt:test_lazy .................... passed (0.016 sec)
% [6/9] xsb_test_nonmt:test_introspection ........... passed (0.023 sec)
% [7/9] xsb_test_nonmt:test_invalidate .............. passed (0.010 sec)
% [8/9] xsb_test_nonmt:cmu_sei_0050 ................. passed (0.009 sec)
% [9/9] xsb_test_nonmt:test_recomputable ............ passed (0.008 sec)
. done
Running scripts from sub_tests 
% [1/36] xsb_sub:lrtc1 .............................. passed (0.015 sec)
% [2/36] xsb_sub:lrtc2 .............................. passed (0.013 sec)
% [3/36] xsb_sub:lrtc3 .............................. passed (0.014 sec)
% [4/36] xsb_sub:lrtc4 .............................. passed (0.014 sec)
% [5/36] xsb_sub:lrtc5 .............................. passed (0.012 sec)
% [6/36] xsb_sub:lrtc6 .............................. passed (0.011 sec)
% [7/36] xsb_sub:lrtc7 .............................. passed (0.010 sec)
% [8/36] xsb_sub:lrtc8 .............................. passed (0.009 sec)
% [9/36] xsb_sub:rrtc1 .............................. passed (0.009 sec)
% [10/36] xsb_sub:rrtc2 ............................. passed (0.009 sec)
% [11/36] xsb_sub:rrtc3 ............................. passed (0.010 sec)
% [12/36] xsb_sub:rrtc4 ............................. passed (0.013 sec)
% [13/36] xsb_sub:rrtc5 ............................. passed (0.013 sec)
% [14/36] xsb_sub:rrtc6 ............................. passed (0.011 sec)
% [15/36] xsb_sub:rrtc7 ............................. passed (0.012 sec)
% [16/36] xsb_sub:rrtc8 ............................. passed (0.012 sec)
% [17/36] xsb_sub:drtc1 ............................. passed (0.015 sec)
% [18/36] xsb_sub:drtc2 ............................. passed (0.014 sec)
% [19/36] xsb_sub:drtc3 ............................. passed (0.015 sec)
% [20/36] xsb_sub:drtc4 ............................. passed (0.014 sec)
% [21/36] xsb_sub:drtc5 ............................. passed (0.014 sec)
% [22/36] xsb_sub:drtc6 ............................. passed (0.014 sec)
% [23/36] xsb_sub:drtc7 ............................. passed (0.013 sec)
% [24/36] xsb_sub:drtc8 ............................. passed (0.012 sec)
% [25/36] xsb_sub:sg1 ............................... passed (0.009 sec)
% [26/36] xsb_sub:sg2 ............................... passed (0.009 sec)
% [27/36] xsb_sub:sg3 ............................... passed (0.009 sec)
% [28/36] xsb_sub:sg4 ............................... passed (0.011 sec)
% [29/36] xsb_sub:sg5 ............................... passed (0.009 sec)
% [30/36] xsb_sub:sg6 ............................... passed (0.013 sec)
% [31/36] xsb_sub:sg7 ............................... passed (0.013 sec)
% [32/36] xsb_sub:sg8 ............................... passed (0.014 sec)
% [33/36] xsb_sub:genome1 ........................... passed (0.013 sec)
% [34/36] xsb_sub:genome2 ........................... passed (0.012 sec)
% [35/36] xsb_sub:genome3 ........................... passed (0.012 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.009 sec)
% [2/7] xsb_attv_tests:copyterm_attv ................ passed (0.020 sec)
% [3/7] xsb_attv_tests:fd1 .......................... passed (0.015 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.006 sec)
% [7/7] xsb_attv_tests:ret_attv ..................... passed (0.006 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.004 sec)
% [15/15] rationalize:roundtrip_rationalize ......... passed (0.006 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
[ FAIL 0 | WARN 0 | SKIP 0 | PASS 16 ]
> 
> proc.time()
   user  system elapsed 
  34.56    5.42   31.61