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

R is free software and comes with ABSOLUTELY NO WARRANTY.
You are welcome to redistribute it under certain conditions.
Type 'license()' or 'licence()' for distribution details.

R is a collaborative project with many contributors.
Type 'contributors()' for more information and
'citation()' on how to cite R or R packages in publications.

Type 'demo()' for some demos, 'help()' for on-line help, or
'help.start()' for an HTML browser interface to help.
Type 'q()' to quit R.

> library(testthat)
> library(rswipl)
> 
> test_check("rswipl")
Running test set "arithmetic_functions"  done.
Running test set "chars" .. done.
Running test set "wchars" .. done.
Running test set "depth_limit" ..... done.
Running test set "type_test" .... done.
Running test set "meta" ............... done.
Running test set "avar" .......................... done.
Running test set "gvar" ..... done.
Running test set "copy_term" .............. done.
Running test set "term_hash"  done.
Running test set "cyclic"  done.
Running test set "cleanup" ............. done.
Running test set "term" ........... done.
Running test set "list" ........... done.
Running test set "sets" ......... done.
Running test set "atom_handling" ........................ done.
Running test set "string_handling" ..... done.
Running test set "proc" ........ done.
Running test set "cl" ........... done.
Running test set "record" ....... done.
Running test set "compiler" ....... done.
Running test set "flag" . done.
Running test set "update" ... done.
Running test set "gc" ........ done.
Running test set "control" ......... done.
Running test set "exception" ...... done.
Running test set "term_atom" .. done.
Running test set "os" .. done.
Running test set "io" .. done.
Running test set "timeout"  done.
Running test set "file" ............. done.
Running test set "unicode_file" .... done.
Running test set "seek" . done.
Running test set "load_program" . done.
Running test set "ctype" ...... done.
Running test set "wctype" . done.
Running test set "thread" ....... done.
Running test set "engines"  done.
Running test set "mutex" ... done.
Running scripts from unprotected 
% [1/21] reconsult:simple ........................... passed (0.017 sec)
% [2/21] reconsult:add_clause ....................... passed (0.002 sec)
% [3/21] reconsult:del_clause ....................... passed (0.003 sec)
% [4/21] reconsult:del_clause_a ..................... passed (0.002 sec)
% [5/21] reconsult:del_clause_z ..................... passed (0.002 sec)
% [6/21] reconsult:replace_clause ................... passed (0.002 sec)
% [7/21] reconsult:add_pred ......................... passed (0.002 sec)
% [8/21] reconsult:del_pred ......................... passed (0.002 sec)
% [9/21] reconsult:add_attr_end ..................... passed (0.002 sec)
% [10/21] reconsult:del_attr_end .................... passed (0.002 sec)
% [11/21] reconsult:del_dynamic ..................... passed (0.002 sec)
% [12/21] reconsult:del_det ......................... passed (0.002 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.009 sec)
% [19/21] reconsult:mod_dynamic ..................... passed (0.003 sec)
% [20/21] reconsult:goal_expansion .................. passed (0.005 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.026 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.019 sec)
% [26/52] acyclic_terms:long_list_is_acyclic_2 ...... passed (0.018 sec)
% [27/52] acyclic_terms:long_list_is_acyclic_3 ...... passed (0.024 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.029 sec)
% [40/52] cyclic_terms:wide..ed_term_is_cyclic_2 .... passed (0.029 sec)
% [41/52] cyclic_terms:list_is_cyclic ............... passed (0.000 sec)
% [42/52] cyclic_terms:long_list_is_cyclic .......... passed (0.006 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.001 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.006 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.217 sec)
% [95/221] bigint:fac_1 ............................. passed (0.000 sec)
% [96/221] bigint:arith_1 ........................... passed (0.000 sec)
% [97/221] bigint:pow_1 ............................. passed (0.000 sec)
% [98/221] bigint:pow_2 ............................. passed (0.000 sec)
% [99/221] bigint:pow_3 ............................. passed (0.000 sec)
% [100/221] bigint:pow_4 ............................ passed (0.000 sec)
% [101/221] bigint:pow_5 ............................ passed (0.000 sec)
% [102/221] bigint:pow_6 ............................ passed (0.000 sec)
% [103/221] bigint:pow_7 ............................ passed (0.000 sec)
% [104/221] bigint:powm_1 ........................... passed (0.000 sec)
% [105/221] bigint:powm_2 ........................... passed (0.000 sec)
% [106/221] bigint:integer_1 ........................ passed (0.000 sec)
% [107/221] bigint:integer_2 ........................ passed (0.000 sec)
% [108/221] bigint:rational_1 ....................... passed (0.000 sec)
% [109/221] bigint:rational_2 ....................... passed (0.000 sec)
% [110/221] bigint:rational_3 ....................... passed (0.000 sec)
% [111/221] bigint:rational_4 ....................... passed (0.000 sec)
% [112/221] bigint:rationalize_1 .................... passed (0.000 sec)
% [113/221] bigint:rationalize_2 .................... passed (0.000 sec)
% [114/221] bigint:number_1 ......................... passed (0.000 sec)
% [115/221] bigint:float_1 .......................... passed (0.000 sec)
% [116/221] bigint:cmp_1 ............................ passed (0.000 sec)
% [117/221] bigint:clause_1 ......................... passed (0.000 sec)
% [118/221] bigint:comp_1 ........................... passed (0.001 sec)
% [119/221] bigint:comp_2 ........................... passed (0.000 sec)
% [120/221] bigint:rec_1 ............................ passed (0.001 sec)
% [121/221] bigint:number_codes_1 ................... passed (0.000 sec)
% [122/221] bigint:atom_number_1 .................... passed (0.000 sec)
% [123/221] bigint:hex_1 ............................ passed (0.000 sec)
% [124/221] bigint:fmtd_1 ........................... passed (0.000 sec)
% [125/221] bigint:fmtd_2 ........................... passed (0.000 sec)
% [126/221] bigint:fmtD_1 ........................... passed (0.000 sec)
% [127/221] bigint:fmtD_2 ........................... passed (0.000 sec)
% [128/221] bigint:fmtf_1 ........................... passed (0.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.097 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.222 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.339 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/88] dict_create:dict_create/3 .................. passed (0.000 sec)
% [2/88] dict_create:dict_create/3 .................. passed (0.000 sec)
% [3/88] dict_create:dict_create/3 .................. passed (0.000 sec)
% [4/88] dict_create:dict_create/3 .................. passed (0.000 sec)
% [5/88] dict_create:dict_create/3 .................. passed (0.000 sec)
% [6/88] dict_create:dict_create/3 .................. passed (0.000 sec)
% [7/88] dict_create:create ......................... passed (0.015 sec)
% [8/88] dict_create:convert ........................ passed (0.000 sec)
% [9/88] dict_bips:is_dict/1 ........................ passed (0.000 sec)
% [10/88] dict_bips:is_dict/1 ....................... passed (0.000 sec)
% [11/88] dict_bips:is_dict/2 ....................... passed (0.000 sec)
% [12/88] dict_bips:is_dict/2 ....................... passed (0.000 sec)
% [13/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [14/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [15/88] dict_bips:dict_pairs_duplicate_key ........ passed (0.000 sec)
% [16/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [17/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [18/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [19/88] dict_bips:get_dict/3 ...................... passed (0.000 sec)
% [20/88] dict_bips:get_dict/3 ...................... passed (0.000 sec)
% [21/88] dict_bips:get_dict/3 ...................... passed (0.000 sec)
% [22/88] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [23/88] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [24/88] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [25/88] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [26/88] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [27/88] dict_bips:put_dict/4 ...................... passed (0.000 sec)
% [28/88] dict_bips:put_dict/4 ...................... passed (0.000 sec)
% [29/88] dict_bips:put_dict/4 ...................... passed (0.000 sec)
% [30/88] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [31/88] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [32/88] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [33/88] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [34/88] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [35/88] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [36/88] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [37/88] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [38/88] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [39/88] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [40/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [41/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [42/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [43/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [44/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [45/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [46/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [47/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [48/88] dict_bips::</2 ............................ passed (0.000 sec)
% [49/88] dict_bips::</2 ............................ passed (0.000 sec)
% [50/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [51/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [52/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [53/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [54/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [55/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [56/88] dict_bips:put ............................. passed (0.000 sec)
% [57/88] dict_bips:put ............................. passed (0.000 sec)
% [58/88] dict_bips:put ............................. passed (0.000 sec)
% [59/88] dict_bips:select .......................... passed (0.000 sec)
% [60/88] dict_bips:select .......................... passed (0.000 sec)
% [61/88] dict_bips:select .......................... passed (0.000 sec)
% [62/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [63/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [64/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [65/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [66/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [67/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [68/88] dict_dot3:field ........................... passed (0.000 sec)
% [69/88] dict_dot3:field ........................... passed (0.000 sec)
% [70/88] dict_dot3:no_field ........................ passed (0.000 sec)
% [71/88] dict_dot3:no_dict ......................... passed (0.000 sec)
% [72/88] dict_overflow:put ......................... passed (0.054 sec)
% [73/88] dict_overflow:select ...................... passed (0.048 sec)
% [74/88] expand_functions:field .................... passed (0.000 sec)
% [75/88] expand_functions:conj ..................... passed (0.000 sec)
% [76/88] expand_functions:meta ..................... passed (0.000 sec)
% [77/88] expand_functions:forall ................... passed (0.000 sec)
% [78/88] expand_functions:findall .................. passed (0.000 sec)
% [79/88] expand_functions:bagof .................... passed (0.000 sec)
% [80/88] expand_functions:head ..................... passed (0.000 sec)
% [81/88] expand_functions:put ...................... passed (0.000 sec)
% [82/88] expand_functions:put2 ..................... passed (0.000 sec)
% [83/88] expand_functions:metaarg .................. passed (0.000 sec)
% [84/88] define_functions:na ....................... passed (0.000 sec)
% [85/88] define_functions:aa ....................... passed (0.000 sec)
% [86/88] define_functions:a2 ....................... passed (0.000 sec)
% [87/88] define_functions:qna ...................... passed (0.000 sec)
% [88/88] define_functions:qa2 ...................... passed (0.000 sec)
.
% [1/1] env:long .................................... passed (0.001 sec)
.
% [1/6] throw:error ................................. passed (0.000 sec)
% [2/6] throw:ground ................................ passed (0.000 sec)
% [3/6] throw:unbound ............................... passed (0.000 sec)
% [4/6] throw:cyclic ................................ passed (0.000 sec)
% [5/6] ex_coroutining:not .......................... passed (0.000 sec)
% [6/6] ex_coroutining:non_unify .................... passed (0.000 sec)
.
% [1/8] expand:cond_dcg ............................. passed (0.000 sec)
% [2/8] expand:make_dcg ............................. passed (0.000 sec)
% [3/8] expand:chained_term_expansion ............... passed (0.000 sec)
% [4/8] expand:meta_arg ............................. passed (0.000 sec)
% [5/8] expand:goal_expansion_local_pred ............ passed (0.000 sec)
% [6/8] expand:expand_once .......................... passed (0.000 sec)
% [7/8] expand:ssu_body ............................. passed (0.000 sec)
% [8/8] expand:ssu_guard ............................ passed (0.000 sec)
.
% [1/9] factorize:simple ............................ passed (0.000 sec)
% [2/9] factorize:simple ............................ passed (0.000 sec)
% [3/9] factorize:cyclic ............................ passed (0.000 sec)
% [4/9] factorize:double ............................ passed (0.000 sec)
% [5/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [6/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [7/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [8/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [9/9] factorize:fumo .............................. passed (0.000 sec)
.
% [1/3] fastrw:serialize ............................ passed (0.001 sec)
% [2/3] fastrw:fastrw ............................... passed (0.002 sec)
% [3/3] fastrw:error ................................ passed (0.000 sec)
.
% [1/19] format:fail ................................ passed (0.000 sec)
% [2/19] format:fail ................................ passed (0.000 sec)
% [3/19] format:no_stream ........................... passed (0.000 sec)
% [4/19] format:atom ................................ passed (0.000 sec)
% [5/19] format:atom ................................ passed (0.000 sec)
% [6/19] format:radix ............................... passed (0.000 sec)
% [7/19] format:radix ............................... passed (0.000 sec)
% [8/19] format:radix ............................... passed (0.000 sec)
% [9/19] format:gmp ................................. passed (0.000 sec)
% [10/19] format:asterisk ........................... passed (0.000 sec)
% [11/19] format:intD_1 ............................. passed (0.000 sec)
% [12/19] format:intD_2 ............................. passed (0.000 sec)
% [13/19] format:intD_3 ............................. passed (0.000 sec)
% [14/19] format:intr_1 ............................. passed (0.000 sec)
% [15/19] format:intR_1 ............................. passed (0.000 sec)
% [16/19] format:large_float_1 ...................... passed (0.000 sec)
% [17/19] format:oncodes_1 .......................... passed (0.000 sec)
% [18/19] format:oncodes_2 .......................... passed (0.000 sec)
% [19/19] format:onstring_1 ......................... passed (0.000 sec)
.
% [1/15] gc_leak:det_freeze_no_space ................ passed (0.001 sec)
% [2/15] gc_leak:early_reset ........................ passed (0.000 sec)
% [3/15] gc_leak:throw_gc ........................... passed (0.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.542 sec)
% [10/15] gc_crash2:cleanup ......................... passed (0.000 sec)
% [11/15] gc_mark:s_list ............................ passed (0.014 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.010 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.008 sec)
% [2/2] call_with_inference_limit:retry ............. passed (0.002 sec)
.
% [1/9] io:set_after_close .......................... passed (0.000 sec)
% [2/9] io:double_close ............................. passed (0.000 sec)
% [3/9] io:current_io_non_existing .................. passed (0.000 sec)
% [4/9] io:current_io_closed ........................ passed (0.000 sec)
% [5/9] io:input_is_not_output ...................... passed (0.000 sec)
% [6/9] io:reuse_alias .............................. passed (0.000 sec)
% [7/9] stream_pair:single .......................... passed (0.000 sec)
% [8/9] stream_pair:single .......................... passed (0.000 sec)
% [9/9] stream_pair:close ........................... passed (0.000 sec)
.
% [1/1] lco:huub .................................... passed (0.000 sec)
.
% [1/8] program_space:fetch ......................... passed (0.000 sec)
% [2/8] program_space:fetch ......................... passed (0.000 sec)
% [3/8] program_space:too_low ....................... passed (0.000 sec)
% [4/8] program_space:retract ....................... passed (0.000 sec)
% [5/8] program_space:abolish ....................... passed (0.000 sec)
% [6/8] program_space:assert ........................ passed (0.000 sec)
% [7/8] program_space:overflow ...................... passed (0.000 sec)
% [8/8] program_space:repeat ........................ passed (0.017 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/15] prolog_flags:type .......................... passed (0.000 sec)
% [2/15] prolog_flags:invalid ....................... passed (0.000 sec)
% [3/15] prolog_flags:preset_bool ................... passed (0.000 sec)
% [4/15] prolog_flags:preset_new_flag ............... passed (0.000 sec)
% [5/15] prolog_flags:preset_to_bool ................ passed (0.000 sec)
% [6/15] prolog_flags:preset_to_float ............... passed (0.000 sec)
% [7/15] prolog_flags:preset_oneof_1 ................ passed (0.000 sec)
% [8/15] prolog_flags:preset_oneof_2 ................ passed (0.000 sec)
% [9/15] prolog_flags:preset_oneof_3 ................ passed (0.000 sec)
% [10/15] prolog_flags:preset_atom_to_int ........... passed (0.000 sec)
% [11/15] prolog_flags:preset_bool_to_term .......... passed (0.000 sec)
% [12/15] thread_prolog_fla..ate_local_in_thread .... passed (0.001 sec)
% [13/15] thread_prolog_fla..set_local_in_thread .... passed (0.000 sec)
% [14/15] thread_prolog_fla..et_global_in_thread .... passed (0.000 sec)
% [15/15] thread_prolog_fla.._global_in_thread_2 .... passed (0.001 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.006 sec)
% [4/6] prolog_listen:erase_clause .................. passed (0.000 sec)
% [5/6] prolog_listen:erase_record .................. passed (0.000 sec)
% [6/6] prolog_listen:update ........................ passed (0.000 sec)
.
% [1/15] qualified_calls:colon ...................... passed (0.000 sec)
% [2/15] qualified_calls:colonc ..................... passed (0.000 sec)
% [3/15] qualified_calls:colonv ..................... passed (0.000 sec)
% [4/15] qualified_calls:coloncv .................... passed (0.000 sec)
% [5/15] qualified_calls:at ......................... passed (0.000 sec)
% [6/15] qualified_calls:vat ........................ passed (0.000 sec)
% [7/15] qualified_calls:atv ........................ passed (0.000 sec)
% [8/15] qualified_calls:atvv ....................... passed (0.000 sec)
% [9/15] qualified_calls:atvvv ...................... passed (0.000 sec)
% [10/15] qualified_calls:atvvv ..................... passed (0.000 sec)
% [11/15] qualified_calls:localv .................... passed (0.000 sec)
% [12/15] qualified_calls:localv .................... passed (0.000 sec)
% [13/15] qualified_calls:local_argvar .............. passed (0.000 sec)
% [14/15] qualified_calls:local_argvar .............. passed (0.000 sec)
% [15/15] qualified_calls:lproc ..................... passed (0.000 sec)
.
% [1/2] quasi_quotations:simple ..................... passed (0.000 sec)
% [2/2] quasi_quotations:error ...................... passed (0.000 sec)
.
% [1/3] random:state ................................ passed (0.002 sec)
% [2-1/3] random:random_subseq ...................... passed (0.000 sec)
% [2-2/3] random:random_subseq ...................... passed (0.000 sec)
% [2-3/3] random:random_subseq ...................... passed (0.000 sec)
% [2-4/3] random:random_subseq ...................... passed (0.000 sec)
% [2-5/3] random:random_subseq ...................... passed (0.000 sec)
% [2-6/3] random:random_subseq ...................... passed (0.000 sec)
% [2-7/3] random:random_subseq ...................... passed (0.000 sec)
% [3-1/3] random:random_numlist ..................... passed (0.000 sec)
% [3-2/3] random:random_numlist ..................... passed (0.000 sec)
% [3-3/3] random:random_numlist ..................... passed (0.000 sec)
% [3-4/3] random:random_numlist ..................... passed (0.000 sec)
% [3-5/3] random:random_numlist ..................... passed (0.000 sec)
% [3-6/3] random:random_numlist ..................... passed (0.000 sec)
% [3-7/3] random:random_numlist ..................... passed (0.000 sec)
.
% [1/28] read_term:singletons ....................... passed (0.000 sec)
% [2/28] read_term:warn_singletons .................. passed (0.000 sec)
% [3/28] read_term:position ......................... passed (0.000 sec)
% [4/28] read_term:valid_position_var ............... passed (0.000 sec)
% [5/28] read_term:valid_position_atom .............. passed (0.000 sec)
% [6/28] read_term:valid_position_number1 ........... passed (0.000 sec)
% [7/28] read_term:valid_position_number2 ........... passed (0.000 sec)
% [8/28] read_term:valid_position_string_string ..... passed (0.000 sec)
% [9/28] read_term:valid_position_string_codes ...... passed (0.000 sec)
% [10/28] read_term:valid_position_string_chars ..... passed (0.000 sec)
% [11/28] read_term:valid_position_string_atom ...... passed (0.000 sec)
% [12/28] read_term:valid_position_nil .............. passed (0.000 sec)
% [13/28] read_term:valid_position_braces ........... passed (0.000 sec)
% [14/28] read_term:valid_position_braces1 .......... passed (0.000 sec)
% [15/28] read_term:valid_position_braces2 .......... passed (0.000 sec)
% [16/28] read_term:valid_position_braces3 .......... passed (0.000 sec)
% [17/28] read_term:valid_position_term1 ............ passed (0.000 sec)
% [18/28] read_term:valid_position_term2 ............ passed (0.000 sec)
% [19/28] read_term:valid_position_term2 ............ passed (0.000 sec)
% [20/28] read_term:valid_position_dict1 ............ passed (0.000 sec)
% [21/28] read_term:valid_position_dict2 ............ passed (0.000 sec)
% [22/28] read_term:valid_position_dict3 ............ passed (0.000 sec)
% [23/28] read_op:modify ............................ passed (0.000 sec)
% [24/28] read_op:minus_block ....................... passed (0.000 sec)
% [25/28] read_op:modify_block ...................... passed (0.000 sec)
% [26/28] read_op:pos_block ......................... passed (0.000 sec)
% [27/28] read_numbers:float_overflow ............... passed (0.000 sec)
% [28/28] read_numbers:float_overflow ............... passed (0.000 sec)
.
% [1/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [2/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [3/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [4/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [5/9] test_read_labeled:label ..................... passed (0.000 sec)
% [6/9] test_read_labeled:label ..................... passed (0.000 sec)
% [7/9] test_read_labeled:label ..................... passed (0.000 sec)
% [8/9] test_read_failure:fail ...................... passed (0.000 sec)
% [9/9] test_read_failure:fail ...................... passed (0.000 sec)
.
% [1/7] resource_error:local ........................ passed (0.001 sec)
% [2/7] resource_error:global ....................... passed (0.002 sec)
% [3/7] resource_error:string ....................... passed (0.048 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.006 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.061 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.002 sec)
% [20/24] dif:17 .................................... passed (0.000 sec)
% [21/24] dif:other_atts ............................ passed (0.000 sec)
% [22/24] dif:issue122 .............................. passed (0.000 sec)
% [23/24] dif:issue109 .............................. passed (0.000 sec)
% [24/24] dif:issue122 .............................. passed (0.000 sec)
. done
Running scripts from debug 
% [1/2] d_break:call ................................ passed (0.000 sec)
% [2/2] d_break:t_break ............................. passed (0.156 sec)
............................. done
Running scripts from library .
% [1/17] foreach:forall ............................. passed (0.000 sec)
% [2/17] foreach:forall ............................. passed (0.000 sec)
% [3/17] foreach:dif1 ............................... passed (0.000 sec)
% [4/17] foreach:dif1 ............................... passed (0.000 sec)
% [5/17] foreach:member ............................. passed (0.000 sec)
% [6/17] foreach:ht ................................. passed (0.001 sec)
% [7/17] aggregate:aggregate_sum .................... passed (0.000 sec)
% [8/17] aggregate:aggregate_count .................. passed (0.000 sec)
% [9/17] aggregate:aggregate_term ................... passed (0.000 sec)
% [10/17] aggregate:aggregate_term_bag .............. passed (0.000 sec)
% [11/17] aggregate:aggregate_term0 ................. passed (0.000 sec)
% [12/17] aggregate:aggregate_age ................... passed (0.000 sec)
% [13/17] aggregate:aggregate_age_disc .............. passed (0.000 sec)
% [14/17] aggregate:max_density ..................... passed (0.000 sec)
% [15/17] aggregate:density_range ................... passed (0.000 sec)
% [16/17] aggregate:aggregate_all ................... passed (0.000 sec)
% [17/17] aggregate:e_vars .......................... passed (0.000 sec)
.
% [1/5] ansi_term:absolute_position_output .......... passed (0.000 sec)
% [2/5] ansi_term:absolute_position_input ........... passed (0.000 sec)
% [3/5] ansi_term:multi_position_output ............. passed (0.000 sec)
% [4/5] ansi_term:single_nonlist_argument ........... passed (0.000 sec)
% [5/5] ansi_term:multi_arguments ................... passed (0.000 sec)
.
% [1/12] foldl:foldl empty, starter is atom ......... passed (0.000 sec)
% [2/12] foldl:foldl empty, starter is unbound ...... passed (0.000 sec)
% [3/12] foldl:foldl const..f arguments, 1 list ..... passed (0.000 sec)
% [4/12] foldl:foldl const.. arguments, 2 lists ..... passed (0.000 sec)
% [5/12] foldl:foldl const.. arguments, 3 lists ..... passed (0.000 sec)
% [6/12] foldl:foldl const.. arguments, 4 lists ..... passed (0.000 sec)
% [7/12] foldl:foldl const..g unbound variables ..... passed (0.000 sec)
% [8/12] foldl:foldl build..lly increasing ints ..... passed (0.000 sec)
% [9/12] foldl:foldl build..g ints, just verify ..... passed (0.000 sec)
% [10/12] foldl:foldl breakoff with failure ......... passed (0.000 sec)
% [11/12] foldl:foldl breakoff with exception ....... passed (0.000 sec)
% [12/12] foldl:foldl on li..an unbound variable .... passed (0.000 sec)
.
% [1/8] arithmetic_function:func .................... passed (0.000 sec)
% [2/8] arithmetic_function:func .................... passed (0.000 sec)
% [3/8] arithmetic_function:func .................... passed (0.000 sec)
% [4/8] arithmetic_function:euler ................... passed (0.000 sec)
% [5/8] arithmetic_function:fail .................... passed (0.000 sec)
% [6/8] arithmetic_function:except .................. passed (0.000 sec)
% [7/8] arithmetic_function:fac ..................... passed (0.000 sec)
% [8/8] arithmetic_function:idiv .................... passed (0.000 sec)
.
% [1/16] assoc:wirth_85 ............................. passed (0.000 sec)
% [2/16] assoc:unbalanced_1 ......................... passed (0.000 sec)
% [3/16] assoc:unbalanced_2 ......................... passed (0.000 sec)
% [4/16] assoc:unbalanced_3 ......................... passed (0.000 sec)
% [5/16] assoc:unordered_1 .......................... passed (0.000 sec)
% [6/16] assoc:unordered_2 .......................... passed (0.000 sec)
% [7/16] assoc:unordered_3 .......................... passed (0.000 sec)
% [8/16] assoc:bad_structure_1 ...................... passed (0.000 sec)
% [9/16] assoc:bad_structure_2 ...................... passed (0.000 sec)
% [10/16] assoc:bad_structure_keys_not_ground ....... passed (0.000 sec)
% [11/16] assoc:del_max_min ......................... passed (0.000 sec)
% [12/16] assoc:wirth_del ........................... passed (0.000 sec)
% [13/16] assoc:random_min .......................... passed (0.001 sec)
% [14/16] assoc:random_max .......................... passed (0.001 sec)
% [15/16] assoc:del_empty ........................... passed (0.000 sec)
% [16/16] assoc:del_no_member ....................... passed (0.000 sec)
.
% [1/8] csv_read_file_row:normal .................... passed (0.009 sec)
% [2/8] csv_read_file_row:emptyline ................. passed (0.001 sec)
% [3/8] csv_read_file_row:quoted .................... passed (0.001 sec)
% [4/8] csv_read_file_row:quoted_ignored ............ passed (0.001 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.001 sec)
% [6/7] evaluable_property:iso ...................... passed (0.000 sec)
% [7/7] evaluable_property:error .................... passed (0.001 sec)
.
% [1/8] hashtable:rfill ............................. passed (0.007 sec)
% [2/8] hashtable:rdel .............................. passed (0.008 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.001 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.001 sec)
% [8/48] argv_options_bool:remaining ................ passed (0.000 sec)
% [9/48] argv_options_bool:position ................. passed (0.000 sec)
% [10/48] argv_options_bool:true .................... passed (0.000 sec)
% [11/48] argv_options_bool:true .................... passed (0.000 sec)
% [12/48] argv_options_bool:true .................... passed (0.000 sec)
% [13/48] argv_options_bool:true .................... passed (0.000 sec)
% [14/48] argv_options_bool:true .................... passed (0.000 sec)
% [15/48] argv_options_bool:true .................... passed (0.000 sec)
% [16/48] argv_options_bool:true .................... passed (0.000 sec)
% [17/48] argv_options_bool:true .................... passed (0.000 sec)
% [18/48] argv_options_bool:false ................... passed (0.000 sec)
% [19/48] argv_options_bool:false ................... passed (0.000 sec)
% [20/48] argv_options_bool:false ................... passed (0.000 sec)
% [21/48] argv_options_bool:false ................... passed (0.000 sec)
% [22/48] argv_options_bool:false ................... passed (0.000 sec)
% [23/48] argv_options_bool:false ................... passed (0.000 sec)
% [24/48] argv_options_typed:int .................... passed (0.000 sec)
% [25/48] argv_options_typed:int .................... passed (0.000 sec)
% [26/48] argv_options_typed:int .................... passed (0.000 sec)
% [27/48] argv_options_typed:int .................... passed (0.000 sec)
% [28/48] argv_options_typed:int .................... passed (0.000 sec)
% [29/48] argv_options_typed:int .................... passed (0.000 sec)
% [30/48] argv_options_typed:percent ................ passed (0.000 sec)
% [31/48] argv_options_typed:percent ................ passed (0.000 sec)
% [32/48] argv_options_typed:float .................. passed (0.000 sec)
% [33/48] argv_options_typed:atom ................... passed (0.000 sec)
% [34/48] argv_options_typed:atom ................... passed (0.000 sec)
% [35/48] argv_options_typed:atom ................... passed (0.000 sec)
% [36/48] argv_options_typed:atom ................... passed (0.000 sec)
% [37/48] argv_options_typed:enum ................... passed (0.000 sec)
% [38/48] argv_options_typed:enum ................... passed (0.000 sec)
% [39/48] argv_options_typed:term ................... passed (0.000 sec)
% [40/48] argv_options_typed:term ................... passed (0.000 sec)
% [41/48] argv_options_typed:pass ................... passed (0.001 sec)
% [42/48] argv_options_typed:pass ................... passed (0.000 sec)
% [43/48] argv_options_typed:pass ................... passed (0.000 sec)
% [44/48] argv_options_typed:pass_short ............. passed (0.000 sec)
% [45/48] argv_options_typed:pass_short ............. passed (0.000 sec)
% [46/48] argv_options_pos:no_opts_after_pos ........ passed (0.000 sec)
% [47/48] argv_options_pos:no_opts_after_pos ........ passed (0.000 sec)
% [48/48] argv_options_pos:no_opts_after_pos ........ passed (0.000 sec)
.
% [1/4] option:merge_empty .......................... passed (0.000 sec)
% [2/4] option:merge_a2 ............................. passed (0.000 sec)
% [3/4] option:merge_a2 ............................. passed (0.000 sec)
% [4/4] option:merge_a2 ............................. passed (0.000 sec)
.
% [1/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [2/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [3/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [4/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [5/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [6/8] is_ordset:is_ordset ......................... passed (0.000 sec)
% [7/8] is_ordset:is_ordset ......................... passed (0.000 sec)
% [8/8] is_ordset:is_ordset ......................... passed (0.000 sec)
.
% [1/23] phrase_from_file:null ...................... passed (0.000 sec)
% [2/23] phrase_from_file:null ...................... passed (0.000 sec)
% [3/23] phrase_from_file:null ...................... passed (0.000 sec)
% [4/23] phrase_from_file:null ...................... passed (0.000 sec)
% [5/23] phrase_from_file:null ...................... passed (0.000 sec)
% [6/23] phrase_from_file:null ...................... passed (0.000 sec)
% [7/23] phrase_from_file:aba ....................... passed (0.000 sec)
% [8/23] phrase_from_file:aba ....................... passed (0.000 sec)
% [9/23] phrase_from_file:aba ....................... passed (0.000 sec)
% [10/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [11/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [12/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [13/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [14/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [15/23] phrase_from_file:abc_nodebug .............. passed (0.000 sec)
% [16/23] phrase_from_file:abc_debug ................ passed (0.000 sec)
% [17/23] read_pending_input:ascii .................. passed (0.003 sec)
% [18/23] read_pending_input:octet .................. passed (0.003 sec)
% [19/23] read_pending_input:iso_latin_1 ............ passed (0.003 sec)
% [20/23] read_pending_input:utf8 ................... passed (0.004 sec)
% [21/23] read_pending_input:utf16be ................ passed (0.003 sec)
% [22/23] read_pending_input:utf16le ................ passed (0.003 sec)
% [23/23] read_pending_input:wchar_t ................ passed (0.003 sec)
.
% [1/7] prolog_clause:t0 ............................ passed (0.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.078 sec)
.
% [1/145] rbtrees:keys .............................. passed (0.000 sec)
% [2/145] rbtrees:clone3 ............................ passed (0.000 sec)
% [3/145] rbtrees:pos ............................... passed (0.009 sec)
% [4/145] rbtrees:neg ............................... passed (0.012 sec)
% [5/145] rbtrees:empty1 ............................ passed (0.000 sec)
% [6/145] rbtrees:empty2 ............................ passed (0.000 sec)
% [7/145] rbtrees:lookup1 ........................... passed (0.000 sec)
% [8/145] rbtrees:lookup2 ........................... passed (0.000 sec)
% [9/145] rbtrees:update1 ........................... passed (0.000 sec)
% [10/145] rbtrees:update2 .......................... passed (0.000 sec)
% [11/145] rbtrees:update3 .......................... passed (0.000 sec)
% [12/145] rbtrees:apply1 ........................... passed (0.000 sec)
% [13/145] rbtrees:apply2 ........................... passed (0.000 sec)
% [14/145] rbtrees:insert1 .......................... passed (0.000 sec)
% [15/145] rbtrees:insert2 .......................... passed (0.000 sec)
% [16/145] rbtrees:insert3 .......................... passed (0.000 sec)
% [17/145] rbtrees:delete1 .......................... passed (0.000 sec)
% [18/145] rbtrees:delete2 .......................... passed (0.000 sec)
% [19/145] rbtrees:delete3 .......................... passed (0.000 sec)
% [20/145] rbtrees:sequence ......................... passed (0.000 sec)
% [21/145] rbtrees:keys1 ............................ passed (0.000 sec)
% [22/145] rbtrees:keys2 ............................ passed (0.000 sec)
% [23/145] rbtrees:map1 ............................. passed (0.000 sec)
% [24/145] rbtrees:map1a ............................ passed (0.000 sec)
% [25/145] rbtrees:map2 ............................. passed (0.000 sec)
% [26/145] rbtrees:map3 ............................. passed (0.000 sec)
% [27/145] rbtrees:map3b ............................ passed (0.000 sec)
% [28/145] rbtrees:map4 ............................. passed (0.000 sec)
% [29/145] rbtrees:map5 ............................. passed (0.000 sec)
% [30/145] rbtrees:fold ............................. passed (0.000 sec)
% [31/145] rbtrees:clone ............................ passed (0.000 sec)
% [32/145] rbtrees:size_min_max ..................... passed (0.000 sec)
% [33/145] rbtrees:del_min1 ......................... passed (0.000 sec)
% [34/145] rbtrees:del_min2 ......................... passed (0.000 sec)
% [35/145] rbtrees:del_min3 ......................... passed (0.000 sec)
% [36/145] rbtrees:del_max1 ......................... passed (0.000 sec)
% [37/145] rbtrees:del_max2 ......................... passed (0.000 sec)
% [38/145] rbtrees:del_max3 ......................... passed (0.000 sec)
% [39/145] rbtrees:rb_min1 .......................... passed (0.000 sec)
% [40/145] rbtrees:rb_max1 .......................... passed (0.000 sec)
% [41/145] rbtrees:next1 ............................ passed (0.000 sec)
% [42/145] rbtrees:next2 ............................ passed (0.000 sec)
% [43/145] rbtrees:previous1 ........................ passed (0.000 sec)
% [44/145] rbtrees:previous2 ........................ passed (0.000 sec)
% [45/145] rbtrees:in1 .............................. passed (0.000 sec)
% [46/145] rbtrees:in2 .............................. passed (0.000 sec)
% [47/145] rbtrees:in3 .............................. passed (0.000 sec)
% [48/145] rbtrees:in4 .............................. passed (0.000 sec)
% [49/145] rbtrees:in5a ............................. passed (0.000 sec)
% [50/145] rbtrees:in5b ............................. passed (0.000 sec)
% [51/145] rbtrees:steadfast_rb_visit ............... passed (0.000 sec)
% [52/145] rbtrees:steadfast_empty_1a ............... passed (0.000 sec)
% [53/145] rbtrees:steadfast_empty_1b ............... passed (0.000 sec)
% [54/145] rbtrees:steadfast_new_1a ................. passed (0.000 sec)
% [55/145] rbtrees:steadfast_new_1b ................. passed (0.000 sec)
% [56/145] rbtrees:steadfast_lookup_3 ............... passed (0.000 sec)
% [57/145] rbtrees:steadfast_update_4a .............. passed (0.000 sec)
% [58/145] rbtrees:steadfast_update_5a .............. passed (0.000 sec)
% [59/145] rbtrees:steadfast_apply_4 ................ passed (0.000 sec)
% [60/145] rbtrees:steadfast_insert_4 ............... passed (0.000 sec)
% [61/145] rbtrees:steadfast_insert_new_4 ........... passed (0.000 sec)
% [62/145] rbtrees:steadfast_delete_3 ............... passed (0.000 sec)
% [63/145] rbtrees:steadfast_delete_4 ............... passed (0.000 sec)
% [64/145] rbtrees:steadfast_keys_2 ................. passed (0.000 sec)
% [65/145] rbtrees:steadfast_map_3 .................. passed (0.000 sec)
% [66/145] rbtrees:steadfast_min .................... passed (0.000 sec)
% [67/145] rbtrees:steadfast_max .................... passed (0.000 sec)
% [68/145] rbtrees:steadfast_next ................... passed (0.000 sec)
% [69/145] rbtrees:steadfast_previous ............... passed (0.000 sec)
% [70/145] rbtrees:steadfast_list_to_rbtree ......... passed (0.000 sec)
% [71/145] rbtrees:steadfast_size ................... passed (0.000 sec)
% [72/145] rbtrees:steadfast_in ..................... passed (0.000 sec)
% [73/145] rbtrees:instantiation_visit_2 ............ passed (0.000 sec)
% [74/145] rbtrees:instantiation_lookup_3a .......... passed (0.000 sec)
% [75/145] rbtrees:instantiation_lookup_3b .......... passed (0.000 sec)
% [76/145] rbtrees:instantiation_lookup_3c .......... passed (0.000 sec)
% [77/145] rbtrees:instantiation_lookup_3d .......... passed (0.000 sec)
% [78/145] rbtrees:instantiation_update_4a .......... passed (0.000 sec)
% [79/145] rbtrees:instantiation_update_4b .......... passed (0.000 sec)
% [80/145] rbtrees:instantiation_update_4c .......... passed (0.000 sec)
% [81/145] rbtrees:instantiation_update_5a .......... passed (0.000 sec)
% [82/145] rbtrees:instantiation_update_5b .......... passed (0.000 sec)
% [83/145] rbtrees:instantiation_update_5c .......... passed (0.000 sec)
% [84/145] rbtrees:instantiation_update_5d .......... passed (0.000 sec)
% [85/145] rbtrees:instantiation_apply_4a ........... passed (0.000 sec)
% [86/145] rbtrees:instantiation_apply_4b ........... passed (0.000 sec)
% [87/145] rbtrees:instantiation_apply_4c ........... passed (0.000 sec)
% [88/145] rbtrees:instantiation_insert_4a .......... passed (0.000 sec)
% [89/145] rbtrees:instantiation_insert_4b .......... passed (0.000 sec)
% [90/145] rbtrees:instantiation_insert_new_4a ...... passed (0.000 sec)
% [91/145] rbtrees:instantiation_insert_new_4a ...... passed (0.000 sec)
% [92/145] rbtrees:instantiation_delete_3a .......... passed (0.000 sec)
% [93/145] rbtrees:instantiation_delete_3b .......... passed (0.000 sec)
% [94/145] rbtrees:instantiation_delete_3c .......... passed (0.000 sec)
% [95/145] rbtrees:instantiation_delete_4a .......... passed (0.000 sec)
% [96/145] rbtrees:instantiation_delete_4b .......... passed (0.000 sec)
% [97/145] rbtrees:instantiation_keys_2 ............. passed (0.000 sec)
% [98/145] rbtrees:instantiation_map_2a ............. passed (0.000 sec)
% [99/145] rbtrees:instantiation_map_2b ............. passed (0.000 sec)
% [100/145] rbtrees:instantiation_map_2c ............ passed (0.000 sec)
% [101/145] rbtrees:instantiation_map_3a ............ passed (0.000 sec)
% [102/145] rbtrees:instantiation_map_3b ............ passed (0.000 sec)
% [103/145] rbtrees:instantiation_map_3c ............ passed (0.000 sec)
% [104/145] rbtrees:instantiation_partial_map_4 ..... passed (0.000 sec)
% [105/145] rbtrees:instantiation_fold_4 ............ passed (0.000 sec)
% [106/145] rbtrees:instantiation_clone_3 ........... passed (0.000 sec)
% [107/145] rbtrees:instantiation_min_3 ............. passed (0.000 sec)
% [108/145] rbtrees:instantiation_max_3 ............. passed (0.000 sec)
% [109/145] rbtrees:instantiation_del_min_4 ......... passed (0.000 sec)
% [110/145] rbtrees:instantiation_del_max_4 ......... passed (0.000 sec)
% [111/145] rbtrees:instantiation_min_3 ............. passed (0.000 sec)
% [112/145] rbtrees:instantiation_next_4 ............ passed (0.000 sec)
% [113/145] rbtrees:instantiation_previous_4 ........ passed (0.000 sec)
% [114/145] rbtrees:instantiation_list_to_rbtree_2 .. passed (0.000 sec)
% [115/145] rbtrees:instantia..rd_list_to_rbtree_2 .. passed (0.000 sec)
% [116/145] rbtrees:instantiation_is_rbtree_1 ....... passed (0.000 sec)
% [117/145] rbtrees:not_tree_visit_2 ................ passed (0.000 sec)
% [118/145] rbtrees:not_tree_lookup_3 ............... passed (0.000 sec)
% [119/145] rbtrees:not_tree_update_4 ............... passed (0.000 sec)
% [120/145] rbtrees:not_tree_update_5 ............... passed (0.000 sec)
% [121/145] rbtrees:not_tree_apply_4 ................ passed (0.000 sec)
% [122/145] rbtrees:not_tree_insert_4 ............... passed (0.000 sec)
% [123/145] rbtrees:not_tree_insert_new_4 ........... passed (0.000 sec)
% [124/145] rbtrees:not_tree_delete_3 ............... passed (0.000 sec)
% [125/145] rbtrees:not_tree_delete_4 ............... passed (0.000 sec)
% [126/145] rbtrees:not_tree_keys_2 ................. passed (0.000 sec)
% [127/145] rbtrees:not_tree_map_2 .................. passed (0.000 sec)
% [128/145] rbtrees:not_tree_map_3 .................. passed (0.000 sec)
% [129/145] rbtrees:not_tree_partial_map_4 .......... passed (0.000 sec)
% [130/145] rbtrees:not_tree_fold_4 ................. passed (0.000 sec)
% [131/145] rbtrees:not_tree_clone_3 ................ passed (0.000 sec)
% [132/145] rbtrees:not_tree_min_3 .................. passed (0.000 sec)
% [133/145] rbtrees:not_tree_max_3 .................. passed (0.000 sec)
% [134/145] rbtrees:not_tree_del_min_4 .............. passed (0.000 sec)
% [135/145] rbtrees:not_tree_del_max_4 .............. passed (0.000 sec)
% [136/145] rbtrees:not_tree_min_3 .................. passed (0.000 sec)
% [137/145] rbtrees:not_tree_next_4 ................. passed (0.000 sec)
% [138/145] rbtrees:not_tree_previous_4 ............. passed (0.000 sec)
% [139/145] rbtrees:not_tree_is_rbtree_1 ............ passed (0.000 sec)
% [140/145] rbtrees:is_rbtree_1a .................... passed (0.000 sec)
% [141/145] rbtrees:is_rbtree_1b .................... passed (0.000 sec)
% [142/145] rbtrees:is_rbtree_1c .................... passed (0.000 sec)
% [143/145] rbtrees:is_rbtree_1c .................... passed (0.000 sec)
% [144/145] rbtrees:instantiation_size_2 ............ passed (0.000 sec)
% [145/145] rbtrees:instantiation_in_3 .............. passed (0.000 sec)
.
% [1/18] record:record_type ......................... passed (0.000 sec)
% [2/18] record:record_type ......................... passed (0.000 sec)
% [3/18] record:record_type ......................... passed (0.000 sec)
% [4/18] record:list_type ........................... passed (0.000 sec)
% [5/18] record:list_type ........................... passed (0.000 sec)
% [6/18] record:record_no_type ...................... passed (0.000 sec)
% [7/18] record:point ............................... passed (0.000 sec)
% [8/18] record:point ............................... passed (0.000 sec)
% [9/18] record:point ............................... passed (0.000 sec)
% [10/18] record:point .............................. passed (0.000 sec)
% [11/18] record:point .............................. passed (0.000 sec)
% [12/18] record:point .............................. passed (0.000 sec)
% [13/18] record:point .............................. passed (0.000 sec)
% [14/18] record:point .............................. passed (0.000 sec)
% [15/18] record:point .............................. passed (0.000 sec)
% [16/18] record:point .............................. passed (0.000 sec)
% [17/18] record:point .............................. passed (0.000 sec)
% [18/18] record:point .............................. passed (0.000 sec)
.
% [1/5] settings:get ................................ passed (0.000 sec)
% [2/5] settings:ch_default ......................... passed (0.000 sec)
% [3/5] settings:save_default ....................... passed (0.001 sec)
% [4/5] settings:restore_default .................... passed (0.000 sec)
% [5/5] settings:arith .............................. passed (0.000 sec)
.
% [1/7] test_solution_sequences:distinct ............ passed (0.000 sec)
% [2/7] test_solution_sequences:limit ............... passed (0.000 sec)
% [3/7] test_solution_sequences:offset .............. passed (0.000 sec)
% [4/7] test_solution_sequences:a ................... passed (0.000 sec)
% [5/7] test_solution_sequences:d ................... passed (0.000 sec)
% [6/7] test_solution_sequences:ad .................. passed (0.000 sec)
% [7/7] test_solution_sequences:group_by ............ passed (0.000 sec)
.
% [1/10] source_info:hu1/1 .......................... passed (0.003 sec)
% [2/10] source_info:hu2/1 .......................... passed (0.000 sec)
% [3/10] source_info:hu3/1 .......................... passed (0.001 sec)
% [4/10] source_info:ssu1/1 ......................... passed (0.001 sec)
% [5/10] source_info:nsu1/1 ......................... passed (0.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.001 sec)
.
% [1/56] strings:plain .............................. passed (0.000 sec)
% [2/56] strings:interpolate ........................ passed (0.000 sec)
% [3/56] strings:interpolate ........................ passed (0.001 sec)
% [4/56] strings:interpolate ........................ passed (0.000 sec)
% [5/56] strings:dedent ............................. passed (0.000 sec)
% [6/56] strings:dedent ............................. passed (0.000 sec)
% [7/56] strings:dedent ............................. passed (0.000 sec)
% [8/56] strings:splitlines ......................... passed (0.001 sec)
% [9/56] strings:splitlines ......................... passed (0.000 sec)
% [10/56] strings:splitlines ........................ passed (0.000 sec)
% [11/56] strings:splitlines ........................ passed (0.000 sec)
% [12/56] strings:string_lines ...................... passed (0.000 sec)
% [13/56] strings:string_lines ...................... passed (0.000 sec)
% [14/56] strings:string_lines ...................... passed (0.000 sec)
% [15/56] strings:string_lines ...................... passed (0.000 sec)
% [16/56] strings:string_lines ...................... passed (0.000 sec)
% [17/56] strings:string_lines ...................... passed (0.000 sec)
% [18/56] strings:string_lines ...................... passed (0.000 sec)
% [19/56] strings:string_lines ...................... passed (0.000 sec)
% [20/56] strings:string_lines ...................... passed (0.000 sec)
% [21/56] strings:string_lines ...................... passed (0.000 sec)
% [22/56] strings:string_lines ...................... passed (0.000 sec)
% [23/56] strings:string_lines ...................... passed (0.000 sec)
% [24/56] strings:string_lines ...................... passed (0.000 sec)
% [25/56] strings:string_lines ...................... passed (0.000 sec)
% [26/56] strings:string_lines ...................... passed (0.000 sec)
% [27/56] strings:string_lines ...................... passed (0.000 sec)
% [28/56] strings:string_lines ...................... passed (0.000 sec)
% [29/56] strings:string_lines ...................... passed (0.000 sec)
% [30/56] strings:string_lines ...................... passed (0.000 sec)
% [31/56] strings:dedent_nomargin ................... passed (0.000 sec)
% [32/56] strings:dedent_nomargin ................... passed (0.000 sec)
% [33/56] strings:dedent_nomargin ................... passed (0.000 sec)
% [34/56] strings:dedent_nomargin ................... passed (0.000 sec)
% [35/56] strings:dedent_even ....................... passed (0.000 sec)
% [36/56] strings:dedent_even ....................... passed (0.000 sec)
% [37/56] strings:dedent_even ....................... passed (0.000 sec)
% [38/56] strings:dedent_uneven ..................... passed (0.000 sec)
% [39/56] strings:dedent_uneven ..................... passed (0.000 sec)
% [40/56] strings:dedent_uneven ..................... passed (0.000 sec)
% [41/56] strings:dedent_declining .................. passed (0.000 sec)
% [42/56] strings:dedent_declining .................. passed (0.000 sec)
% [43/56] strings:dedent_declining .................. passed (0.000 sec)
% [44/56] strings:dedent_preserve_internal_tabs ..... passed (0.000 sec)
% [45/56] strings:dedent_preserve_margin_tabs ....... passed (0.000 sec)
% [46/56] strings:dedent_preserve_margin_tabs ....... passed (0.000 sec)
% [47/56] strings:dedent_preserve_margin_tabs ....... passed (0.000 sec)
% [48/56] strings:indent_nomargin_default ........... passed (0.000 sec)
% [49/56] strings:indent_nomargin_all_lines ......... passed (0.000 sec)
% [50/56] strings:indent_no_lines ................... passed (0.000 sec)
% [51/56] strings:roundtrip_spaces .................. passed (0.000 sec)
% [52/56] strings:roundtrip_tabs .................... passed (0.000 sec)
% [53/56] strings:roundtrip_mixed ................... passed (0.000 sec)
% [54/56] strings:indent_default .................... passed (0.000 sec)
% [55/56] strings:indent_all_lines .................. passed (0.000 sec)
% [56/56] strings:indent_empty_lines ................ passed (0.000 sec)
.
% [1/10] thread:true ................................ passed (0.001 sec)
% [2/10] thread:unify ............................... passed (0.001 sec)
% [3/10] thread:unify ............................... passed (0.001 sec)
% [4/10] thread:fail ................................ passed (0.001 sec)
% [5/10] thread:error ............................... passed (0.001 sec)
% [6/10] thread:concur .............................. passed (0.013 sec)
% [7/10] thread:first ............................... passed (0.001 sec)
% [8/10] thread:first ............................... passed (0.000 sec)
% [9/10] thread:first ............................... passed (0.005 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.003 sec)
% [3/4] thread_pool:free ............................ passed (0.000 sec)
% [4/4] thread_pool:loop ............................ passed (0.243 sec)
.
% [1/2] tmp_module:nqueens .......................... passed (0.048 sec)
% [2/2] tmp_module:current_op ....................... passed (1.570 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.001 sec)
. done
Running scripts from charset . done
Running scripts from eclipse 
% Running ECLiPSe tests from file d:/temp/2026_03_11_20_10_17_13275/rtmpktvspf/rlibs_aed450f55f49/rswipl/swipl/test/eclipse/format.tst
.................................................................................................................................................................................................
% Finished tests from file d:/temp/2026_03_11_20_10_17_13275/rtmpktvspf/rlibs_aed450f55f49/rswipl/swipl/test/eclipse/format.tst
% 193 tests found.
% 193 tests succeeded.
% Running ECLiPSe tests from file d:/temp/2026_03_11_20_10_17_13275/rtmpktvspf/rlibs_aed450f55f49/rswipl/swipl/test/eclipse/format_strings.tst
...
% Finished tests from file d:/temp/2026_03_11_20_10_17_13275/rtmpktvspf/rlibs_aed450f55f49/rswipl/swipl/test/eclipse/format_strings.tst
% 3 tests found.
% 3 tests succeeded.
% Running ECLiPSe tests from file d:/temp/2026_03_11_20_10_17_13275/rtmpktvspf/rlibs_aed450f55f49/rswipl/swipl/test/eclipse/string_tests.tst
........................................................................................................................................................................
% Finished tests from file d:/temp/2026_03_11_20_10_17_13275/rtmpktvspf/rlibs_aed450f55f49/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.008 sec)
% [2/6] file_names:2 ................................ passed (0.006 sec)
% [3/6] file_names:3 ................................ passed (0.030 sec)
% [4/6] file_names:5 ................................ passed (0.038 sec)
% [5/6] file_names:4 ................................ passed (0.021 sec)
% [6/6] file_names:6 ................................ passed (0.036 sec)
.
% [1/17] files:tmp_cleanup .......................... passed (0.019 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.010 sec)
% [5/17] files:max_path_len ......................... passed (0.010 sec)
% [6/17] files:max_path_len ......................... passed (0.011 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.002 sec)
% [33/33] glob_expand:cyrillic ...................... passed (0.002 sec)
.
% [1/3] pipe:pwd .................................... passed (0.058 sec)
% [2/3] pipe:cat1 ................................... passed (0.122 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.348 sec)
..
% [1/2] ch_shift:local_st.._expansion_many_chp ...... passed (0.095 sec)
% [2/2] ch_shift:local_st..pansion_pending_chp ...... passed (0.002 sec)
..
% [1/12] cleanup_shift:gtrue ........................ passed (0.002 sec)
% [2/12] cleanup_shift:ltrue ........................ passed (0.000 sec)
% [3/12] cleanup_shift:ttrue ........................ passed (0.004 sec)
% [4/12] cleanup_shift:gfalse ....................... passed (0.003 sec)
% [5/12] cleanup_shift:lfalse ....................... passed (0.001 sec)
% [6/12] cleanup_shift:tfalse ....................... passed (0.005 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.002 sec)
..
% [1/1] gc_alt_clause:alt_rat ....................... passed (0.000 sec)
.......... done
Running scripts from thread ......
% [1/8] queue_gc:exists ............................. passed (0.000 sec)
% [2/8] queue_gc:exists ............................. passed (0.000 sec)
% [3/8] queue_gc:exists ............................. passed (0.000 sec)
% [4/8] queue_gc:alias .............................. passed (0.000 sec)
% [5/8] queue_gc:new ................................ passed (0.000 sec)
% [6/8] queue_gc:destroy ............................ passed (0.002 sec)
% [7/8] queue_gc:gc ................................. passed (0.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.009 sec)
% [2/4] queue_timeout:abs ........................... passed (0.015 sec)
% [3/4] queue_timeout:abs_rel1 ...................... passed (0.014 sec)
% [4/4] queue_timeout:abs_rel2 ...................... passed (0.015 sec)
....
% [1/1] test_dynamic:retractall ..................... passed (0.005 sec)
............
% [1/5] concurrent_and:basic ........................ passed (0.006 sec)
% [2/5] concurrent_and:select ....................... passed (0.013 sec)
% [3/5] concurrent_and:cut .......................... passed (0.008 sec)
% [4/5] concurrent_and:error ........................ passed (0.007 sec)
% [5/5] concurrent_and:gen_error .................... passed (0.006 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.519 sec)
% [5/5] rwlocks:invalid_mode ........................ passed (0.002 sec)
...
% [1/1] thread_exit:clean_exit ...................... passed (0.648 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.001 sec)
% [10/24] thread_property:status_fail ............... passed (0.000 sec)
% [11/24] thread_property:status_exception .......... passed (0.014 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.025 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.061 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.003 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.000 sec)
% [17/23] thread_transaction:discard ................ passed (0.000 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.001 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.000 sec)
. done
Running scripts from save 
% [1/7] qlf:unicode ................................. passed (0.004 sec)
% [2/7] qlf:h_integer ............................... passed (0.005 sec)
% [3/7] qlf:b_integer ............................... passed (0.008 sec)
% [4/7] qlf:expr .................................... passed (0.006 sec)
% [5/7] qlf:cmp ..................................... passed (0.006 sec)
% [6/7] qlf:add_fc .................................. passed (0.007 sec)
% [7/7] qlf:rat ..................................... passed (0.005 sec)
.
% [1/3] saved_state:true ............................ passed (1.529 sec)
% [2/3] saved_state:argv ............................ passed (1.532 sec)
% [3/3] saved_state:true ............................ passed (1.500 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.004 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.113 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.000 sec)
% [10/10] monotonic_tabling_3:incr_propagate ........ passed (0.000 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.033 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.002 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.003 sec)
.
% [1/35] tabling_ex1:ex1 ............................ passed (0.000 sec)
% [2/35] tabling_ex2:ex2 ............................ passed (0.000 sec)
% [3/35] tabling_ex3:ex3 ............................ passed (0.000 sec)
% [4/35] tabling_ex4:ex4 ............................ passed (0.000 sec)
% [5/35] tabling_ex5:ex5 ............................ passed (0.000 sec)
% [6/35] tabling_ex6:ex6 ............................ passed (0.000 sec)
% [7/35] tabling_ex7:ex7 ............................ passed (0.000 sec)
% [8/35] tabling_ex8:ex8 ............................ passed (0.000 sec)
% [9/35] tabling_ex9a:ex9a .......................... passed (0.000 sec)
% [10/35] tabling_ex9b:ex9b ......................... passed (0.000 sec)
% [11/35] tabling_ex9c:ex9c ......................... passed (0.000 sec)
% [12/35] tabling_ex9d:ex9d ......................... passed (0.000 sec)
% [13/35] tabling_ex9e:ex9d ......................... passed (0.000 sec)
% [14/35] tabling_ex10:ex10 ......................... passed (0.000 sec)
% [15/35] tabling_ex11:ex11 ......................... passed (0.000 sec)
% [16/35] tabling_ex12:ex12 ......................... passed (0.000 sec)
% [17/35] tabling_ex13:ex12 ......................... passed (0.000 sec)
% [18/35] tabling_ex14:ex14 ......................... passed (0.000 sec)
% [19/35] tabling_ex15:ex15 ......................... passed (0.000 sec)
% [20/35] tabling_ex16:ex16 ......................... passed (0.000 sec)
% [21/35] tabling_ex17:ex17 ......................... passed (0.000 sec)
% [22/35] tabling_clpfd:fib_error ................... passed (0.003 sec)
% [23/35] tabling_eruption:tabling_eruption ......... passed (0.000 sec)
% [24/35] tabling_eruption2:tabling_eruption ........ passed (0.000 sec)
% [25/35] tabling_sneezing:tabling_sneezing ......... passed (0.000 sec)
% [26/35] tabling_yappath:yappath ................... passed (0.000 sec)
% [27/35] tabling_minpath:tabling_minpath ........... passed (0.000 sec)
% [28/35] tabling_maxpath:tabling_maxpath ........... passed (0.000 sec)
% [29/35] tabling_train:tabling_train ............... passed (0.000 sec)
% [30/35] moded_tabling_path:path ................... passed (0.000 sec)
% [31/35] mode_components1:component ................ passed (0.000 sec)
% [32/35] mode_components2:component ................ passed (0.000 sec)
% [33/35] pathss:kurt ............................... passed (0.001 sec)
% [34/35] bas:bas ................................... passed (0.030 sec)
% [35/35] push_ret:push_ret ......................... passed (0.054 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.001 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.011 sec)
% [12/23] trie:insert_gsize ......................... passed (0.000 sec)
% [13/23] trie:insert_cycle ......................... passed (0.000 sec)
% [14/23] trie:delete ............................... passed (0.000 sec)
% [15/23] trie:gen_indirect ......................... passed (0.000 sec)
% [16/23] trie:var1 ................................. passed (0.000 sec)
% [17/23] trie:var2 ................................. passed (0.000 sec)
% [18/23] trie:var3 ................................. passed (0.000 sec)
% [19/23] trie:issue_1277 ........................... passed (0.000 sec)
% [20/23] trie:gen_compiled2_free ................... passed (0.000 sec)
% [21/23] trie:gen_compiled2_instantiated ........... passed (0.000 sec)
% [22/23] trie:gen_compiled3_free ................... passed (0.000 sec)
% [23/23] trie:gen_compiled3_cycle .................. passed (0.000 sec)
.
% [1/24] trie_attvars:simple ........................ passed (0.000 sec)
% [2/24] trie_attvars:simple_compiled ............... passed (0.000 sec)
% [3/24] trie_attvars:plain ......................... passed (0.000 sec)
% [4/24] trie_attvars:plain_compiled ................ passed (0.000 sec)
% [5/24] trie_attvars:nesting ....................... passed (0.000 sec)
% [6/24] trie_attvars:nesting_compiled .............. passed (0.000 sec)
% [7/24] trie_attvars:nesting2 ...................... passed (0.000 sec)
% [8/24] trie_attvars:nesting2_compiled ............. passed (0.000 sec)
% [9/24] trie_attvars:shared ........................ passed (0.000 sec)
% [10/24] trie_attvars:shared_compiled .............. passed (0.000 sec)
% [11/24] trie_attvars:unify_true ................... passed (0.000 sec)
% [12/24] trie_attvars:unify_true_compiled .......... passed (0.000 sec)
% [13/24] trie_attvars:unify_fail_1 ................. passed (0.000 sec)
% [14/24] trie_attvars:unify_fail_1_compiled ........ passed (0.000 sec)
% [15/24] trie_attvars:unify_fail_2 ................. passed (0.000 sec)
% [16/24] trie_attvars:unify_fail_2_compiled ........ passed (0.000 sec)
% [17/24] trie_attvars:unify_shared ................. passed (0.000 sec)
% [18/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec)
% [19/24] trie_attvars:unify_shared ................. passed (0.000 sec)
% [20/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec)
% [21/24] trie_attvars:unify_shared ................. passed (0.000 sec)
% [22/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec)
% [23/24] trie_attvars:unify_multi .................. passed (0.000 sec)
% [24/24] trie_attvars:unify_multi_compiled ......... passed (0.000 sec)
.
% [1/8] wfs_delays:delays ........................... passed (0.000 sec)
% [2/8] wfs_delays:delays ........................... passed (0.000 sec)
% [3/8] wfs_delays:delays ........................... passed (0.000 sec)
% [4/8] wfs_delays:delays ........................... passed (0.000 sec)
% [5/8] wfs_delays:delays ........................... passed (0.000 sec)
% [6/8] wfs_delays:residual ......................... passed (0.000 sec)
% [7/8] wfs_delays:as ............................... passed (0.000 sec)
% [8/8] wfs_dwin:dwin ............................... passed (0.000 sec)
. done
Running scripts from basic_tests 
% [1/26] xsb_basic_tests:tsstr13 .................... passed (0.019 sec)
% [2/26] xsb_basic_tests:tsstr23 .................... passed (0.007 sec)
% [3/26] xsb_basic_tests:tsstr33 .................... passed (0.009 sec)
% [4/26] xsb_basic_tests:tstr11 ..................... passed (0.006 sec)
% [5/26] xsb_basic_tests:tstr21 ..................... passed (0.007 sec)
% [6/26] xsb_basic_tests:tstr31 ..................... passed (0.008 sec)
% [7/26] xsb_basic_tests:tstr51 ..................... passed (0.009 sec)
% [8/26] xsb_basic_tests:tstr61 ..................... passed (0.011 sec)
% [9/26] xsb_basic_tests:tstr12 ..................... passed (0.009 sec)
% [10/26] xsb_basic_tests:tstr22 .................... passed (0.009 sec)
% [11/26] xsb_basic_tests:tstr32 .................... passed (0.010 sec)
% [12/26] xsb_basic_tests:tstr52 .................... passed (0.012 sec)
% [13/26] xsb_basic_tests:tstr62 .................... passed (0.013 sec)
% [14/26] xsb_basic_tests:tstr13 .................... passed (0.022 sec)
% [15/26] xsb_basic_tests:tstr23 .................... passed (0.024 sec)
% [16/26] xsb_basic_tests:tstr33 .................... passed (0.021 sec)
% [17/26] xsb_basic_tests:tstr53 .................... passed (0.077 sec)
% [18/26] xsb_basic_tests:tstr63 .................... passed (0.069 sec)
% [19/26] xsb_basic_tests:thstr13 ................... passed (0.007 sec)
% [20/26] xsb_basic_tests:thstr43 ................... passed (0.009 sec)
% [21/26] xsb_basic_tests:thstr23 ................... passed (0.010 sec)
% [22/26] xsb_basic_tests:tcyl11 .................... passed (0.077 sec)
% [23/26] xsb_basic_tests:tcyl12 .................... passed (0.049 sec)
% [24/26] xsb_basic_tests:testsg .................... passed (0.081 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.109 sec)
% [2/11] xsb_ai_tests:cs_r .......................... passed (0.079 sec)
% [3/11] xsb_ai_tests:disj .......................... passed (0.059 sec)
% [4/11] xsb_ai_tests:gabriel ....................... passed (0.058 sec)
% [5/11] xsb_ai_tests:kalah ......................... passed (0.086 sec)
% [6/11] xsb_ai_tests:peep .......................... passed (0.105 sec)
% [7/11] xsb_ai_tests:pg ............................ passed (0.034 sec)
% [8/11] xsb_ai_tests:plan .......................... passed (0.030 sec)
% [9/11] xsb_ai_tests:qsort ......................... passed (0.019 sec)
% [10/11] xsb_ai_tests:queens ....................... passed (0.028 sec)
% [11/11] xsb_ai_tests:read ......................... passed (0.085 sec)
. done
Running scripts from ptq 
% [1/25] xsb_ptq:jtaulred ........................... passed (0.006 sec)
% [2/25] xsb_ptq:mbjfauahei ......................... passed (0.075 sec)
% [3/25] xsb_ptq:mbjfauaheilred ..................... passed (0.019 sec)
% [4/25] xsb_ptq:jtau ............................... passed (0.004 sec)
% [5/25] xsb_ptq:jdm ................................ passed (0.005 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.006 sec)
% [11/25] xsb_ptq:awsswr ............................ passed (0.004 sec)
% [12/25] xsb_ptq:jsauamsi .......................... passed (0.016 sec)
% [13/25] xsb_ptq:jdmlred ........................... passed (0.004 sec)
% [14/25] xsb_ptq:jdhlred ........................... passed (0.003 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.023 sec)
% [22/25] xsb_ptq:jwfauaeilred ...................... passed (0.008 sec)
% [23/25] xsb_ptq:jtfauaweilred ..................... passed (0.007 sec)
% [24/25] xsb_ptq:emlawsslhlred ..................... passed (0.005 sec)
% [25/25] xsb_ptq:emlawaslhlred ..................... passed (0.005 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.010 sec)
% [3/24] tabled_basic_negation:neg3 ................. passed (0.009 sec)
% [4/24] tabled_basic_negation:ullman2 .............. passed (0.008 sec)
% [5/24] tabled_lr_stratified_negation:lmod1 ........ passed (0.007 sec)
% [6/24] tabled_lr_stratified_negation:lmod2 ........ passed (0.005 sec)
% [7/24] tabled_lr_stratified_negation:lmod3 ........ passed (0.006 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.006 sec)
% [11/24] tabled_lr_stratified_negation:lmod7 ....... passed (0.008 sec)
% [12/24] tabled_lr_stratified_negation:lmod8 ....... passed (0.007 sec)
% [13/24] tabled_lr_stratified_negation:lmod9 ....... passed (0.007 sec)
% [14/24] tabled_lr_stratified_negation:lmod10 ...... passed (0.008 sec)
% [15/24] tabled_lr_stratified_negation:lmod11 ...... passed (0.010 sec)
% [16/24] tabled_lr_stratified_negation:ullman1 ..... passed (0.008 sec)
% [17/24] tabled_dynakicall..fied_negation:przy2 .... passed (0.008 sec)
% [18/24] tabled_dynakicall..negation:ldynstrat0 .... passed (0.009 sec)
% [19/24] tabled_dynakicall..negation:ldynstrat1 .... passed (0.008 sec)
% [20/24] tabled_dynakicall..negation:ldynstrat2 .... passed (0.008 sec)
% [21/24] tabled_dynakicall..negation:ldynstrat3 .... passed (0.010 sec)
% [22/24] tabled_dynakicall..negation:ldynstrat4 .... passed (0.009 sec)
% [23/24] tabled_stratified_negation:mod1 ........... passed (0.008 sec)
% [24/24] tabled_misc_negation:q7 ................... passed (0.291 sec)
. done
Running scripts from delay_tests 
% [1/87] delay_dynstrat:dynstrat1 ................... passed (0.026 sec)
% [2/87] delay_dynstrat:dynstrat2 ................... passed (0.009 sec)
% [3/87] delay_dynstrat:dynstrat3 ................... passed (0.007 sec)
% [4/87] delay_dynstrat:dynstrat4 ................... passed (0.010 sec)
% [5/87] delay_dynstrat:dynstrat5 ................... passed (0.006 sec)
% [6/87] delay_dynstrat:dynstrat6 ................... passed (0.006 sec)
% [7/87] delay_dynstrat:dynstrat7 ................... passed (0.005 sec)
% [8/87] delay_dynstrat:ross1 ....................... passed (0.005 sec)
% [9/87] delay_dynstrat:sel_unsusp .................. passed (0.005 sec)
% [10/87] delay_dynstrat:dl_dupl .................... passed (0.005 sec)
% [11/87] delay_dynstrat:asl_dupl ................... passed (0.005 sec)
% [12/87] delay_dynstrat:gfp ........................ passed (0.007 sec)
% [13/87] delay_old_failures:fr1 .................... passed (0.008 sec)
% [14/87] delay_old_failures:fr2 .................... passed (0.007 sec)
% [15/87] delay_old_failures:fr3 .................... passed (0.007 sec)
% [16/87] delay_old_failures:fr4 .................... passed (0.007 sec)
% [17/87] delay_old_failures:fr5 .................... passed (0.007 sec)
% [18/87] delay_old_failures:fr6 .................... passed (0.007 sec)
% [19/87] delay_old_failures:fr7 .................... passed (0.007 sec)
% [20/87] delay_old_failures:fr8 .................... passed (0.006 sec)
% [21/87] delay_old_failures:fr9 .................... passed (0.006 sec)
% [22/87] delay_old_failures:fr19 ................... passed (0.005 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.012 sec)
% [26/87] delay_old_failures:fr23 ................... passed (0.011 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.006 sec)
% [30/87] delay_old_failures:fr27 ................... passed (0.006 sec)
% [31/87] delay_old_failures:fr28 ................... passed (0.006 sec)
% [32/87] delay_old_failures:fr29 ................... passed (0.006 sec)
% [33/87] delay_old_failures:fr30 ................... passed (0.005 sec)
% [34/87] delay_old_segv:seg1 ....................... passed (0.006 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.006 sec)
% [38/87] delay_old_segv:seg5 ....................... passed (0.008 sec)
% [39/87] delay_old_segv:fr24 ....................... passed (0.002 sec)
% [40/87] delay_interp:interp0 ...................... passed (0.007 sec)
% [41/87] delay_interp:interp1 ...................... passed (0.007 sec)
% [42/87] delay_interp:interp2 ...................... passed (0.008 sec)
% [43/87] delay_interp:interp4 ...................... passed (0.008 sec)
% [44/87] delay_interp:interp5 ...................... passed (0.009 sec)
% [45/87] delay_interp:interp6 ...................... passed (0.008 sec)
% [46/87] delay_interp:interp7 ...................... passed (0.009 sec)
% [47/87] delay_interp:interp8 ...................... passed (0.008 sec)
% [48/87] delay_interp:interp9 ...................... passed (0.008 sec)
% [49/87] delay_interp:interp10 ..................... passed (0.007 sec)
% [50/87] delay_interp:interp11 ..................... passed (0.007 sec)
% [51/87] delay_non_strat_neg:two_ary ............... passed (0.007 sec)
% [52/87] delay_non_strat_neg:abol_susp1 ............ passed (0.008 sec)
% [53/87] delay_non_strat_neg:abol_susp2 ............ passed (0.006 sec)
% [54/87] delay_non_strat_neg:przy1 ................. passed (0.005 sec)
% [55/87] delay_non_strat_neg:przy1_simp ............ passed (0.005 sec)
% [56/87] delay_non_strat_neg:nonstrat1 ............. passed (0.007 sec)
% [57/87] delay_non_strat_neg:nonstrat2 ............. passed (0.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.008 sec)
% [61/87] delay_wfs_neg:p4 .......................... passed (0.008 sec)
% [62/87] delay_wfs_neg:p5 .......................... passed (0.008 sec)
% [63/87] delay_wfs_neg:simpl_win ................... passed (0.009 sec)
% [64/87] delay_wfs_neg:win ......................... passed (0.008 sec)
% [65/87] delay_wfs_neg:cond_uncond ................. passed (0.009 sec)
% [66/87] delay_wfs_neg:ullman3 ..................... passed (0.008 sec)
% [67/87] delay_wfs_neg:undef1 ...................... passed (0.019 sec)
% [68/87] delay_wfs_neg:undef2 ...................... passed (0.009 sec)
% [69/87] delay_pos_simpl:pos_simpl1 ................ passed (0.008 sec)
% [70/87] delay_ac:weidong2 ......................... passed (0.008 sec)
% [71/87] delay_ac:weidong3 ......................... passed (0.007 sec)
% [72/87] delay_ac:weidong4 ......................... passed (0.009 sec)
% [73/87] delay_ac:weidong5 ......................... passed (0.008 sec)
% [74/87] delay_ac:weidong6 ......................... passed (0.006 sec)
% [75/87] delay_ac:weidong7 ......................... passed (0.007 sec)
% [76/87] delay_ac:weidong8 ......................... passed (0.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.007 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.035 sec)
% [83/87] delay_misc:fa ............................. passed (0.111 sec)
% [84/87] delay_misc:delay_var ...................... passed (0.132 sec)
% [85/87] delay_misc:tabsimp_seq .................... passed (0.199 sec)
% [86/87] delay_misc:wmay_winbug .................... passed (0.018 sec)
% [87/87] delay_misc:ac_tests ....................... passed (0.069 sec)
. done
Running scripts from wfs_tests 
% [1/72] xsb_wfs:p06 ................................ passed (0.010 sec)
% [2/72] xsb_wfs:p07 ................................ passed (0.010 sec)
% [3/72] xsb_wfs:p08 ................................ passed (0.007 sec)
% [4/72] xsb_wfs:p09 ................................ passed (0.008 sec)
% [5/72] xsb_wfs:p10 ................................ passed (0.007 sec)
% [6/72] xsb_wfs:p11 ................................ passed (0.008 sec)
% [7/72] xsb_wfs:p12 ................................ passed (0.008 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.007 sec)
% [11/72] xsb_wfs:p16 ............................... passed (0.009 sec)
% [12/72] xsb_wfs:p17 ............................... passed (0.017 sec)
% [13/72] xsb_wfs:p18 ............................... passed (0.006 sec)
% [14/72] xsb_wfs:p19 ............................... passed (0.006 sec)
% [15/72] xsb_wfs:p20 ............................... passed (0.006 sec)
% [16/72] xsb_wfs:p21 ............................... passed (0.006 sec)
% [17/72] xsb_wfs:p22 ............................... passed (0.007 sec)
% [18/72] xsb_wfs:p23 ............................... passed (0.008 sec)
% [19/72] xsb_wfs:p24 ............................... passed (0.008 sec)
% [20/72] xsb_wfs:p25 ............................... passed (0.007 sec)
% [21/72] xsb_wfs:p26 ............................... passed (0.009 sec)
% [22/72] xsb_wfs:p27 ............................... passed (0.009 sec)
% [23/72] xsb_wfs:p29 ............................... passed (0.009 sec)
% [24/72] xsb_wfs:p30 ............................... passed (0.009 sec)
% [25/72] xsb_wfs:p31 ............................... passed (0.007 sec)
% [26/72] xsb_wfs:p32 ............................... passed (0.010 sec)
% [27/72] xsb_wfs:p33 ............................... passed (0.008 sec)
% [28/72] xsb_wfs:p34 ............................... passed (0.007 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.006 sec)
% [32/72] xsb_wfs:p39 ............................... passed (0.005 sec)
% [33/72] xsb_wfs:p40 ............................... passed (0.005 sec)
% [34/72] xsb_wfs:p42 ............................... passed (0.008 sec)
% [35/72] xsb_wfs:p43 ............................... passed (0.008 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.007 sec)
% [39/72] xsb_wfs:p47 ............................... passed (0.007 sec)
% [40/72] xsb_wfs:p48 ............................... passed (0.008 sec)
% [41/72] xsb_wfs:p49 ............................... passed (0.005 sec)
% [42/72] xsb_wfs:p50 ............................... passed (0.005 sec)
% [43/72] xsb_wfs:p51 ............................... passed (0.007 sec)
% [44/72] xsb_wfs:p52a .............................. passed (0.010 sec)
% [45/72] xsb_wfs:p52 ............................... passed (0.010 sec)
% [46/72] xsb_wfs:p53 ............................... passed (0.010 sec)
% [47/72] xsb_wfs:p54 ............................... passed (0.017 sec)
% [48/72] xsb_wfs:p55 ............................... passed (0.021 sec)
% [49/72] xsb_wfs:p56 ............................... passed (0.022 sec)
% [50/72] xsb_wfs:p57 ............................... passed (0.024 sec)
% [51/72] xsb_wfs:p58 ............................... passed (0.027 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.009 sec)
% [56/72] xsb_wfs:p64 ............................... passed (0.011 sec)
% [57/72] xsb_wfs:p65 ............................... passed (0.008 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.009 sec)
% [62/72] xsb_wfs:p79 ............................... passed (0.009 sec)
% [63/72] xsb_wfs:p80 ............................... passed (0.007 sec)
% [64/72] xsb_wfs:p81 ............................... passed (0.010 sec)
% [65/72] xsb_wfs:p82 ............................... passed (0.009 sec)
% [66/72] xsb_wfs:p83 ............................... passed (0.009 sec)
% [67/72] xsb_wfs:p84 ............................... passed (0.010 sec)
% [68/72] xsb_wfs:p85 ............................... passed (0.010 sec)
% [69/72] xsb_wfs:p86 ............................... passed (0.007 sec)
% [70/72] xsb_wfs:p89 ............................... passed (0.007 sec)
% [71/72] xsb_wfs:p90 ............................... passed (0.009 sec)
% [72/72] xsb_wfs:p91 ............................... passed (0.007 sec)
. done
Running scripts from table_tests 
% [1/32] xsb_test_tables:abol_test .................. passed (0.018 sec)
% [2/32] xsb_test_tables:abol_test2 ................. passed (0.015 sec)
% [3/32] xsb_test_tables:abol_test2a ................ passed (0.008 sec)
% [4/32] xsb_test_tables:abol_test3 ................. passed (0.009 sec)
% [5/32] xsb_test_tables:abol_test3a ................ passed (0.008 sec)
% [6/32] xsb_test_tables:abol_test3b ................ passed (0.012 sec)
% [7/32] xsb_test_tables:abol_test3c ................ passed (0.013 sec)
% [8/32] xsb_test_tables:abolish_cascade ............ passed (0.020 sec)
% [9/32] xsb_test_tables:abolish_cascade_pred ....... passed (0.016 sec)
% [10/32] xsb_test_tables:abolish_cycle ............. passed (0.023 sec)
% [11/32] xsb_test_tables:abolish_dag ............... passed (0.030 sec)
% [12/32] xsb_test_tables:abolish_neg_cycle ......... passed (0.025 sec)
% [13/32] xsb_test_tables:abolish_neg_dag ........... passed (0.027 sec)
% [14/32] xsb_test_tables:atc_test .................. passed (0.021 sec)
% [15/32] xsb_test_tables:concomp ................... passed (0.142 sec)
% [16/32] xsb_test_tables:expand .................... passed (0.330 sec)
% [17/32] xsb_test_tables:ins ....................... passed (0.084 sec)
% [18/32] xsb_test_tables:large_arity_tables ........ passed (0.036 sec)
% [19/32] xsb_test_tables:lrbug ..................... passed (0.018 sec)
% [20/32] xsb_test_tables:pps ....................... passed (0.009 sec)
% [21/32] xsb_test_tables:pred_abolish_cycle ........ passed (0.030 sec)
% [22/32] xsb_test_tables:pred_abolish_dag .......... passed (0.031 sec)
% [23/32] xsb_test_tables:recursive_aboltest ........ passed (0.013 sec)
% [24/32] xsb_test_tables:tabbug1 ................... passed (0.008 sec)
% [25/32] xsb_test_tables:test_3vwfs_1 .............. passed (0.022 sec)
% [26/32] xsb_test_tables:test_calldepth ............ passed (0.008 sec)
% [27/32] xsb_test_tables:test_cyclic_tabling ....... passed (0.006 sec)
% [28/32] xsb_test_tables:t.._large_tabled_terms .... passed (0.346 sec)
% [29/32] xsb_test_tables:test_maxans_decl .......... passed (0.093 sec)
% [30/32] xsb_test_tables:test_negcycle ............. passed (0.011 sec)
% [31/32] xsb_test_tables:test_tda .................. passed (0.017 sec)
% [32/32] xsb_test_tables:test_tda_i ................ passed (0.020 sec)
. done
Running scripts from incremental_tests 
% [1/15] xsb_test_incremental:incremental ........... passed (0.010 sec)
% [2/15] xsb_test_incremental:incremental1 .......... passed (0.015 sec)
% [3/15] xsb_test_incremental:inc_trie_dyn .......... passed (0.010 sec)
% [4/15] xsb_test_incremental:incremental_rule ...... passed (0.007 sec)
% [5/15] xsb_test_incremen..ncremental_rule_alt ..... passed (0.007 sec)
% [6/15] xsb_test_incremental:test_incr_depends ..... passed (0.018 sec)
% [7/15] xsb_test_incremen..test_incr_depends_2 ..... passed (0.019 sec)
% [8/15] xsb_test_incremental:test_inc_switch ....... passed (0.009 sec)
% [9/15] xsb_test_incremen..:test_sound_updates ..... passed (0.021 sec)
% [10/15] xsb_test_incremental:test_wfs_update ...... passed (0.025 sec)
% [11/15] xsb_test_incremental:incr_test_romero ..... passed (0.009 sec)
% [12/15] xsb_test_incremen..lish_nonincremental .... passed (0.013 sec)
% [13/15] xsb_test_incremental:inc_atc .............. passed (0.011 sec)
% [14/15] xsb_test_incremental:inc_atc_gc ........... passed (0.008 sec)
% [15/15] xsb_test_incremental:inc_atc_gc_tricky .... passed (0.021 sec)
. done
Running scripts from nonmt_tests 
% [1/9] xsb_test_nonmt:test_iso_basic ............... passed (0.053 sec)
% [2/9] xsb_test_nonmt:test_iso_mult_visit .......... passed (0.055 sec)
% [3/9] xsb_test_nonmt:test_iso_hash ................ passed (0.042 sec)
% [4/9] xsb_test_nonmt:test_iso_undef ............... passed (0.032 sec)
% [5/9] xsb_test_nonmt:test_lazy .................... passed (0.016 sec)
% [6/9] xsb_test_nonmt:test_introspection ........... passed (0.033 sec)
% [7/9] xsb_test_nonmt:test_invalidate .............. passed (0.007 sec)
% [8/9] xsb_test_nonmt:cmu_sei_0050 ................. passed (0.007 sec)
% [9/9] xsb_test_nonmt:test_recomputable ............ passed (0.005 sec)
. done
Running scripts from sub_tests 
% [1/36] xsb_sub:lrtc1 .............................. passed (0.011 sec)
% [2/36] xsb_sub:lrtc2 .............................. passed (0.008 sec)
% [3/36] xsb_sub:lrtc3 .............................. passed (0.012 sec)
% [4/36] xsb_sub:lrtc4 .............................. passed (0.014 sec)
% [5/36] xsb_sub:lrtc5 .............................. passed (0.014 sec)
% [6/36] xsb_sub:lrtc6 .............................. passed (0.015 sec)
% [7/36] xsb_sub:lrtc7 .............................. passed (0.017 sec)
% [8/36] xsb_sub:lrtc8 .............................. passed (0.018 sec)
% [9/36] xsb_sub:rrtc1 .............................. passed (0.013 sec)
% [10/36] xsb_sub:rrtc2 ............................. passed (0.012 sec)
% [11/36] xsb_sub:rrtc3 ............................. passed (0.013 sec)
% [12/36] xsb_sub:rrtc4 ............................. passed (0.010 sec)
% [13/36] xsb_sub:rrtc5 ............................. passed (0.015 sec)
% [14/36] xsb_sub:rrtc6 ............................. passed (0.012 sec)
% [15/36] xsb_sub:rrtc7 ............................. passed (0.015 sec)
% [16/36] xsb_sub:rrtc8 ............................. passed (0.017 sec)
% [17/36] xsb_sub:drtc1 ............................. passed (0.013 sec)
% [18/36] xsb_sub:drtc2 ............................. passed (0.014 sec)
% [19/36] xsb_sub:drtc3 ............................. passed (0.012 sec)
% [20/36] xsb_sub:drtc4 ............................. passed (0.015 sec)
% [21/36] xsb_sub:drtc5 ............................. passed (0.015 sec)
% [22/36] xsb_sub:drtc6 ............................. passed (0.014 sec)
% [23/36] xsb_sub:drtc7 ............................. passed (0.017 sec)
% [24/36] xsb_sub:drtc8 ............................. passed (0.017 sec)
% [25/36] xsb_sub:sg1 ............................... passed (0.013 sec)
% [26/36] xsb_sub:sg2 ............................... passed (0.016 sec)
% [27/36] xsb_sub:sg3 ............................... passed (0.015 sec)
% [28/36] xsb_sub:sg4 ............................... passed (0.016 sec)
% [29/36] xsb_sub:sg5 ............................... passed (0.015 sec)
% [30/36] xsb_sub:sg6 ............................... passed (0.017 sec)
% [31/36] xsb_sub:sg7 ............................... passed (0.012 sec)
% [32/36] xsb_sub:sg8 ............................... passed (0.011 sec)
% [33/36] xsb_sub:genome1 ........................... passed (0.015 sec)
% [34/36] xsb_sub:genome2 ........................... passed (0.014 sec)
% [35/36] xsb_sub:genome3 ........................... passed (0.013 sec)
% [36/36] xsb_sub:test_answer_abstraction ........... passed (0.025 sec)
. done
Running scripts from attv_tests 
% [1/7] xsb_attv_tests:attv_test .................... passed (0.012 sec)
% [2/7] xsb_attv_tests:copyterm_attv ................ passed (0.021 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.006 sec)
% [6/7] xsb_attv_tests:interrupt1 ................... passed (0.005 sec)
% [7/7] xsb_attv_tests:ret_attv ..................... passed (0.005 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.005 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
    Start testing package chr:chr
Package chr:chr......................... passed 0.79 sec.
All tests passed
    Start testing package sgml:sgml
Package sgml:sgml....................... passed 0.66 sec.
    Start testing package sgml:sgml_write
Package sgml:sgml_write................. passed 0.71 sec.
    Start testing package sgml:xsd
Package sgml:xsd........................ passed 0.73 sec.
    Start testing package sgml:c14n
Package sgml:c14n....................... passed 0.68 sec.
All tests passed
[ FAIL 0 | WARN 0 | SKIP 0 | PASS 18 ]
> 
> proc.time()
   user  system elapsed 
  40.06    5.07   38.70