Last updated on 2026-06-08 02:51:26 CEST.
| Flavor | Version | Tinstall | Tcheck | Ttotal | Status | Flags |
|---|---|---|---|---|---|---|
| r-devel-linux-x86_64-debian-clang | 10.1.8 | 287.21 | 82.40 | 369.61 | OK | |
| r-devel-linux-x86_64-debian-gcc | 10.1.8 | 257.00 | 64.04 | 321.04 | OK | |
| r-devel-linux-x86_64-fedora-clang | 10.1.8 | 433.00 | 133.02 | 566.02 | OK | |
| r-devel-linux-x86_64-fedora-gcc | 10.1.8 | 600.00 | 128.89 | 728.89 | OK | |
| r-devel-windows-x86_64 | 10.1.8 | 1179.00 | 118.00 | 1297.00 | OK | |
| r-patched-linux-x86_64 | 10.1.8 | 296.66 | 79.99 | 376.65 | OK | |
| r-release-linux-x86_64 | 10.1.8 | 300.02 | 80.58 | 380.60 | OK | |
| r-release-macos-arm64 | 10.1.8 | 126.00 | 104.00 | 230.00 | OK | |
| r-release-macos-x86_64 | 10.1.8 | 360.00 | 465.00 | 825.00 | OK | |
| r-release-windows-x86_64 | 10.1.8 | 1358.00 | 112.00 | 1470.00 | ERROR | |
| r-oldrel-macos-arm64 | 10.1.8 | 116.00 | 167.00 | 283.00 | OK | |
| r-oldrel-macos-x86_64 | 10.1.8 | 308.00 | 277.00 | 585.00 | OK | |
| r-oldrel-windows-x86_64 | 10.1.8 | 1838.00 | 144.00 | 1982.00 | OK |
Version: 10.1.8
Check: tests
Result: ERROR
Running 'testthat.R' [39s]
Running the tests in 'tests/testthat.R' failed.
Complete output:
> 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.020 sec)
% [2/21] reconsult:add_clause ....................... passed (0.002 sec)
% [3/21] reconsult:del_clause ....................... passed (0.002 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.006 sec)
% [21/21] reconsult:keep_tabling .................... passed (0.004 sec)
.
% [1/15] sandbox:cleanup ............................ passed (0.000 sec)
% [2/15] sandbox:time ............................... passed (0.001 sec)
% [3/15] sandbox:setof .............................. passed (0.000 sec)
% [4/15] sandbox:phrase ............................. passed (0.000 sec)
% [5/15] sandbox:apply .............................. passed (0.000 sec)
% [6/15] sandbox:aggregate .......................... passed (0.000 sec)
% [7/15] sandbox:aggregate .......................... passed (0.000 sec)
% [8/15] sandbox:dcg ................................ passed (0.000 sec)
% [9/15] sandbox:contexr ............................ passed (0.000 sec)
% [10/15] sandbox:assert ............................ passed (0.000 sec)
% [11/15] sandbox:assert ............................ passed (0.000 sec)
% [12/15] sandbox:predicate_property ................ passed (0.000 sec)
% [13/15] sandbox:predicate_property ................ passed (0.000 sec)
% [14/15] sandbox:flag .............................. passed (0.000 sec)
% [15/15] sandbox:flag .............................. passed (0.000 sec)
. done
Running scripts from core
% [1/52] acyclic_terms:var_is_acyclic ............... passed (0.000 sec)
% [2/52] acyclic_terms:atom_is_acyclic .............. passed (0.000 sec)
% [3/52] acyclic_terms:term_is_acyclic .............. passed (0.000 sec)
% [4/52] acyclic_terms:sub_term_is_acyclic .......... passed (0.000 sec)
% [5/52] acyclic_terms:sib..g_leaves_is_acyclic ..... passed (0.000 sec)
% [6/52] acyclic_terms:sub..and_leaf_is_acyclic ..... passed (0.000 sec)
% [7/52] acyclic_terms:lea.._subterm_is_acyclic ..... passed (0.000 sec)
% [8/52] acyclic_terms:sib..ub_terms_is_acyclic ..... passed (0.000 sec)
% [9/52] acyclic_terms:mul..ub_terms_is_acyclic ..... passed (0.000 sec)
% [10/52] acyclic_terms:mul..ub_terms_is_acyclic .... passed (0.000 sec)
% [11/52] acyclic_terms:shared_term_is_acyclic_1 .... passed (0.000 sec)
% [12/52] acyclic_terms:shared_term_is_acyclic_2 .... passed (0.000 sec)
% [13/52] acyclic_terms:shared_term_is_acyclic_3 .... passed (0.000 sec)
% [14/52] acyclic_terms:shared_term_is_acyclic_4 .... passed (0.000 sec)
% [15/52] acyclic_terms:zer..ity_term_is_acyclic .... passed (0.000 sec)
% [16/52] acyclic_terms:zer..sub_term_is_acyclic .... passed (0.000 sec)
% [17/52] acyclic_terms:zer..red_term_is_acyclic .... passed (0.000 sec)
% [18/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.000 sec)
% [19/52] acyclic_terms:dee..eft_term_is_acyclic .... passed (0.000 sec)
% [20/52] acyclic_terms:dee..ght_term_is_acyclic .... passed (0.000 sec)
% [21/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.002 sec)
% [22/52] acyclic_terms:wid..ted_term_is_acyclic .... passed (0.025 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.024 sec)
% [26/52] acyclic_terms:long_list_is_acyclic_2 ...... passed (0.024 sec)
% [27/52] acyclic_terms:long_list_is_acyclic_3 ...... passed (0.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.030 sec)
% [40/52] cyclic_terms:wide..ed_term_is_cyclic_2 .... passed (0.021 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.000 sec)
% [32/221] div:minint ............................... passed (0.000 sec)
% [33/221] div:minint ............................... passed (0.000 sec)
% [34/221] gdiv:minint .............................. passed (0.000 sec)
% [35/221] rem:small ................................ passed (0.000 sec)
% [36/221] rem:small_divneg ......................... passed (0.000 sec)
% [37/221] rem:small_neg ............................ passed (0.000 sec)
% [38/221] rem:big .................................. passed (0.000 sec)
% [39/221] rem:big_neg .............................. passed (0.000 sec)
% [40/221] rem:exhaust .............................. passed (0.000 sec)
% [41/221] rem:big .................................. passed (0.000 sec)
% [42/221] rem:allq ................................. passed (0.005 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.195 sec)
% [95/221] bigint:fac_1 ............................. passed (0.000 sec)
% [96/221] bigint:arith_1 ........................... passed (0.000 sec)
% [97/221] bigint:pow_1 ............................. passed (0.000 sec)
% [98/221] bigint:pow_2 ............................. passed (0.000 sec)
% [99/221] bigint:pow_3 ............................. passed (0.000 sec)
% [100/221] bigint:pow_4 ............................ passed (0.000 sec)
% [101/221] bigint:pow_5 ............................ passed (0.000 sec)
% [102/221] bigint:pow_6 ............................ passed (0.000 sec)
% [103/221] bigint:pow_7 ............................ passed (0.000 sec)
% [104/221] bigint:powm_1 ........................... passed (0.000 sec)
% [105/221] bigint:powm_2 ........................... passed (0.000 sec)
% [106/221] bigint:integer_1 ........................ passed (0.000 sec)
% [107/221] bigint:integer_2 ........................ passed (0.000 sec)
% [108/221] bigint:rational_1 ....................... passed (0.000 sec)
% [109/221] bigint:rational_2 ....................... passed (0.000 sec)
% [110/221] bigint:rational_3 ....................... passed (0.000 sec)
% [111/221] bigint:rational_4 ....................... passed (0.000 sec)
% [112/221] bigint:rationalize_1 .................... passed (0.000 sec)
% [113/221] bigint:rationalize_2 .................... passed (0.000 sec)
% [114/221] bigint:number_1 ......................... passed (0.000 sec)
% [115/221] bigint:float_1 .......................... passed (0.000 sec)
% [116/221] bigint:cmp_1 ............................ passed (0.000 sec)
% [117/221] bigint:clause_1 ......................... passed (0.000 sec)
% [118/221] bigint:comp_1 ........................... passed (0.001 sec)
% [119/221] bigint:comp_2 ........................... passed (0.000 sec)
% [120/221] bigint:rec_1 ............................ passed (0.002 sec)
% [121/221] bigint:number_codes_1 ................... passed (0.000 sec)
% [122/221] bigint:atom_number_1 .................... passed (0.000 sec)
% [123/221] bigint:hex_1 ............................ passed (0.000 sec)
% [124/221] bigint:fmtd_1 ........................... passed (0.000 sec)
% [125/221] bigint:fmtd_2 ........................... passed (0.000 sec)
% [126/221] bigint:fmtD_1 ........................... passed (0.000 sec)
% [127/221] bigint:fmtD_2 ........................... passed (0.000 sec)
% [128/221] bigint:fmtf_1 ........................... passed (0.003 sec)
% [129/221] bigint:random ........................... passed (0.005 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.105 sec)
.
% [1/49] bips:iso_8_3_10_4 .......................... passed (0.000 sec)
% [2/49] bips:iso_8_3_10_4 .......................... passed (0.000 sec)
% [3/49] bips:iso_8_3_10 ............................ passed (0.000 sec)
% [4/49] bips:iso_8_3_10 ............................ passed (0.000 sec)
% [5/49] bips:iso_8_3_10 ............................ passed (0.000 sec)
% [6/49] bips:iso_8_4_2_4 ........................... passed (0.000 sec)
% [7/49] bips:iso_8_4_2_4 ........................... passed (0.000 sec)
% [8/49] bips:iso_8_4_2_4 ........................... passed (0.000 sec)
% [9/49] bips:iso_8_4_2_3_a ......................... passed (0.000 sec)
% [10/49] bips:iso_8_4_2_3_b ........................ passed (0.000 sec)
% [11/49] bips:non_bmp_vs_bmp_unified ............... passed (0.000 sec)
% [12/49] bips:non_bmp_vs_bmp_compat ................ passed (0.000 sec)
% [13/49] bips:non_bmp_vs_bmp_halfwidth ............. passed (0.000 sec)
% [14/49] bips:zero_codes ........................... passed (0.000 sec)
% [15/49] arg:shared ................................ passed (0.000 sec)
% [16/49] arg:unify ................................. passed (0.000 sec)
% [17/49] arg:zero .................................. passed (0.000 sec)
% [18/49] arg:one ................................... passed (0.000 sec)
% [19/49] arg:two ................................... passed (0.000 sec)
% [20/49] arg:atom .................................. passed (0.000 sec)
% [21/49] arg:big ................................... passed (0.000 sec)
% [22/49] arg:bigneg ................................ passed (0.000 sec)
% [23/49] arg:arg_vf ................................ passed (0.000 sec)
% [24/49] eq:eq_ff .................................. passed (0.000 sec)
% [25/49] length:comp_len ........................... passed (0.000 sec)
% [26/49] length:gen_list ........................... passed (0.000 sec)
% [27/49] length:neg_len ............................ passed (0.000 sec)
% [28/49] length:gen_unbound ........................ passed (0.000 sec)
% [29/49] length:no_integer ......................... passed (0.000 sec)
% [30/49] length:no_integer ......................... passed (0.000 sec)
% [31/49] length:no_integer ......................... passed (0.000 sec)
% [32/49] length:cycle .............................. passed (0.000 sec)
% [33/49] length:expression ......................... passed (0.000 sec)
% [34/49] length:no_list ............................ passed (0.000 sec)
% [35/49] length:no_list ............................ passed (0.000 sec)
% [36/49] length:no_list ............................ passed (0.000 sec)
% [37/49] length:swi ................................ passed (0.000 sec)
% [38/49] is_most_general_term:not_callable ......... passed (0.000 sec)
% [39/49] is_most_general_term:atom ................. passed (0.000 sec)
% [40/49] is_most_general_term:instantiated ......... passed (0.000 sec)
% [41/49] is_most_general_term:compound ............. passed (0.000 sec)
% [42/49] is_most_general_term:compound ............. passed (0.000 sec)
% [43/49] is_most_general_term:shared ............... passed (0.000 sec)
% [44/49] is_most_general_term:compound ............. passed (0.000 sec)
% [45/49] is_most_general_term:nil .................. passed (0.000 sec)
% [46/49] is_most_general_term:list ................. passed (0.000 sec)
% [47/49] is_most_general_term:partial_list ......... passed (0.000 sec)
% [48/49] is_most_general_term:list ................. passed (0.000 sec)
% [49/49] is_most_general_term:shared ............... passed (0.000 sec)
.
% [1/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.220 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.312 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.003 sec)
% [3/12] coroutining:frozen_clpfd ................... passed (0.000 sec)
% [4/12] coroutining:when1 .......................... passed (0.003 sec)
% [5/12] coroutining:when2 .......................... passed (0.000 sec)
% [6/12] coroutining:when3 .......................... passed (0.000 sec)
% [7/12] coroutining:when4_inf ...................... passed (0.000 sec)
% [8/12] coroutining:when5_r ........................ passed (0.000 sec)
% [9/12] coroutining:when6 .......................... passed (0.000 sec)
% [10/12] coroutining:when7 ......................... passed (0.000 sec)
% [11/12] coroutining:when8 ......................... passed (0.000 sec)
% [12/12] coroutining:when8 ......................... passed (0.000 sec)
.
% [1/42] expand_goal:1 .............................. passed (0.000 sec)
% [2/42] expand_goal:3 .............................. passed (0.000 sec)
% [3/42] expand_goal:nonlin ......................... passed (0.000 sec)
% [4/42] expand_goal:nonlin ......................... passed (0.000 sec)
% [5/42] expand_goal:5 .............................. passed (0.000 sec)
% [6/42] expand_goal:6 .............................. passed (0.000 sec)
% [7/42] expand_goal:t .............................. passed (0.000 sec)
% [8/42] expand_goal:t .............................. passed (0.000 sec)
% [9/42] phrase:iso_8_1_1_3 ......................... passed (0.000 sec)
% [10/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec)
% [11/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec)
% [12/42] phrase:iso_8_1_1_3_OPEN ................... passed (0.000 sec)
% [13/42] phrase:iso_8_1_1_3_OPEN ................... passed (0.000 sec)
% [14/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec)
% [15/42] phrase:uniso_8_1_1_3 ...................... passed (0.000 sec)
% [16/42] phrase:iso1 ............................... passed (0.000 sec)
% [17/42] phrase:uwn2 ............................... passed (0.000 sec)
% [18/42] phrase:uwn3 ............................... passed (0.000 sec)
% [19/42] phrase:uwn4 ............................... passed (0.000 sec)
% [20/42] phrase:partial_terminal ................... passed (0.000 sec)
% [21/42] rule_expansions:1 ......................... passed (0.000 sec)
% [22/42] rule_expansions:2 ......................... passed (0.000 sec)
% [23/42] dcg_rule_expansions:1 ..................... passed (0.000 sec)
% [24/42] dcg_rule_expansions:2 ..................... passed (0.000 sec)
% [25/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec)
% [26/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec)
% [27/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec)
% [28/42] dcg_rule_expansions:meta1 ................. passed (0.000 sec)
% [29/42] steadfastness:cut1_a ...................... passed (0.000 sec)
% [30/42] steadfastness:cut1_b ...................... passed (0.000 sec)
% [31/42] steadfastness:curlycut_a .................. passed (0.000 sec)
% [32/42] steadfastness:curlycut_b .................. passed (0.000 sec)
% [33/42] steadfastness:not1_a ...................... passed (0.000 sec)
% [34/42] steadfastness:not1_b ...................... passed (0.000 sec)
% [35/42] steadfastness:not2_a ...................... passed (0.000 sec)
% [36/42] steadfastness:not2_b ...................... passed (0.000 sec)
% [37/42] context:steadfastness ..................... passed (0.000 sec)
% [38/42] context:generalcontext .................... passed (0.000 sec)
% [39/42] context:epsilonness ....................... passed (0.000 sec)
% [40/42] context:epsilonness ....................... passed (0.000 sec)
% [41/42] context:vd ................................ passed (0.000 sec)
% [42/42] context:forprogrammers .................... passed (0.000 sec)
.
% [1/2] prolog_frame_attribute:none ................. passed (0.000 sec)
% [2/2] prolog_frame_attribute:foreign_choice ....... passed (0.000 sec)
.
% [1/22] det_decl:det ............................... passed (0.000 sec)
% [2/22] det_decl:cdet .............................. passed (0.000 sec)
% [3/22] det_decl:cdet2 ............................. passed (0.000 sec)
% [4/22] det_decl:nondet_1 .......................... passed (0.000 sec)
% [5/22] det_decl:nondet_2 .......................... passed (0.000 sec)
% [6/22] det_decl:nondet_3 .......................... passed (0.001 sec)
% [7/22] det_decl:fail_1 ............................ passed (0.000 sec)
% [8/22] det_decl:fail_2 ............................ passed (0.000 sec)
% [9/22] det_decl:fail_3 ............................ passed (0.000 sec)
% [10/22] det_guard:det ............................. passed (0.000 sec)
% [11/22] det_guard:ndet ............................ passed (0.000 sec)
% [12/22] det_guard:ndet ............................ passed (0.000 sec)
% [13/22] det_guard:fail ............................ passed (0.000 sec)
% [14/22] det_guard:fail ............................ passed (0.001 sec)
% [15/22] det_goal:det .............................. passed (0.000 sec)
% [16/22] det_goal:ndet ............................. passed (0.000 sec)
% [17/22] det_goal:ndet ............................. passed (0.001 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.012 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.063 sec)
% [73/88] dict_overflow:select ...................... passed (0.052 sec)
% [74/88] expand_functions:field .................... passed (0.000 sec)
% [75/88] expand_functions:conj ..................... passed (0.000 sec)
% [76/88] expand_functions:meta ..................... passed (0.000 sec)
% [77/88] expand_functions:forall ................... passed (0.000 sec)
% [78/88] expand_functions:findall .................. passed (0.000 sec)
% [79/88] expand_functions:bagof .................... passed (0.000 sec)
% [80/88] expand_functions:head ..................... passed (0.000 sec)
% [81/88] expand_functions:put ...................... passed (0.000 sec)
% [82/88] expand_functions:put2 ..................... passed (0.000 sec)
% [83/88] expand_functions:metaarg .................. passed (0.000 sec)
% [84/88] define_functions:na ....................... passed (0.000 sec)
% [85/88] define_functions:aa ....................... passed (0.000 sec)
% [86/88] define_functions:a2 ....................... passed (0.000 sec)
% [87/88] define_functions:qna ...................... passed (0.000 sec)
% [88/88] define_functions:qa2 ...................... passed (0.000 sec)
.
% [1/1] env:long .................................... passed (0.000 sec)
.
% [1/6] throw:error ................................. passed (0.000 sec)
% [2/6] throw:ground ................................ passed (0.000 sec)
% [3/6] throw:unbound ............................... passed (0.000 sec)
% [4/6] throw:cyclic ................................ passed (0.000 sec)
% [5/6] ex_coroutining:not .......................... passed (0.000 sec)
% [6/6] ex_coroutining:non_unify .................... passed (0.000 sec)
.
% [1/8] expand:cond_dcg ............................. passed (0.000 sec)
% [2/8] expand:make_dcg ............................. passed (0.000 sec)
% [3/8] expand:chained_term_expansion ............... passed (0.000 sec)
% [4/8] expand:meta_arg ............................. passed (0.000 sec)
% [5/8] expand:goal_expansion_local_pred ............ passed (0.000 sec)
% [6/8] expand:expand_once .......................... passed (0.000 sec)
% [7/8] expand:ssu_body ............................. passed (0.000 sec)
% [8/8] expand:ssu_guard ............................ passed (0.000 sec)
.
% [1/9] factorize:simple ............................ passed (0.000 sec)
% [2/9] factorize:simple ............................ passed (0.000 sec)
% [3/9] factorize:cyclic ............................ passed (0.000 sec)
% [4/9] factorize:double ............................ passed (0.000 sec)
% [5/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [6/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [7/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [8/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [9/9] factorize:fumo .............................. passed (0.000 sec)
.
% [1/3] fastrw:serialize ............................ passed (0.001 sec)
% [2/3] fastrw:fastrw ............................... passed (0.002 sec)
% [3/3] fastrw:error ................................ passed (0.000 sec)
.
% [1/19] format:fail ................................ passed (0.000 sec)
% [2/19] format:fail ................................ passed (0.000 sec)
% [3/19] format:no_stream ........................... passed (0.000 sec)
% [4/19] format:atom ................................ passed (0.000 sec)
% [5/19] format:atom ................................ passed (0.000 sec)
% [6/19] format:radix ............................... passed (0.000 sec)
% [7/19] format:radix ............................... passed (0.000 sec)
% [8/19] format:radix ............................... passed (0.000 sec)
% [9/19] format:gmp ................................. passed (0.000 sec)
% [10/19] format:asterisk ........................... passed (0.000 sec)
% [11/19] format:intD_1 ............................. passed (0.000 sec)
% [12/19] format:intD_2 ............................. passed (0.000 sec)
% [13/19] format:intD_3 ............................. passed (0.000 sec)
% [14/19] format:intr_1 ............................. passed (0.000 sec)
% [15/19] format:intR_1 ............................. passed (0.000 sec)
% [16/19] format:large_float_1 ...................... passed (0.000 sec)
% [17/19] format:oncodes_1 .......................... passed (0.000 sec)
% [18/19] format:oncodes_2 .......................... passed (0.000 sec)
% [19/19] format:onstring_1 ......................... passed (0.000 sec)
.
% [1/15] gc_leak:det_freeze_no_space ................ passed (0.001 sec)
% [2/15] gc_leak:early_reset ........................ passed (0.000 sec)
% [3/15] gc_leak:throw_gc ........................... passed (0.020 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.682 sec)
% [10/15] gc_crash2:cleanup ......................... passed (0.000 sec)
% [11/15] gc_mark:s_list ............................ passed (0.017 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.013 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.011 sec)
% [2/2] call_with_inference_limit:retry ............. passed (0.003 sec)
.
% [1/9] io:set_after_close .......................... passed (0.000 sec)
% [2/9] io:double_close ............................. passed (0.000 sec)
% [3/9] io:current_io_non_existing .................. passed (0.000 sec)
% [4/9] io:current_io_closed ........................ passed (0.000 sec)
% [5/9] io:input_is_not_output ...................... passed (0.000 sec)
% [6/9] io:reuse_alias .............................. passed (0.000 sec)
% [7/9] stream_pair:single .......................... passed (0.000 sec)
% [8/9] stream_pair:single .......................... passed (0.000 sec)
% [9/9] stream_pair:close ........................... passed (0.000 sec)
.
% [1/1] lco:huub .................................... passed (0.000 sec)
.
% [1/8] program_space:fetch ......................... passed (0.000 sec)
% [2/8] program_space:fetch ......................... passed (0.000 sec)
% [3/8] program_space:too_low ....................... passed (0.000 sec)
% [4/8] program_space:retract ....................... passed (0.000 sec)
% [5/8] program_space:abolish ....................... passed (0.000 sec)
% [6/8] program_space:assert ........................ passed (0.000 sec)
% [7/8] program_space:overflow ...................... passed (0.000 sec)
% [8/8] program_space:repeat ........................ passed (0.006 sec)
.
% [1/1] memberchk:memberchk ......................... passed (0.000 sec)
.
% [1/98] locale:current ............................. passed (0.000 sec)
% [2/98] locale:property ............................ passed (0.000 sec)
% [3/98] locale:property ............................ passed (0.000 sec)
% [4/98] locale:property ............................ passed (0.000 sec)
% [5/98] locale:create .............................. passed (0.000 sec)
% [6/98] locale:group ............................... passed (0.000 sec)
% [7/98] locale:group ............................... passed (0.000 sec)
% [8/98] locale:group ............................... passed (0.000 sec)
% [9/98] locale:group ............................... passed (0.000 sec)
% [10/98] locale:group .............................. passed (0.000 sec)
% [11/98] locale:group .............................. passed (0.000 sec)
% [12/98] locale:group .............................. passed (0.000 sec)
% [13/98] locale:group .............................. passed (0.000 sec)
% [14/98] locale:group .............................. passed (0.000 sec)
% [15/98] locale:group .............................. passed (0.000 sec)
% [16/98] locale:group .............................. passed (0.000 sec)
% [17/98] locale:group .............................. passed (0.000 sec)
% [18/98] locale:group .............................. passed (0.000 sec)
% [19/98] locale:group .............................. passed (0.000 sec)
% [20/98] locale:group .............................. passed (0.000 sec)
% [21/98] locale:group .............................. passed (0.000 sec)
% [22/98] locale:group .............................. passed (0.000 sec)
% [23/98] locale:group .............................. passed (0.000 sec)
% [24/98] locale:group .............................. passed (0.000 sec)
% [25/98] locale:group .............................. passed (0.000 sec)
% [26/98] locale:group .............................. passed (0.000 sec)
% [27/98] locale:group .............................. passed (0.000 sec)
% [28/98] locale:group .............................. passed (0.000 sec)
% [29/98] locale:group .............................. passed (0.000 sec)
% [30/98] locale:group .............................. passed (0.000 sec)
% [31/98] locale:group .............................. passed (0.000 sec)
% [32/98] locale:group .............................. passed (0.000 sec)
% [33/98] locale:group .............................. passed (0.000 sec)
% [34/98] locale:group .............................. passed (0.000 sec)
% [35/98] locale:group .............................. passed (0.000 sec)
% [36/98] locale:group .............................. passed (0.000 sec)
% [37/98] locale:group .............................. passed (0.000 sec)
% [38/98] locale:group .............................. passed (0.000 sec)
% [39/98] locale:group .............................. passed (0.000 sec)
% [40/98] locale:group .............................. passed (0.000 sec)
% [41/98] locale:group .............................. passed (0.000 sec)
% [42/98] locale:group .............................. passed (0.000 sec)
% [43/98] locale:group .............................. passed (0.000 sec)
% [44/98] locale:group .............................. passed (0.000 sec)
% [45/98] locale:group .............................. passed (0.000 sec)
% [46/98] locale:group .............................. passed (0.000 sec)
% [47/98] locale:group .............................. passed (0.000 sec)
% [48/98] locale:group .............................. passed (0.000 sec)
% [49/98] locale:group .............................. passed (0.000 sec)
% [50/98] locale:group .............................. passed (0.000 sec)
% [51/98] locale:group .............................. passed (0.000 sec)
% [52/98] locale:group .............................. passed (0.000 sec)
% [53/98] locale:group .............................. passed (0.000 sec)
% [54/98] locale:group .............................. passed (0.000 sec)
% [55/98] locale:group .............................. passed (0.000 sec)
% [56/98] locale:group .............................. passed (0.000 sec)
% [57/98] locale:group .............................. passed (0.000 sec)
% [58/98] locale:group .............................. passed (0.000 sec)
% [59/98] locale:group .............................. passed (0.000 sec)
% [60/98] locale:group .............................. passed (0.000 sec)
% [61/98] locale:group .............................. passed (0.000 sec)
% [62/98] locale:group .............................. passed (0.000 sec)
% [63/98] locale:group .............................. passed (0.000 sec)
% [64/98] locale:group .............................. passed (0.000 sec)
% [65/98] locale:group .............................. passed (0.000 sec)
% [66/98] locale:group .............................. passed (0.000 sec)
% [67/98] locale:group .............................. passed (0.000 sec)
% [68/98] locale:group .............................. passed (0.000 sec)
% [69/98] locale:group .............................. passed (0.000 sec)
% [70/98] locale:group .............................. passed (0.000 sec)
% [71/98] locale:group .............................. passed (0.000 sec)
% [72/98] locale:group .............................. passed (0.000 sec)
% [73/98] locale:group .............................. passed (0.000 sec)
% [74/98] locale:group .............................. passed (0.000 sec)
% [75/98] locale:group .............................. passed (0.000 sec)
% [76/98] locale:group .............................. passed (0.000 sec)
% [77/98] locale:group .............................. passed (0.000 sec)
% [78/98] locale:group .............................. passed (0.000 sec)
% [79/98] locale:group .............................. passed (0.000 sec)
% [80/98] locale:group .............................. passed (0.000 sec)
% [81/98] locale:group .............................. passed (0.000 sec)
% [82/98] locale:group .............................. passed (0.000 sec)
% [83/98] locale:group .............................. passed (0.000 sec)
% [84/98] locale:group .............................. passed (0.000 sec)
% [85/98] locale:group .............................. passed (0.000 sec)
% [86/98] locale:group .............................. passed (0.000 sec)
% [87/98] locale:group .............................. passed (0.000 sec)
% [88/98] locale:group .............................. passed (0.000 sec)
% [89/98] locale:group .............................. passed (0.000 sec)
% [90/98] locale:group .............................. passed (0.000 sec)
% [91/98] locale:group .............................. passed (0.000 sec)
% [92/98] locale:group .............................. passed (0.000 sec)
% [93/98] locale:group .............................. passed (0.000 sec)
% [94/98] locale:group .............................. passed (0.000 sec)
% [95/98] locale:group .............................. passed (0.000 sec)
% [96/98] locale:group .............................. passed (0.000 sec)
% [97/98] locale:group .............................. passed (0.000 sec)
% [98/98] collation_key:WCSXFRM_BUFFER_OVERRUN ...... passed (0.000 sec)
.
% [1/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [2/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [3/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [4/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [5/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [6/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [7/10] meta_predicate:alias ....................... passed (0.000 sec)
% [8/10] meta_predicate:alias2 ...................... passed (0.000 sec)
% [9/10] meta_predicate:i_departm ................... passed (0.000 sec)
% [10/10] meta_predicate:backtrack .................. passed (0.000 sec)
.
% [1/3] misc:read_only_flag ......................... passed (0.000 sec)
% [2/3] misc:cut_to ................................. passed (0.000 sec)
% [3/3] misc:cut_to_cleanup ......................... passed (0.000 sec)
.
% [1/12] moved_unify_ubody:h_list_ff ................ passed (0.000 sec)
% [2/12] moved_decompile:decom1 ..................... passed (0.000 sec)
% [3/12] moved_decompile:decomp2 .................... passed (0.000 sec)
% [4/12] moved_decompile:decomp3 .................... passed (0.000 sec)
% [5/12] moved_decompile:decomp4 .................... passed (0.000 sec)
% [6/12] moved_decompile:decomp5 .................... passed (0.000 sec)
% [7/12] moved_decompile:decomp6 .................... passed (0.000 sec)
% [8/12] moved_decompile:decomp7 .................... passed (0.000 sec)
% [9/12] moved_decompile:decomp8 .................... passed (0.000 sec)
% [10/12] moved_decompile:decomp9 ................... passed (0.000 sec)
% [11/12] moved_decompile:run9 ...................... passed (0.000 sec)
% [12/12] moved_decompile:decomp9 ................... passed (0.000 sec)
.
% [1/9] unify_with_occurs_check:simple_1 ............ passed (0.000 sec)
% [2/9] unify_with_occurs_check:simple_2 ............ passed (0.000 sec)
% [3/9] unify_with_occurs_check:attvar_1 ............ passed (0.000 sec)
% [4/9] unify_with_occurs_check:attvar_2 ............ passed (0.000 sec)
% [5/9] unify_with_occurs_check:attvar_3 ............ passed (0.000 sec)
% [6/9] unify_with_occurs_check:attvar_4 ............ passed (0.000 sec)
% [7/9] occurs_check_fail:unify ..................... passed (0.000 sec)
% [8/9] occurs_check_fail:unify ..................... passed (0.000 sec)
% [9/9] occurs_check_fail:unifiable ................. passed (0.000 sec)
.
% [1/11] current_op:plus ............................ passed (0.000 sec)
% [2/11] current_op:no_atom ......................... passed (0.000 sec)
% [3/11] current_op:no_atom ......................... passed (0.000 sec)
% [4/11] current_op:bad_type ........................ passed (0.000 sec)
% [5/11] current_op:bad_precedence .................. passed (0.000 sec)
% [6/11] current_op:bad_precedence .................. passed (0.000 sec)
% [7/11] current_op:inherit ......................... passed (0.000 sec)
% [8/11] op_syntax:parse ............................ passed (0.000 sec)
% [9/11] op_syntax:parse ............................ passed (0.000 sec)
% [10/11] op_syntax:parse ........................... passed (0.000 sec)
% [11/11] op_syntax:parse ........................... passed (0.000 sec)
.
% [1/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.004 sec)
% [4/6] prolog_listen:erase_clause .................. passed (0.000 sec)
% [5/6] prolog_listen:erase_record .................. passed (0.000 sec)
% [6/6] prolog_listen:update ........................ passed (0.000 sec)
.
% [1/15] qualified_calls:colon ...................... passed (0.000 sec)
% [2/15] qualified_calls:colonc ..................... passed (0.000 sec)
% [3/15] qualified_calls:colonv ..................... passed (0.000 sec)
% [4/15] qualified_calls:coloncv .................... passed (0.000 sec)
% [5/15] qualified_calls:at ......................... passed (0.000 sec)
% [6/15] qualified_calls:vat ........................ passed (0.000 sec)
% [7/15] qualified_calls:atv ........................ passed (0.000 sec)
% [8/15] qualified_calls:atvv ....................... passed (0.000 sec)
% [9/15] qualified_calls:atvvv ...................... passed (0.000 sec)
% [10/15] qualified_calls:atvvv ..................... passed (0.000 sec)
% [11/15] qualified_calls:localv .................... passed (0.000 sec)
% [12/15] qualified_calls:localv .................... passed (0.000 sec)
% [13/15] qualified_calls:local_argvar .............. passed (0.000 sec)
% [14/15] qualified_calls:local_argvar .............. passed (0.000 sec)
% [15/15] qualified_calls:lproc ..................... passed (0.000 sec)
.
% [1/2] quasi_quotations:simple ..................... passed (0.000 sec)
% [2/2] quasi_quotations:error ...................... passed (0.000 sec)
.
% [1/3] random:state ................................ passed (0.001 sec)
% [2-1/3] random:random_subseq ...................... passed (0.000 sec)
% [2-2/3] random:random_subseq ...................... passed (0.000 sec)
% [2-3/3] random:random_subseq ...................... passed (0.000 sec)
% [2-4/3] random:random_subseq ...................... passed (0.000 sec)
% [2-5/3] random:random_subseq ...................... passed (0.000 sec)
% [2-6/3] random:random_subseq ...................... passed (0.000 sec)
% [2-7/3] random:random_subseq ...................... passed (0.000 sec)
% [3-1/3] random:random_numlist ..................... passed (0.000 sec)
% [3-2/3] random:random_numlist ..................... passed (0.000 sec)
% [3-3/3] random:random_numlist ..................... passed (0.000 sec)
% [3-4/3] random:random_numlist ..................... passed (0.000 sec)
% [3-5/3] random:random_numlist ..................... passed (0.000 sec)
% [3-6/3] random:random_numlist ..................... passed (0.000 sec)
% [3-7/3] random:random_numlist ..................... passed (0.000 sec)
.
% [1/28] read_term:singletons ....................... passed (0.000 sec)
% [2/28] read_term:warn_singletons .................. passed (0.000 sec)
% [3/28] read_term:position ......................... passed (0.000 sec)
% [4/28] read_term:valid_position_var ............... passed (0.000 sec)
% [5/28] read_term:valid_position_atom .............. passed (0.000 sec)
% [6/28] read_term:valid_position_number1 ........... passed (0.000 sec)
% [7/28] read_term:valid_position_number2 ........... passed (0.000 sec)
% [8/28] read_term:valid_position_string_string ..... passed (0.000 sec)
% [9/28] read_term:valid_position_string_codes ...... passed (0.000 sec)
% [10/28] read_term:valid_position_string_chars ..... passed (0.000 sec)
% [11/28] read_term:valid_position_string_atom ...... passed (0.000 sec)
% [12/28] read_term:valid_position_nil .............. passed (0.000 sec)
% [13/28] read_term:valid_position_braces ........... passed (0.000 sec)
% [14/28] read_term:valid_position_braces1 .......... passed (0.000 sec)
% [15/28] read_term:valid_position_braces2 .......... passed (0.000 sec)
% [16/28] read_term:valid_position_braces3 .......... passed (0.000 sec)
% [17/28] read_term:valid_position_term1 ............ passed (0.000 sec)
% [18/28] read_term:valid_position_term2 ............ passed (0.000 sec)
% [19/28] read_term:valid_position_term2 ............ passed (0.000 sec)
% [20/28] read_term:valid_position_dict1 ............ passed (0.000 sec)
% [21/28] read_term:valid_position_dict2 ............ passed (0.000 sec)
% [22/28] read_term:valid_position_dict3 ............ passed (0.000 sec)
% [23/28] read_op:modify ............................ passed (0.000 sec)
% [24/28] read_op:minus_block ....................... passed (0.000 sec)
% [25/28] read_op:modify_block ...................... passed (0.000 sec)
% [26/28] read_op:pos_block ......................... passed (0.000 sec)
% [27/28] read_numbers:float_overflow ............... passed (0.000 sec)
% [28/28] read_numbers:float_overflow ............... passed (0.000 sec)
.
% [1/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [2/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [3/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [4/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [5/9] test_read_labeled:label ..................... passed (0.000 sec)
% [6/9] test_read_labeled:label ..................... passed (0.000 sec)
% [7/9] test_read_labeled:label ..................... passed (0.000 sec)
% [8/9] test_read_failure:fail ...................... passed (0.000 sec)
% [9/9] test_read_failure:fail ...................... passed (0.000 sec)
.
% [1/7] resource_error:local ........................ passed (0.001 sec)
% [2/7] resource_error:global ....................... passed (0.003 sec)
% [3/7] resource_error:string ....................... passed (0.065 sec)
% [4/7] resource_error:string ....................... passed (0.034 sec)
% [5/7] resource_error:length ....................... passed (0.000 sec)
% [6/7] resource_error:tight_stacks ................. passed (0.002 sec)
% [7/7] resource_error:cleanup_handler .............. passed (0.000 sec)
.
% [1/12] scan_options:process ....................... passed (0.000 sec)
% [2/12] scan_options:implicit_true ................. passed (0.000 sec)
% [3/12] scan_options:no_option ..................... passed (0.000 sec)
% [4/12] scan_options:bad_value_type ................ passed (0.000 sec)
% [5/12] scan_options:bad_type ...................... passed (0.000 sec)
% [6/12] scan_options:bad_type ...................... passed (0.000 sec)
% [7/12] scan_options:instantiation ................. passed (0.000 sec)
% [8/12] scan_options:instantiation ................. passed (0.000 sec)
% [9/12] scan_options:instantiation ................. passed (0.000 sec)
% [10/12] dict_option:process ....................... passed (0.000 sec)
% [11/12] dict_option:bad_value_type ................ passed (0.000 sec)
% [12/12] dict_option:no_option ..................... passed (0.000 sec)
..
% [1/9] skip_list:empty_list ........................ passed (0.000 sec)
% [2/9] skip_list:proper_list_small ................. passed (0.000 sec)
% [3/9] skip_list:proper_list_long .................. passed (0.000 sec)
% [4/9] skip_list:partial_list ...................... passed (0.000 sec)
% [5/9] skip_list:cyclic_list ....................... passed (0.000 sec)
% [6/9] skip_list:cyclic_list_long .................. passed (0.001 sec)
% [7/9] skip_list:not_a_list_1 ...................... passed (0.000 sec)
% [8/9] skip_list:not_a_list_2 ...................... passed (0.000 sec)
% [9/9] skip_list:not_a_list_3 ...................... passed (0.000 sec)
.
% [1/36] sort:empty ................................. passed (0.000 sec)
% [2/36] sort:unique ................................ passed (0.000 sec)
% [3/36] sort:instantiation ......................... passed (0.000 sec)
% [4/36] sort:type .................................. passed (0.000 sec)
% [5/36] sort:cyclic ................................ passed (0.000 sec)
% [6/36] sort:reserved .............................. passed (0.000 sec)
% [7/36] msort:empty ................................ passed (0.000 sec)
% [8/36] msort:unique ............................... passed (0.000 sec)
% [9/36] msort:instantiation ........................ passed (0.000 sec)
% [10/36] msort:type ................................ passed (0.000 sec)
% [11/36] msort:cyclic .............................. passed (0.000 sec)
% [12/36] keysort:empty ............................. passed (0.000 sec)
% [13/36] keysort:instantiation ..................... passed (0.000 sec)
% [14/36] keysort:type .............................. passed (0.000 sec)
% [15/36] keysort:cyclic ............................ passed (0.000 sec)
% [16/36] keysort:element ........................... passed (0.000 sec)
% [17/36] keysort:element ........................... passed (0.000 sec)
% [18/36] sort4:zero ................................ passed (0.000 sec)
% [19/36] sort4:zero ................................ passed (0.000 sec)
% [20/36] sort4:zero ................................ passed (0.000 sec)
% [21/36] sort4:zero ................................ passed (0.000 sec)
% [22/36] sort4:one ................................. passed (0.000 sec)
% [23/36] sort4:one ................................. passed (0.000 sec)
% [24/36] sort4:one ................................. passed (0.000 sec)
% [25/36] sort4:list ................................ passed (0.000 sec)
% [26/36] sort4:list ................................ passed (0.000 sec)
% [27/36] sort4:list ................................ passed (0.000 sec)
% [28/36] sort4:dict ................................ passed (0.000 sec)
% [29/36] sort4:key ................................. passed (0.000 sec)
% [30/36] sort4:key ................................. passed (0.000 sec)
% [31/36] sort4:order ............................... passed (0.000 sec)
% [32/36] sort4:order ............................... passed (0.000 sec)
% [33/36] sort4:list ................................ passed (0.000 sec)
% [34/36] sort4:list ................................ passed (0.000 sec)
% [35/36] sort4:dict ................................ passed (0.000 sec)
% [36/36] sort4:dict ................................ passed (0.000 sec)
.
% [1/27] string:number_string ....................... passed (0.000 sec)
% [2/27] string:number_string ....................... passed (0.000 sec)
% [3/27] string:number_string ....................... passed (0.000 sec)
% [4/27] string:number_string ....................... passed (0.000 sec)
% [5/27] string:number_string ....................... passed (0.000 sec)
% [6/27] string:string_codes ........................ passed (0.000 sec)
% [7/27] string:string_codes ........................ passed (0.000 sec)
% [8/27] string:string_chars ........................ passed (0.000 sec)
% [9/27] string:split_string ........................ passed (0.000 sec)
% [10/27] string:split_string ....................... passed (0.000 sec)
% [11/27] string:split_string ....................... passed (0.000 sec)
% [12/27] string:split_string ....................... passed (0.000 sec)
% [13/27] string:string_lower ....................... passed (0.000 sec)
% [14/27] string:string_upper ....................... passed (0.000 sec)
% [15/27] string:string_upper ....................... passed (0.000 sec)
% [16/27] string_bytes:aap .......................... passed (0.000 sec)
% [17/27] string_bytes:aap .......................... passed (0.000 sec)
% [18/27] string_bytes:aap .......................... passed (0.000 sec)
% [19/27] string_bytes:aap .......................... passed (0.000 sec)
% [20/27] string_bytes:aap .......................... passed (0.000 sec)
% [21/27] string_bytes:aap .......................... passed (0.000 sec)
% [22/27] string_bytes:hello ........................ passed (0.000 sec)
% [23/27] string_bytes:hello ........................ passed (0.000 sec)
% [24/27] string_bytes:hello ........................ passed (0.000 sec)
% [25/27] string_bytes:hello ........................ passed (0.000 sec)
% [26/27] string_bytes:hello ........................ passed (0.000 sec)
% [27/27] string_bytes:hello ........................ passed (0.000 sec)
.
% [1/19] subsumes:simple_true ....................... passed (0.000 sec)
% [2/19] subsumes:simple_false ...................... passed (0.000 sec)
% [3/19] subsumes:double ............................ passed (0.000 sec)
% [4/19] subsumes:shared_true ....................... passed (0.000 sec)
% [5/19] subsumes:shared_false ...................... passed (0.000 sec)
% [6/19] subsumes:shared_false_2 .................... passed (0.000 sec)
% [7/19] subsumes:shared_false_3 .................... passed (0.000 sec)
% [8/19] subsumes:shared_false_4 .................... passed (0.000 sec)
% [9/19] subsumes:shared_true_4 ..................... passed (0.000 sec)
% [10/19] subsumes:cyclic1 .......................... passed (0.000 sec)
% [11/19] subsumes:cyclic2 .......................... passed (0.000 sec)
% [12/19] subsumes:cyclic_fail ...................... passed (0.000 sec)
% [13/19] subsumes:cyclic_fail_1 .................... passed (0.000 sec)
% [14/19] subsumes:cyclic_fail_2 .................... passed (0.000 sec)
% [15/19] subsumes:shared_g_s_1 ..................... passed (0.000 sec)
% [16/19] subsumes_term:simple ...................... passed (0.000 sec)
% [17/19] subsumes_term:min ......................... passed (0.000 sec)
% [18/19] subsumes_term:sharing ..................... passed (0.000 sec)
% [19/19] subsumes_term:occurs ...................... passed (0.000 sec)
.
% [1/38] syntax:op_1 ................................ passed (0.000 sec)
% [2/38] syntax:op_2 ................................ passed (0.000 sec)
% [3/38] syntax:op_3 ................................ passed (0.000 sec)
% [4/38] syntax:op_4 ................................ passed (0.000 sec)
% [5/38] syntax:op_5 ................................ passed (0.000 sec)
% [6/38] syntax:op_6 ................................ passed (0.000 sec)
% [7/38] syntax:op_7 ................................ passed (0.000 sec)
% [8/38] syntax:op_8 ................................ passed (0.000 sec)
% [9/38] syntax:atom_1 .............................. passed (0.000 sec)
% [10/38] syntax:char_1 ............................. passed (0.000 sec)
% [11/38] syntax:char_2 ............................. passed (0.000 sec)
% [12/38] syntax:char_3 ............................. passed (0.000 sec)
% [13/38] syntax:char_4 ............................. passed (0.000 sec)
% [14/38] syntax:cannot_start_term_1 ................ passed (0.000 sec)
% [15/38] syntax:string_1 ........................... passed (0.000 sec)
% [16/38] syntax:string_2 ........................... passed (0.000 sec)
% [17/38] syntax:quote_1 ............................ passed (0.000 sec)
% [18/38] syntax:quote_2 ............................ passed (0.000 sec)
% [19/38] syntax:quote_3 ............................ passed (0.000 sec)
% [20/38] syntax:quote_4 ............................ passed (0.000 sec)
% [21/38] syntax:quote_5 ............................ passed (0.000 sec)
% [22/38] syntax:quote_6 ............................ passed (0.000 sec)
% [23/38] syntax:quote_7 ............................ passed (0.000 sec)
% [24/38] syntax:base_1 ............................. passed (0.000 sec)
% [25/38] syntax:base_2 ............................. passed (0.000 sec)
% [26/38] syntax:base_3 ............................. passed (0.000 sec)
% [27/38] syntax:base_4 ............................. passed (0.000 sec)
% [28/38] syntax:base_5 ............................. passed (0.000 sec)
% [29/38] syntax:number_2 ........................... passed (0.000 sec)
% [30/38] syntax:neg_base ........................... passed (0.000 sec)
% [31/38] syntax:zero_1 ............................. passed (0.000 sec)
% [32/38] syntax:latin_1 ............................ passed (0.000 sec)
% [33/38] iso_op_table_6:r1 ......................... passed (0.000 sec)
% [34/38] iso_op_table_6:r2 ......................... passed (0.000 sec)
% [35/38] iso_op_table_6:r3 ......................... passed (0.000 sec)
% [36/38] iso_op_table_6:r4 ......................... passed (0.000 sec)
% [37/38] iso_op_table_6:r5 ......................... passed (0.000 sec)
% [38/38] iso_op_table_6:r6 ......................... passed (0.000 sec)
.
% [1/133] syntax_unicode_id..:lu_starts_variable .... passed (0.000 sec)
% [2/133] syntax_unicode_id..iers:ll_starts_atom .... passed (0.000 sec)
% [3/133] syntax_unicode_id..iers:lo_starts_atom .... passed (0.000 sec)
% [4/133] syntax_unicode_id..iers:lt_starts_atom .... passed (0.000 sec)
% [5/133] syntax_unicode_id..ore_starts_variable .... passed (0.000 sec)
% [6/133] syntax_unicode_id..ontinues_identifier .... passed (0.000 sec)
% [7/133] syntax_unicode_id..ontinues_identifier .... passed (0.000 sec)
% [8/133] syntax_unicode_id..ot_start_identifier .... passed (0.000 sec)
% [9/133] syntax_unicode_id..s_id_only_codepoint .... passed (0.000 sec)
% [10/133] syntax_unicode_la..t:lrm_is_whitespace ... passed (0.000 sec)
% [11/133] syntax_unicode_la..:nbsp_is_not_layout ... passed (0.000 sec)
% [12/133] syntax_unicode_eol:end_of_line_lf ........ passed (0.000 sec)
% [13/133] syntax_unicode_eol:end_of_line_vt ........ passed (0.000 sec)
% [14/133] syntax_unicode_eol:end_of_line_ff ........ passed (0.000 sec)
% [15/133] syntax_unicode_eol:end_of_line_cr ........ passed (0.000 sec)
% [16/133] syntax_unicode_eol:end_of_line_nel_no .... passed (0.000 sec)
% [17/133] syntax_unicode_eol:end_of_line_ls_no ..... passed (0.000 sec)
% [18/133] syntax_unicode_eol:end_of_line_ps_no ..... passed (0.000 sec)
% [19/133] syntax_unicode_eo..nd_of_line_space_no ... passed (0.000 sec)
% [20/133] syntax_unicode_eol:end_of_line_nbsp_no ... passed (0.000 sec)
% [21/133] syntax_unicode_eol:prolog_eol_lf ......... passed (0.000 sec)
% [22/133] syntax_unicode_eol:prolog_eol_vt ......... passed (0.000 sec)
% [23/133] syntax_unicode_eol:prolog_eol_ff ......... passed (0.000 sec)
% [24/133] syntax_unicode_eol:prolog_eol_cr ......... passed (0.000 sec)
% [25/133] syntax_unicode_eol:prolog_eol_nel ........ passed (0.000 sec)
% [26/133] syntax_unicode_eol:prolog_eol_ls ......... passed (0.000 sec)
% [27/133] syntax_unicode_eol:prolog_eol_ps ......... passed (0.000 sec)
% [28/133] syntax_unicode_eol:prolog_eol_space_no ... passed (0.000 sec)
% [29/133] syntax_unicode_eol:prolog_eol_nbsp_no .... passed (0.000 sec)
% [30/133] syntax_unicode_eol:prolog_layout_tab ..... passed (0.000 sec)
% [31/133] syntax_unicode_eol:prolog_layout_lf ...... passed (0.000 sec)
% [32/133] syntax_unicode_eol:prolog_layout_vt ...... passed (0.000 sec)
% [33/133] syntax_unicode_eol:prolog_layout_ff ...... passed (0.000 sec)
% [34/133] syntax_unicode_eol:prolog_layout_cr ...... passed (0.000 sec)
% [35/133] syntax_unicode_eol:prolog_layout_space ... passed (0.000 sec)
% [36/133] syntax_unicode_eol:prolog_layout_nel ..... passed (0.000 sec)
% [37/133] syntax_unicode_eol:prolog_layout_lrm ..... passed (0.000 sec)
% [38/133] syntax_unicode_eol:prolog_layout_rlm ..... passed (0.000 sec)
% [39/133] syntax_unicode_eol:prolog_layout_ls ...... passed (0.000 sec)
% [40/133] syntax_unicode_eol:prolog_layout_ps ...... passed (0.000 sec)
% [41/133] syntax_unicode_eo..olog_layout_nbsp_no ... passed (0.000 sec)
% [42/133] syntax_unicode_eo..log_layout_ogham_no ... passed (0.000 sec)
% [43/133] syntax_unicode_eo..yout_ideographic_no ... passed (0.000 sec)
% [44/133] syntax_unicode_eo..og_layout_letter_no ... passed (0.000 sec)
% [45/133] syntax_unicode_eo..t_terminated_by_nel ... passed (0.000 sec)
% [46/133] syntax_unicode_eo..nt_terminated_by_ls ... passed (0.000 sec)
% [47/133] syntax_unicode_eo..nt_terminated_by_ps ... passed (0.000 sec)
% [48/133] syntax_unicode_eo..nt_terminated_by_cr ... passed (0.000 sec)
% [49/133] syntax_unicode_solo:le_is_atom ........... passed (0.000 sec)
% [50/133] syntax_unicode_so..le_le_does_not_glue ... passed (0.000 sec)
% [51/133] syntax_unicode_so..quote_open_is_error ... passed (0.000 sec)
% [52/133] syntax_unicode_so..te_pair_is_compound ... passed (0.000 sec)
% [53/133] syntax_unicode_solo:currency_is_atom ..... passed (0.000 sec)
% [54/133] syntax_unicode_solo:ascii_glues .......... passed (0.000 sec)
% [55/133] syntax_unicode_solo:ascii_neck ........... passed (0.000 sec)
% [56/133] syntax_unicode_solo:ascii_negation ....... passed (0.000 sec)
% [57/133] syntax_unicode_br..:empty_pair_is_atom ... passed (0.000 sec)
% [58/133] syntax_unicode_br..layout_pair_is_atom ... passed (0.000 sec)
% [59/133] syntax_unicode_br..pty_pair_as_functor ... passed (0.000 sec)
% [60/133] syntax_unicode_br..onempty_is_compound ... passed (0.000 sec)
% [61/133] syntax_unicode_br..ined_term_is_parsed ... passed (0.000 sec)
% [62/133] syntax_unicode_br..s:other_pairs_empty ... passed (0.000 sec)
% [63/133] syntax_unicode_br..ched_close_is_error ... passed (0.000 sec)
% [64/133] syntax_unicode_br..:bare_atom_unquoted ... passed (0.000 sec)
% [65/133] syntax_unicode_br.._unquoted_canonical ... passed (0.000 sec)
% [66/133] syntax_unicode_br.._writes_as_brackets ... passed (0.000 sec)
% [67/133] syntax_unicode_br..l_uses_functor_form ... passed (0.000 sec)
% [68/133] syntax_unicode_br..ets:nested_compound ... passed (0.000 sec)
% [69/133] syntax_unicode_brackets:roundtrip_atom ... passed (0.000 sec)
% [70/133] syntax_unicode_br..:roundtrip_compound ... passed (0.000 sec)
% [71/133] syntax_unicode_brackets:roundtrip_list ... passed (0.000 sec)
% [72/133] syntax_unicode_br..ce_empty_still_atom ... passed (0.000 sec)
% [73/133] syntax_unicode_br..ompound_still_sugar ... passed (0.000 sec)
% [74/133] syntax_unicode_stray:stray_shy_alone ..... passed (0.000 sec)
% [75/133] syntax_unicode_st..ay_shy_after_layout ... passed (0.000 sec)
% [76/133] syntax_unicode_st..:stray_shy_after_id ... passed (0.000 sec)
% [77/133] syntax_unicode_stray:stray_zwsp_alone .... passed (0.000 sec)
% [78/133] syntax_unicode_st..y_zwsp_after_layout ... passed (0.000 sec)
% [79/133] syntax_unicode_st..oken_start_rejected ... passed (0.000 sec)
% [80/133] syntax_unicode_st..ter_layout_rejected ... passed (0.000 sec)
% [81/133] syntax_unicode_st..bed_into_identifier ... passed (0.000 sec)
% [82/133] syntax_unicode_stray:stray_nbsp_alone .... passed (0.000 sec)
% [83/133] syntax_unicode_st..y_nbsp_after_layout ... passed (0.000 sec)
% [84/133] syntax_unicode_st..stray_nbsp_after_id ... passed (0.000 sec)
% [85/133] syntax_unicode_stray:stray_ogham_space ... passed (0.000 sec)
% [86/133] syntax_unicode_stray:stray_nnbsp ......... passed (0.000 sec)
% [87/133] syntax_unicode_stray:stray_mmsp .......... passed (0.000 sec)
% [88/133] syntax_unicode_st..y_ideographic_space ... passed (0.000 sec)
% [89/133] syntax_unicode_stray:stray_unassigned .... passed (0.000 sec)
% [90/133] syntax_unicode_st..:stray_noncharacter ... passed (0.000 sec)
% [91/133] syntax_unicode_st..y_noncharacter_high ... passed (0.000 sec)
% [92/133] syntax_unicode_st..tray_vulgar_quarter ... passed (0.000 sec)
% [93/133] syntax_unicode_stray:stray_vulgar_half ... passed (0.000 sec)
% [94/133] syntax_unicode_st..lgar_three_quarters ... passed (0.000 sec)
% [95/133] syntax_unicode_st..tray_enclosing_mark ... passed (0.000 sec)
% [96/133] syntax_unicode_stray:stray_mn_alone ...... passed (0.000 sec)
% [97/133] syntax_unicode_st..ray_mn_after_layout ... passed (0.000 sec)
% [98/133] syntax_unicode_st..bed_into_identifier ... passed (0.000 sec)
% [99/133] syntax_unicode_st..ted_round_trip_nbsp ... passed (0.000 sec)
% [100/133] syntax_unicode_st..oted_round_trip_shy .. passed (0.000 sec)
% [101/133] syntax_unicode_st..ted_round_trip_zwsp .. passed (0.000 sec)
% [102/133] syntax_unicode_st..und_trip_unassigned .. passed (0.000 sec)
% [103/133] syntax_unicode_st..d_trip_noncharacter .. passed (0.000 sec)
% [104/133] syntax_unicode_st..nd_trip_vulgar_half .. passed (0.000 sec)
% [105/133] syntax_unicode_st..ound_trip_combining .. passed (0.000 sec)
% [106/133] syntax_unicode_st..p_ideographic_space .. passed (0.000 sec)
% [107/133] syntax_unicode_nu..nagari_digits_parse .. passed (0.000 sec)
% [108/133] syntax_unicode_nu..gari_digits_convert .. passed (0.000 sec)
% [109/133] syntax_unicode_nu..git_blocks_rejected .. passed (0.000 sec)
% [110/133] syntax_unicode_nu..ign_with_devanagari .. passed (0.000 sec)
% [111/133] syntax_unicode_nu..nus_with_devanagari .. passed (0.000 sec)
% [112/133] syntax_unicode_nu..rs:devanagari_float .. passed (0.000 sec)
% [113/133] syntax_unicode_nu..int_and_frac_blocks .. passed (0.000 sec)
% [114/133] syntax_unicode_nu..devanagari_exponent .. passed (0.000 sec)
% [115/133] syntax_unicode_nu..ntissa_and_exponent .. passed (0.000 sec)
% [116/133] syntax_unicode_nu..devanagari_rational .. passed (0.000 sec)
% [117/133] syntax_unicode_nu..xed_rational_blocks .. passed (0.000 sec)
% [118/133] syntax_unicode_nu..ipt_one_not_a_digit .. passed (0.000 sec)
% [119/133] syntax_unicode_nu..rs:hex_prefix_ascii .. passed (0.000 sec)
% [120/133] syntax_unicode_nu.._with_unicode_digit .. passed (0.000 sec)
% [121/133] syntax_unicode_nu..r_code_ascii_letter .. passed (0.000 sec)
% [122/133] syntax_unicode_nu..ode_unicode_literal .. passed (0.000 sec)
% [123/133] syntax_unicode_nu..e_escape_via_reader .. passed (0.000 sec)
% [124/133] syntax_unicode_version:flag_present ..... passed (0.000 sec)
% [125/133] syntax_unicode_at..ault_flag_is_accept .. passed (0.000 sec)
% [126/133] syntax_unicode_at..le_nfd_without_hook .. passed (0.000 sec)
% [127/133] syntax_unicode_at..sitive_without_hook .. passed (0.000 sec)
% [128/133] syntax_unicode_at.._accepts_pure_ascii .. passed (0.000 sec)
% [129/133] syntax_unicode_at..t_rejects_non_ascii .. passed (0.000 sec)
% [130/133] syntax_unicode_at..es_quoted_non_ascii .. passed (0.000 sec)
% [131/133] syntax_unicode_at..imple_nfd_with_hook .. passed (0.000 sec)
% [132/133] syntax_unicode_at..uoted_atom_is_error .. passed (0.000 sec)
% [133/133] syntax_unicode_at..a_escape_is_allowed .. 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/93] char_code:ascii ............................ passed (0.000 sec)
% [2/93] char_code:ascii ............................ passed (0.000 sec)
% [3/93] char_code:wide ............................. passed (0.000 sec)
% [4/93] char_code:wide ............................. passed (0.000 sec)
% [5/93] char_code:error ............................ passed (0.000 sec)
% [6/93] char_code:error ............................ passed (0.000 sec)
% [7/93] char_code:error ............................ passed (0.000 sec)
% [8/93] char_code:error ............................ passed (0.000 sec)
% [9/93] char_code:error ............................ passed (0.000 sec)
% [10/93] atom_codes:error .......................... passed (0.000 sec)
% [11/93] atom_codes:error .......................... passed (0.000 sec)
% [12/93] atom_codes:error .......................... passed (0.000 sec)
% [13/93] atom_codes:error .......................... passed (0.000 sec)
% [14/93] atom_concat:shared ........................ passed (0.000 sec)
% [15/93] atom_concat:shared ........................ passed (0.000 sec)
% [16/93] atom_concat:shared ........................ passed (0.000 sec)
% [17/93] atom_concat:attvar ........................ passed (0.000 sec)
% [18/93] term_to_atom:write ........................ passed (0.000 sec)
% [19/93] term_to_atom:read ......................... passed (0.000 sec)
% [20/93] term_to_atom:read ......................... passed (0.000 sec)
% [21/93] atom_to_term:read ......................... passed (0.000 sec)
% [22/93] atom_to_term:error ........................ passed (0.000 sec)
% [23/93] atom_to_term:eof .......................... passed (0.000 sec)
% [24/93] atom_to_term:read ......................... passed (0.000 sec)
% [25/93] number_codes:whitespace ................... passed (0.000 sec)
% [26/93] number_codes:whitespace ................... passed (0.000 sec)
% [27/93] number_codes:whitespace ................... passed (0.000 sec)
% [28/93] number_codes:whitespace ................... passed (0.000 sec)
% [29/93] number_codes:unify ........................ passed (0.000 sec)
% [30/93] number_chars:iso .......................... passed (0.000 sec)
% [31/93] number_chars:iso .......................... passed (0.000 sec)
% [32/93] number_chars:swi .......................... passed (0.000 sec)
% [33/93] number_chars:iso .......................... passed (0.000 sec)
% [34/93] number_chars:iso .......................... passed (0.000 sec)
% [35/93] number_chars:swi .......................... passed (0.000 sec)
% [36/93] number_chars:iso .......................... passed (0.000 sec)
% [37/93] number_chars:swi .......................... passed (0.000 sec)
% [38/93] number_chars:iso .......................... passed (0.000 sec)
% [39/93] number_chars:iso .......................... passed (0.000 sec)
% [40/93] number_chars:swi .......................... passed (0.000 sec)
% [41/93] number_chars:iso .......................... passed (0.000 sec)
% [42/93] number_chars:iso .......................... passed (0.000 sec)
% [43/93] number_chars:iso .......................... passed (0.000 sec)
% [44/93] number_chars:iso .......................... passed (0.000 sec)
% [45/93] number_chars:float ........................ passed (0.006 sec)
% [46/93] number_chars:iso2 ......................... passed (0.000 sec)
% [47/93] number_chars:iso2 ......................... passed (0.000 sec)
% [48/93] number_chars:iso2 ......................... passed (0.000 sec)
% [49/93] number_chars:iso2 ......................... passed (0.000 sec)
% [50/93] number_chars:iso2 ......................... passed (0.000 sec)
% [51/93] number_chars:iso2 ......................... passed (0.000 sec)
% [52/93] number_chars:iso2 ......................... passed (0.000 sec)
% [53/93] number_chars:iso2 ......................... passed (0.000 sec)
% [54/93] number_chars:iso2 ......................... passed (0.000 sec)
% [55/93] number_chars:iso2 ......................... passed (0.000 sec)
% [56/93] number_chars:iso2 ......................... passed (0.000 sec)
% [57/93] name:int .................................. passed (0.000 sec)
% [58/93] name:atom ................................. passed (0.000 sec)
% [59/93] name:atom ................................. passed (0.000 sec)
% [60/93] name:atom ................................. passed (0.000 sec)
% [61/93] sub_atom:neg .............................. passed (0.000 sec)
% [62/93] sub_atom:nondet ........................... passed (0.000 sec)
% [63/93] atomic_list_concat:int64 .................. passed (0.000 sec)
% [64/93] atomic_list_concat:error .................. passed (0.000 sec)
% [65/93] atomic_list_concat:error .................. passed (0.000 sec)
% [66/93] substring:sub_atom ........................ passed (0.000 sec)
% [67/93] substring:sub_atom ........................ passed (0.000 sec)
% [68/93] substring:name_value ...................... passed (0.000 sec)
% [69/93] substring:string_insert ................... passed (0.000 sec)
% [70/93] substring:string_insert ................... passed (0.000 sec)
% [71/93] substring:prefix .......................... passed (0.000 sec)
% [72/93] substring:prefix .......................... passed (0.000 sec)
% [73/93] substring:suffix .......................... passed (0.000 sec)
% [74/93] substring:suffix .......................... passed (0.000 sec)
% [75/93] substring:suffix .......................... passed (0.000 sec)
% [76/93] surrogate:char_code ....................... passed (0.000 sec)
% [77/93] surrogate:char_code ....................... passed (0.000 sec)
% [78/93] surrogate:char_code ....................... passed (0.000 sec)
% [79/93] surrogate:atom_codes ...................... passed (0.000 sec)
% [80/93] surrogate:atom_codes ...................... passed (0.000 sec)
% [81/93] surrogate:atom_codes ...................... passed (0.000 sec)
% [82/93] surrogate:string_codes .................... passed (0.000 sec)
% [83/93] surrogate:string_codes .................... passed (0.000 sec)
% [84/93] surrogate:put_code ........................ passed (0.000 sec)
% [85/93] surrogate:put_code ........................ passed (0.000 sec)
% [86/93] surrogate:format_c ........................ passed (0.000 sec)
% [87/93] surrogate:utf8_stream ..................... passed (0.001 sec)
% [88/93] surrogate:utf8_stream ..................... passed (0.001 sec)
% [89/93] surrogate:utf8_stream_valid_low ........... passed (0.001 sec)
% [90/93] surrogate:utf8_stream_valid_high .......... passed (0.001 sec)
% [91/93] surrogate:utf8_string_bytes ............... passed (0.000 sec)
% [92/93] surrogate:utf16le_lone_trail .............. passed (0.001 sec)
% [93/93] surrogate:utf16be_lone_trail .............. passed (0.001 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/9] numbers:read ................................ passed (0.000 sec)
% [2/9] numbers:number_codes ........................ passed (0.000 sec)
% [3/9] numbers:atom_number ......................... passed (0.000 sec)
% [4/9] numbers:string_number ....................... passed (0.000 sec)
% [5/9] numbers:string_number ....................... passed (0.000 sec)
% [6/9] numbers:string_number ....................... passed (0.000 sec)
% [7/9] numbers:string_number ....................... passed (0.000 sec)
% [8/9] unicode_preds:atom_length ................... passed (0.000 sec)
% [9/9] 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/85] portray:exception .......................... passed (0.000 sec)
% [2/85] portray:blob ............................... passed (0.000 sec)
% [3/85] write_op:nodict ............................ passed (0.000 sec)
% [4/85] write_canonical:numbervars ................. passed (0.000 sec)
% [5/85] write_canonical:numbervars ................. passed (0.000 sec)
% [6/85] write_canonical:numbervars ................. passed (0.000 sec)
% [7/85] write_canonical:dot_in_atom ................ passed (0.000 sec)
% [8/85] write_canonical:dot_in_atom ................ passed (0.000 sec)
% [9/85] write_canonical:varname .................... passed (0.000 sec)
% [10/85] write_canonical:braceterm ................. passed (0.000 sec)
% [11/85] write_canonical:braceterm ................. passed (0.000 sec)
% [12/85] write_canonical:quote ..................... passed (0.000 sec)
% [13/85] write_canonical:quote ..................... passed (0.001 sec)
% [14/85] write_quoted:comment ...................... passed (0.000 sec)
% [15/85] write_quoted:comment ...................... passed (0.000 sec)
% [16/85] write_quoted:comment ...................... passed (0.000 sec)
% [17/85] write_quoted:comment ...................... passed (0.000 sec)
% [18/85] write_quoted:escape ....................... passed (0.000 sec)
% [19/85] write_quoted:escape ....................... passed (0.000 sec)
% [20/85] write_quoted:escape ....................... passed (0.001 sec)
% [21/85] write_quoted:escape ....................... passed (0.001 sec)
% [22/85] write_quoted:space ........................ passed (0.000 sec)
% [23/85] write_quoted:backslash .................... passed (0.000 sec)
% [24/85] write_quoted:backslash .................... passed (0.000 sec)
% [25/85] write_variable_names:variable_names ....... passed (0.000 sec)
% [26/85] write_variable_names:variable_names ....... passed (0.000 sec)
% [27/85] write_variable_names:variable_names ....... passed (0.000 sec)
% [28/85] write_variable_names:variable_names ....... passed (0.000 sec)
% [29/85] write_variable_names:variable_names ....... passed (0.000 sec)
% [30/85] write_variable_names:variable_names ....... passed (0.000 sec)
% [31/85] write_variable_names:variable_names ....... passed (0.000 sec)
% [32/85] write_variable_names:variable_names ....... passed (0.000 sec)
% [33/85] write_float:nan ........................... passed (0.000 sec)
% [34/85] write_misc:q_1 ............................ passed (0.000 sec)
% [35/85] write_misc:q_2 ............................ passed (0.000 sec)
% [36/85] write_misc:q_3 ............................ passed (0.000 sec)
% [37/85] write_misc:q_4 ............................ passed (0.000 sec)
% [38/85] write_misc:q_5 ............................ passed (0.000 sec)
% [39/85] write_misc:q_6 ............................ passed (0.000 sec)
% [40/85] write_misc:q_7 ............................ passed (0.000 sec)
% [41/85] write_misc:q_8 ............................ passed (0.000 sec)
% [42/85] write_misc:q_9 ............................ passed (0.000 sec)
% [43/85] write_misc:op_1 ........................... passed (0.000 sec)
% [44/85] write_misc:op_2 ........................... passed (0.000 sec)
% [45/85] write_misc:op_3 ........................... passed (0.000 sec)
% [46/85] write_misc:c_1 ............................ passed (0.000 sec)
% [47/85] write_misc:s_1 ............................ passed (0.000 sec)
% [48/85] max_text:string ........................... passed (0.000 sec)
% [49/85] max_text:string ........................... passed (0.000 sec)
% [50/85] max_text:string ........................... passed (0.000 sec)
% [51/85] max_text:string ........................... passed (0.000 sec)
% [52/85] max_text:string ........................... passed (0.000 sec)
% [53/85] max_text:string ........................... passed (0.000 sec)
% [54/85] max_text:atom ............................. passed (0.000 sec)
% [55/85] max_text:atom ............................. passed (0.000 sec)
% [56/85] max_text:atom ............................. passed (0.000 sec)
% [57/85] max_text:atom ............................. passed (0.000 sec)
% [58/85] max_text:atom ............................. passed (0.000 sec)
% [59/85] write_size:atom ........................... passed (0.000 sec)
% [60/85] write_size:compound ....................... passed (0.000 sec)
% [61/85] write_size:empty_atom ..................... passed (0.000 sec)
% [62/85] write_size:empty_atom_unquoted ............ passed (0.000 sec)
% [63/85] write_size:trailing_newline ............... passed (0.000 sec)
% [64/85] write_size:newline ........................ passed (0.000 sec)
% [65/85] write_size:newlines ....................... passed (0.000 sec)
% [66/85] write_size:max_width_exact ................ passed (0.000 sec)
% [67/85] write_size:max_width_overflow ............. passed (0.000 sec)
% [68/85] write_size:max_width_loose ................ passed (0.000 sec)
% [69/85] write_size:max_height_single .............. passed (0.000 sec)
% [70/85] write_size:max_height_exact ............... passed (0.000 sec)
% [71/85] write_size:max_height_overflow ............ passed (0.000 sec)
% [72/85] write_size:combining ...................... passed (0.000 sec)
% [73/85] write_size:combining_stack ................ passed (0.000 sec)
% [74/85] write_size:cjk ............................ passed (0.000 sec)
% [75/85] write_size:cjk_pair ....................... passed (0.000 sec)
% [76/85] write_size:emoji_vs16 ..................... passed (0.000 sec)
% [77/85] write_size:mixed .......................... passed (0.000 sec)
% [78/85] write_size:long ........................... passed (0.000 sec)
% [79/85] write_size:long_max_exact ................. passed (0.000 sec)
% [80/85] write_size:long_max_overflow .............. passed (0.000 sec)
% [81/85] write_size:long_multiline ................. passed (0.000 sec)
% [82/85] write_size:long_m..max_height_overflow .... passed (0.000 sec)
% [83/85] write_size:surrogate_split ................ passed (0.000 sec)
% [84/85] write_size:surrogate_split_max_exact ...... passed (0.000 sec)
% [85/85] write_size:surrog.._split_max_overflow .... 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.073 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.006 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.001 sec)
.
% [1/24] dif:1 ...................................... passed (0.000 sec)
% [2/24] dif:2 ...................................... passed (0.000 sec)
% [3/24] dif:3 ...................................... passed (0.000 sec)
% [4/24] dif:4 ...................................... passed (0.000 sec)
% [5/24] dif:5 ...................................... passed (0.000 sec)
% [6/24] dif:6 ...................................... passed (0.000 sec)
% [7/24] dif:7 ...................................... passed (0.000 sec)
% [8/24] dif:7b ..................................... passed (0.000 sec)
% [9/24] dif:8 ...................................... passed (0.000 sec)
% [10/24] dif:9 ..................................... passed (0.002 sec)
% [11/24] dif:10 .................................... passed (0.000 sec)
% [12/24] dif:res1 .................................. passed (0.000 sec)
% [13/24] dif:11 .................................... passed (0.000 sec)
% [14/24] dif:12 .................................... passed (0.000 sec)
% [15/24] dif:13 .................................... passed (0.000 sec)
% [16/24] dif:14 .................................... passed (0.000 sec)
% [17/24] dif:15 .................................... passed (0.001 sec)
% [18/24] dif:16 .................................... passed (0.000 sec)
% [19/24] dif:no_dup ................................ passed (0.001 sec)
% [20/24] dif:17 .................................... passed (0.000 sec)
% [21/24] dif:other_atts ............................ passed (0.000 sec)
% [22/24] dif:issue122 .............................. passed (0.000 sec)
% [23/24] dif:issue109 .............................. passed (0.000 sec)
% [24/24] dif:issue122 .............................. passed (0.000 sec)
. done
Running scripts from debug
% [1/2] d_break:call ................................ passed (0.000 sec)
% [2/2] d_break:t_break ............................. passed (0.173 sec)
............................. done
Running scripts from library .
% [1/17] foreach:forall ............................. passed (0.000 sec)
% [2/17] foreach:forall ............................. passed (0.000 sec)
% [3/17] foreach:dif1 ............................... passed (0.000 sec)
% [4/17] foreach:dif1 ............................... passed (0.000 sec)
% [5/17] foreach:member ............................. passed (0.000 sec)
% [6/17] foreach:ht ................................. passed (0.002 sec)
% [7/17] aggregate:aggregate_sum .................... passed (0.000 sec)
% [8/17] aggregate:aggregate_count .................. passed (0.000 sec)
% [9/17] aggregate:aggregate_term ................... passed (0.000 sec)
% [10/17] aggregate:aggregate_term_bag .............. passed (0.000 sec)
% [11/17] aggregate:aggregate_term0 ................. passed (0.000 sec)
% [12/17] aggregate:aggregate_age ................... passed (0.000 sec)
% [13/17] aggregate:aggregate_age_disc .............. passed (0.000 sec)
% [14/17] aggregate:max_density ..................... passed (0.000 sec)
% [15/17] aggregate:density_range ................... passed (0.000 sec)
% [16/17] aggregate:aggregate_all ................... passed (0.000 sec)
% [17/17] aggregate:e_vars .......................... passed (0.000 sec)
.
% [1/5] ansi_term:absolute_position_output .......... passed (0.000 sec)
% [2/5] ansi_term:absolute_position_input ........... passed (0.000 sec)
% [3/5] ansi_term:multi_position_output ............. passed (0.000 sec)
% [4/5] ansi_term:single_nonlist_argument ........... passed (0.000 sec)
% [5/5] ansi_term:multi_arguments ................... passed (0.000 sec)
.
% [1/12] foldl:foldl empty, starter is atom ......... passed (0.000 sec)
% [2/12] foldl:foldl empty, starter is unbound ...... passed (0.000 sec)
% [3/12] foldl:foldl const..f arguments, 1 list ..... passed (0.000 sec)
% [4/12] foldl:foldl const.. arguments, 2 lists ..... passed (0.000 sec)
% [5/12] foldl:foldl const.. arguments, 3 lists ..... passed (0.000 sec)
% [6/12] foldl:foldl const.. arguments, 4 lists ..... passed (0.000 sec)
% [7/12] foldl:foldl const..g unbound variables ..... passed (0.000 sec)
% [8/12] foldl:foldl build..lly increasing ints ..... passed (0.000 sec)
% [9/12] foldl:foldl build..g ints, just verify ..... passed (0.000 sec)
% [10/12] foldl:foldl breakoff with failure ......... passed (0.000 sec)
% [11/12] foldl:foldl breakoff with exception ....... passed (0.000 sec)
% [12/12] foldl:foldl on li..an unbound variable .... passed (0.000 sec)
.
% [1/8] arithmetic_function:func .................... passed (0.000 sec)
% [2/8] arithmetic_function:func .................... passed (0.000 sec)
% [3/8] arithmetic_function:func .................... passed (0.000 sec)
% [4/8] arithmetic_function:euler ................... passed (0.000 sec)
% [5/8] arithmetic_function:fail .................... passed (0.000 sec)
% [6/8] arithmetic_function:except .................. passed (0.000 sec)
% [7/8] arithmetic_function:fac ..................... passed (0.000 sec)
% [8/8] arithmetic_function:idiv .................... passed (0.000 sec)
.
% [1/16] assoc:wirth_85 ............................. passed (0.000 sec)
% [2/16] assoc:unbalanced_1 ......................... passed (0.000 sec)
% [3/16] assoc:unbalanced_2 ......................... passed (0.000 sec)
% [4/16] assoc:unbalanced_3 ......................... passed (0.000 sec)
% [5/16] assoc:unordered_1 .......................... passed (0.000 sec)
% [6/16] assoc:unordered_2 .......................... passed (0.000 sec)
% [7/16] assoc:unordered_3 .......................... passed (0.000 sec)
% [8/16] assoc:bad_structure_1 ...................... passed (0.000 sec)
% [9/16] assoc:bad_structure_2 ...................... passed (0.000 sec)
% [10/16] assoc:bad_structure_keys_not_ground ....... passed (0.000 sec)
% [11/16] assoc:del_max_min ......................... passed (0.000 sec)
% [12/16] assoc:wirth_del ........................... passed (0.000 sec)
% [13/16] assoc:random_min .......................... passed (0.001 sec)
% [14/16] assoc:random_max .......................... passed (0.001 sec)
% [15/16] assoc:del_empty ........................... passed (0.000 sec)
% [16/16] assoc:del_no_member ....................... passed (0.000 sec)
.
% [1/8] csv_read_file_row:normal .................... passed (0.005 sec)
% [2/8] csv_read_file_row:emptyline ................. passed (0.000 sec)
% [3/8] csv_read_file_row:quoted .................... passed (0.000 sec)
% [4/8] csv_read_file_row:quoted_ignored ............ passed (0.000 sec)
% [5/8] csv_read_file_row:quoted_lf ................. passed (0.001 sec)
% [6/8] csv_read_file_row:quoted_lf_ignored ......... passed (0.000 sec)
% [7/8] csv_read_file_row:quoted_crlf ............... passed (0.000 sec)
% [8/8] csv_read_file_row:quoted_crlf_ignored ....... passed (0.000 sec)
.'%Z': got 'Mitteleuropäische Sommerzeit', expected 'CEST'
% [1/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [2/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [3/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [4/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [5/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [6/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [7/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [8/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [9/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [10/12] format_time:fraction ...................... passed (0.000 sec)
% [11/12] format_time:negfraction ................... passed (0.000 sec)
% [12/12] date_time_stamp:tz ........................ passed (0.000 sec)
.
% [1-1/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-2/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-3/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-4/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-5/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-6/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [2/14] sequence:sequence.. order of solutions ..... passed (0.000 sec)
% [3-1/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [3-2/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [3-3/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [3-4/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [3-5/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [4/14] sequence:sequence//2 nondet element ........ passed (0.000 sec)
% [5/14] sequence:sequence..et element and rest ..... passed (0.000 sec)
% [6-1/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-2/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-3/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-4/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-5/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-6/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [7/14] sequence:sequence..lement trailing sep ..... passed (0.000 sec)
% [8/14] sequence:sequence..p consumed silently ..... passed (0.000 sec)
% [9/14] sequence:sequence//3 separator only ........ passed (0.000 sec)
% [10/14] sequence:sequence//3 nondet element ....... passed (0.000 sec)
% [11-1/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-2/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-3/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-4/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-5/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [12/14] sequence:sequence..lement trailing sep .... passed (0.000 sec)
% [13/14] sequence:sequence//5 sep only ............. passed (0.000 sec)
% [14/14] sequence:sequence//5 nondet element ....... passed (0.000 sec)
.
% [1/18] must_be:integer ............................ passed (0.000 sec)
% [2/18] must_be:integer ............................ passed (0.000 sec)
% [3/18] must_be:integer ............................ passed (0.000 sec)
% [4/18] must_be:integer ............................ passed (0.000 sec)
% [5/18] must_be:integer ............................ passed (0.000 sec)
% [6/18] must_be:rational ........................... passed (0.000 sec)
% [7/18] must_be:rational ........................... passed (0.000 sec)
% [8/18] must_be:rational ........................... passed (0.000 sec)
% [9/18] must_be:rational ........................... passed (0.000 sec)
% [10/18] must_be:rational .......................... passed (0.000 sec)
% [11/18] must_be:list_of_integer ................... passed (0.000 sec)
% [12/18] must_be:list_of_integer ................... passed (0.000 sec)
% [13/18] must_be:list_of_integer ................... passed (0.000 sec)
% [14/18] must_be:list_of_integer ................... passed (0.000 sec)
% [15/18] must_be:list_of_integer ................... passed (0.000 sec)
% [16/18] must_be:list_of_integer ................... passed (0.000 sec)
% [17/18] must_be:list_of_integer ................... passed (0.000 sec)
% [18/18] must_be:list_of_integer ................... passed (0.000 sec)
.
% [1/7] evaluable_property:consistency .............. passed (0.000 sec)
% [2/7] evaluable_property:consistency .............. passed (0.000 sec)
% [3/7] evaluable_property:det ...................... passed (0.000 sec)
% [4/7] evaluable_property:ndet ..................... passed (0.000 sec)
% [5/7] evaluable_property:templ .................... passed (0.002 sec)
% [6/7] evaluable_property:iso ...................... passed (0.000 sec)
% [7/7] evaluable_property:error .................... passed (0.001 sec)
.
% [1/8] hashtable:rfill ............................. passed (0.008 sec)
% [2/8] hashtable:rdel .............................. passed (0.009 sec)
% [3/8] hashtable:empty ............................. passed (0.000 sec)
% [4/8] hashtable:empty ............................. passed (0.000 sec)
% [5/8] hashtable:size .............................. passed (0.000 sec)
% [6/8] hashtable:put5 .............................. passed (0.000 sec)
% [7/8] hashtable:put5 .............................. passed (0.000 sec)
% [8/8] hashtable:wc ................................ passed (0.000 sec)
.
% [1/6] intercept:assign ............................ passed (0.002 sec)
% [2/6] intercept:assign ............................ passed (0.000 sec)
% [3/6] intercept:no_univ ........................... passed (0.000 sec)
% [4/6] intercept:all ............................... passed (0.000 sec)
% [5/6] intercept:all_empty ......................... passed (0.000 sec)
% [6/6] intercept:all_nb ............................ passed (0.000 sec)
.
% [1/2] lazy_lists:list ............................. passed (0.000 sec)
% [2/2] lazy_lists:state ............................ passed (0.000 sec)
.
% [1/1] lists:reverse ............................... passed (0.000 sec)
.
% [1/48] argv_options_unguided:unguided ............. passed (0.002 sec)
% [2/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [3/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [4/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [5/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [6/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [7/48] argv_options_bool:guided ................... passed (0.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.002 sec)
% [18/23] read_pending_input:octet .................. passed (0.002 sec)
% [19/23] read_pending_input:iso_latin_1 ............ passed (0.002 sec)
% [20/23] read_pending_input:utf8 ................... passed (0.003 sec)
% [21/23] read_pending_input:utf16be ................ passed (0.002 sec)
% [22/23] read_pending_input:utf16le ................ passed (0.002 sec)
% [23/23] read_pending_input:wchar_t ................ passed (0.002 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.075 sec)
.
% [1/145] rbtrees:keys .............................. passed (0.000 sec)
% [2/145] rbtrees:clone3 ............................ passed (0.000 sec)
% [3/145] rbtrees:pos ............................... passed (0.008 sec)
% [4/145] rbtrees:neg ............................... passed (0.010 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.005 sec)
% [2/10] source_info:hu2/1 .......................... passed (0.001 sec)
% [3/10] source_info:hu3/1 .......................... passed (0.001 sec)
% [4/10] source_info:ssu1/1 ......................... passed (0.001 sec)
% [5/10] source_info:nsu1/1 ......................... passed (0.001 sec)
% [6/10] source_info:ssu2/1 ......................... passed (0.001 sec)
% [7/10] source_info:ssu3/1 ......................... passed (0.001 sec)
% [8/10] source_info:ssu4/1 ......................... passed (0.001 sec)
% [9/10] source_info:ssu5/1 ......................... passed (0.001 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.002 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.001 sec)
% [49/56] strings:indent_nomargin_all_lines ......... passed (0.000 sec)
% [50/56] strings:indent_no_lines ................... passed (0.000 sec)
% [51/56] strings:roundtrip_spaces .................. passed (0.000 sec)
% [52/56] strings:roundtrip_tabs .................... passed (0.000 sec)
% [53/56] strings:roundtrip_mixed ................... passed (0.000 sec)
% [54/56] strings:indent_default .................... passed (0.000 sec)
% [55/56] strings:indent_all_lines .................. passed (0.000 sec)
% [56/56] strings:indent_empty_lines ................ passed (0.000 sec)
.
% [1/10] thread:true ................................ passed (0.001 sec)
% [2/10] thread:unify ............................... passed (0.000 sec)
% [3/10] thread:unify ............................... passed (0.000 sec)
% [4/10] thread:fail ................................ passed (0.001 sec)
% [5/10] thread:error ............................... passed (0.001 sec)
% [6/10] thread:concur .............................. passed (0.012 sec)
% [7/10] thread:first ............................... passed (0.001 sec)
% [8/10] thread:first ............................... passed (0.001 sec)
% [9/10] thread:first ............................... passed (0.002 sec)
% [10/10] thread:first .............................. passed (0.001 sec)
.
% [1/4] thread_pool:current ......................... passed (0.002 sec)
% [2/4] thread_pool:free ............................ passed (0.002 sec)
% [3/4] thread_pool:free ............................ passed (0.000 sec)
% [4/4] thread_pool:loop ............................ passed (0.258 sec)
.
% [1/2] tmp_module:nqueens .......................... passed (0.044 sec)
% [2/2] tmp_module:current_op ....................... passed (1.558 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.001 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/4] when:nested_ground .......................... passed (0.000 sec)
% [2/4] when:nested_ground .......................... passed (0.000 sec)
% [3/4] when:nested_ground .......................... passed (0.000 sec)
% [4/4] clp_gc:ndet_foreign_wakeup .................. passed (0.000 sec)
.
% [1/42] yall_tests:call ............................ passed (0.000 sec)
% [2/42] yall_tests:call ............................ passed (0.000 sec)
% [3/42] yall_tests:call ............................ passed (0.000 sec)
% [4/42] yall_tests:call ............................ passed (0.000 sec)
% [5/42] yall_tests:disjunction ..................... passed (0.000 sec)
% [6/42] yall_tests:free ............................ passed (0.000 sec)
% [7/42] yall_tests:maplist ......................... passed (0.000 sec)
% [8/42] yall_tests:maplist ......................... passed (0.000 sec)
% [9/42] yall_tests:maplist ......................... passed (0.000 sec)
% [10/42] yall_tests:maplist ........................ passed (0.000 sec)
% [11/42] yall_tests:maplist ........................ passed (0.000 sec)
% [12/42] yall_tests:maplist ........................ passed (0.000 sec)
% [13/42] yall_tests:maplist ........................ passed (0.000 sec)
% [14/42] yall_tests:maplist ........................ passed (0.000 sec)
% [15/42] yall_tests:maplist ........................ passed (0.000 sec)
% [16/42] yall_tests:maplist ........................ passed (0.000 sec)
% [17/42] yall_tests:maplist ........................ passed (0.000 sec)
% [18/42] yall_tests:include ........................ passed (0.000 sec)
% [19/42] yall_tests:include ........................ passed (0.000 sec)
% [20/42] yall_tests:include ........................ passed (0.000 sec)
% [21/42] yall_tests:include ........................ passed (0.000 sec)
% [22/42] yall_tests:trivial ........................ passed (0.000 sec)
% [23/42] yall_tests:trivial ........................ passed (0.000 sec)
% [24/42] yall_tests:trivial ........................ passed (0.000 sec)
% [25/42] yall_tests:trivial ........................ passed (0.000 sec)
% [26/42] yall_tests:fold_left_in_disguise .......... passed (0.000 sec)
% [27/42] yall_tests:fold_left_in_disguise .......... passed (0.000 sec)
% [28/42] yall_tests:fold_left_in_disguise .......... passed (0.000 sec)
% [29/42] yall_tests:dif ............................ passed (0.000 sec)
% [30/42] yall_tests:dif ............................ passed (0.000 sec)
% [31/42] yall_tests:carlo_capelli_example .......... passed (0.000 sec)
% [32/42] yall_tests:setof .......................... passed (0.000 sec)
% [33/42] yall_tests:distances ...................... passed (0.000 sec)
% [34/42] yall_tests:distances ...................... passed (0.000 sec)
% [35/42] yall_tests:sum_squares .................... passed (0.000 sec)
% [36/42] yall_tests:sum_squares .................... passed (0.000 sec)
% [37/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [38/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [39/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [40/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [41/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [42/42] yall_tests:dcgs ........................... passed (0.000 sec)
. done
Running scripts from compile
% [1/1] autoload:not_from_user ...................... passed (0.002 sec)
. done
Running scripts from charset . done
Running scripts from eclipse
% Running ECLiPSe tests from file d:/temp/2026_06_06_01_50_00_18785/rtmpc1at0h/rlibs_df2385b8e70ae/rswipl/swipl/test/eclipse/format.tst
.................................................................................................................................................................................................
% Finished tests from file d:/temp/2026_06_06_01_50_00_18785/rtmpc1at0h/rlibs_df2385b8e70ae/rswipl/swipl/test/eclipse/format.tst
% 193 tests found.
% 193 tests succeeded.
% Running ECLiPSe tests from file d:/temp/2026_06_06_01_50_00_18785/rtmpc1at0h/rlibs_df2385b8e70ae/rswipl/swipl/test/eclipse/format_strings.tst
...
% Finished tests from file d:/temp/2026_06_06_01_50_00_18785/rtmpc1at0h/rlibs_df2385b8e70ae/rswipl/swipl/test/eclipse/format_strings.tst
% 3 tests found.
% 3 tests succeeded.
% Running ECLiPSe tests from file d:/temp/2026_06_06_01_50_00_18785/rtmpc1at0h/rlibs_df2385b8e70ae/rswipl/swipl/test/eclipse/string_tests.tst
........................................................................................................................................................................
% Finished tests from file d:/temp/2026_06_06_01_50_00_18785/rtmpc1at0h/rlibs_df2385b8e70ae/rswipl/swipl/test/eclipse/string_tests.tst
% 168 tests found.
% 168 tests succeeded.
. done
Running scripts from files
% [1/6] file_names:1 ................................ passed (0.007 sec)
% [2/6] file_names:2 ................................ passed (0.006 sec)
% [3/6] file_names:3 ................................ passed (0.027 sec)
% [4/6] file_names:5 ................................ passed (0.036 sec)
% [5/6] file_names:4 ................................ passed (0.026 sec)
% [6/6] file_names:6 ................................ passed (0.033 sec)
.
% [1/17] files:tmp_cleanup .......................... passed (0.020 sec)
% [2/17] files:directory_files ...................... passed (0.000 sec)
% [3/17] files:directory_files ...................... passed (0.001 sec)
% [4/17] files:max_path_len ......................... passed (0.009 sec)
% [5/17] files:max_path_len ......................... passed (0.009 sec)
% [6/17] files:max_path_len ......................... passed (0.009 sec)
% [7/17] files:at_end_of_stream ..................... passed (0.001 sec)
% [8/17] files:at_end_of_stream ..................... passed (0.001 sec)
% [9/17] files:at_end_of_stream ..................... passed (0.001 sec)
% [10/17] files:file_directory_name ................. passed (0.000 sec)
% [11/17] files:file_directory_name ................. passed (0.000 sec)
% [12/17] files:file_directory_name ................. passed (0.000 sec)
% [13/17] files:file_base_name ...................... passed (0.000 sec)
% [14/17] files:file_base_name ...................... passed (0.000 sec)
% [15/17] files:file_base_name ...................... passed (0.000 sec)
% [16/17] files:file_base_name ...................... passed (0.000 sec)
% [17/17] files:nul ................................. passed (0.000 sec)
.
% [1/33] glob_match:glob ............................ passed (0.000 sec)
% [2/33] glob_match:glob ............................ passed (0.000 sec)
% [3/33] glob_match:glob ............................ passed (0.000 sec)
% [4/33] glob_match:glob ............................ passed (0.000 sec)
% [5/33] glob_match:glob ............................ passed (0.000 sec)
% [6/33] glob_match:glob ............................ passed (0.000 sec)
% [7/33] glob_match:glob ............................ passed (0.000 sec)
% [8/33] glob_match:glob ............................ passed (0.000 sec)
% [9/33] glob_match:glob ............................ passed (0.000 sec)
% [10/33] glob_match:glob ........................... passed (0.000 sec)
% [11/33] glob_match:glob ........................... passed (0.000 sec)
% [12/33] glob_match:glob ........................... passed (0.000 sec)
% [13/33] glob_match:glob ........................... passed (0.000 sec)
% [14/33] glob_match:glob ........................... passed (0.000 sec)
% [15/33] glob_match:glob ........................... passed (0.000 sec)
% [16/33] glob_match:glob ........................... passed (0.000 sec)
% [17/33] glob_match:glob ........................... passed (0.000 sec)
% [18/33] glob_match:glob ........................... passed (0.000 sec)
% [19/33] glob_match:glob ........................... passed (0.000 sec)
% [20/33] glob_match:glob ........................... passed (0.000 sec)
% [21/33] glob_match:glob ........................... passed (0.000 sec)
% [22/33] glob_match:glob ........................... passed (0.000 sec)
% [23/33] glob_match:glob ........................... passed (0.000 sec)
% [24/33] glob_match:glob ........................... passed (0.000 sec)
% [25/33] glob_match:glob ........................... passed (0.000 sec)
% [26/33] glob_match:glob ........................... passed (0.000 sec)
% [27/33] glob_match:glob ........................... passed (0.000 sec)
% [28/33] glob_match:glob ........................... passed (0.000 sec)
% [29/33] glob_match:glob ........................... passed (0.000 sec)
% [30/33] glob_expand:glob .......................... passed (0.001 sec)
% [31/33] glob_expand:cyrillic ...................... passed (0.001 sec)
% [32/33] glob_expand:cyrillic ...................... passed (0.002 sec)
% [33/33] glob_expand:cyrillic ...................... passed (0.002 sec)
.
% [1/3] pipe:pwd ..Der Befehl "cmd" ist entweder falsch geschrieben oder
konnte nicht gefunden werden.
................................ **FAILED (0.028 sec)
ERROR: [Thread main] d:/temp/2026_06_06_01_50_00_18785/rtmpc1at0h/rlibs_df2385b8e70ae/rswipl/swipl/test/files/test_pipe.pl:55:
ERROR: [Thread main] test pipe:pwd: failed
% [2/3] pipe:cat1 ..Der Befehl "cmd" ist entweder falsch geschrieben oder
konnte nicht gefunden werden.
............................... **FAILED (0.026 sec)
ERROR: [Thread main] d:/temp/2026_06_06_01_50_00_18785/rtmpc1at0h/rlibs_df2385b8e70ae/rswipl/swipl/test/files/test_pipe.pl:67:
ERROR: [Thread main] test pipe:cat1: received error: open/3: source_sink `'pltest-2577424.txt'' does not exist (No such file or directory)
% [3/3] pipe:cat2 ..Der Befehl "cmd" ist entweder falsch geschrieben oder
konnte nicht gefunden werden.
................................. passed (0.026 sec)
ERROR: [Thread main] 2 tests failed
Script d:/temp/2026_06_06_01_50_00_18785/rtmpc1at0h/rlibs_df2385b8e70ae/rswipl/swipl/test/files/test_pipe.pl failed
done
Running scripts from clp . done
Running scripts from GC
% [1/1] agc_copyterm:copy ........................... passed (0.284 sec)
..
% [1/2] ch_shift:local_st.._expansion_many_chp ...... passed (0.125 sec)
% [2/2] ch_shift:local_st..pansion_pending_chp ...... passed (0.003 sec)
..
% [1/12] cleanup_shift:gtrue ........................ passed (0.003 sec)
% [2/12] cleanup_shift:ltrue ........................ passed (0.001 sec)
% [3/12] cleanup_shift:ttrue ........................ passed (0.005 sec)
% [4/12] cleanup_shift:gfalse ....................... passed (0.002 sec)
% [5/12] cleanup_shift:lfalse ....................... passed (0.000 sec)
% [6/12] cleanup_shift:tfalse ....................... passed (0.004 sec)
% [7/12] cleanup_shift:gcut ......................... passed (0.002 sec)
% [8/12] cleanup_shift:lcut ......................... passed (0.000 sec)
% [9/12] cleanup_shift:tcut ......................... passed (0.004 sec)
% [10/12] cleanup_shift:gexcept ..................... passed (0.003 sec)
% [11/12] cleanup_shift:lexcept ..................... passed (0.000 sec)
% [12/12] cleanup_shift:texcept ..................... passed (0.004 sec)
..
% [1/1] gc_alt_clause:alt_rat ....................... passed (0.000 sec)
.......... done
Running scripts from thread ......
% [1/8] queue_gc:exists ............................. passed (0.000 sec)
% [2/8] queue_gc:exists ............................. passed (0.000 sec)
% [3/8] queue_gc:exists ............................. passed (0.000 sec)
% [4/8] queue_gc:alias .............................. passed (0.000 sec)
% [5/8] queue_gc:new ................................ passed (0.000 sec)
% [6/8] queue_gc:destroy ............................ passed (0.002 sec)
% [7/8] queue_gc:gc ................................. passed (0.001 sec)
% [8/8] queue_gc:gc ................................. passed (0.001 sec)
....
% [1/1] queue_select:even ........................... passed (0.000 sec)
..
% [1/4] queue_timeout:relative ...................... passed (0.008 sec)
% [2/4] queue_timeout:abs ........................... passed (0.015 sec)
% [3/4] queue_timeout:abs_rel1 ...................... passed (0.015 sec)
% [4/4] queue_timeout:abs_rel2 ...................... passed (0.015 sec)
....
% [1/1] test_dynamic:retractall ..................... passed (0.004 sec)
............
% [1/5] concurrent_and:basic ........................ passed (0.007 sec)
% [2/5] concurrent_and:select ....................... passed (0.007 sec)
% [3/5] concurrent_and:cut .......................... passed (0.007 sec)
% [4/5] concurrent_and:error ........................ passed (0.007 sec)
% [5/5] concurrent_and:gen_error .................... passed (0.007 sec)
.
% [1/5] rwlocks:basic_write_lock .................... passed (0.004 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.499 sec)
% [5/5] rwlocks:invalid_mode ........................ passed (0.002 sec)
...
% [1/1] thread_exit:clean_exit ...................... passed (0.654 sec)
.
Warning: [Thread 31] thread_send_message/2: thread `<thread>(39,0000019877206520)' does not exist
.
% [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.001 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.002 sec)
% [10/24] thread_property:status_fail ............... passed (0.001 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.000 sec)
% [14/24] thread_property:existence ................. passed (0.000 sec)
% [15/24] thread_property:existence ................. passed (0.000 sec)
% [16/24] mutex:lock ................................ passed (0.000 sec)
% [17/24] mutex:destroy ............................. passed (0.000 sec)
% [18/24] mutex:destroy_locked ...................... passed (0.000 sec)
% [19/24] mutex:destroy_locked_other_thread ......... passed (0.000 sec)
% [20/24] mutex_property:alias ...................... passed (0.000 sec)
% [21/24] mutex_property:generate ................... passed (0.000 sec)
% [22/24] mutex_property:locked ..................... passed (0.000 sec)
% [23/24] message_queue:max_size_prop ............... passed (0.000 sec)
% [24/24] message_queue:size_prop ................... passed (0.000 sec)
...... done
Running scripts from thread_wait
% [1/1] functor_cache:race .......................... passed (0.015 sec)
.
% [1/17] signal_api:pending ......................... passed (0.000 sec)
% [2/17] signal_api:pending ......................... passed (0.000 sec)
% [3/17] signal_api:remove .......................... passed (0.000 sec)
% [4/17] signal_api:remove .......................... passed (0.000 sec)
% [5/17] signal_api:remove .......................... passed (0.000 sec)
% [6/17] signal_api:remove .......................... passed (0.000 sec)
% [7/17] signal_api:remove .......................... passed (0.000 sec)
% [8/17] signal_api:remove .......................... passed (0.000 sec)
% [9/17] signal_api:backtrack ....................... passed (0.000 sec)
% [10/17] signal_catch:recover ...................... passed (0.000 sec)
% [11/17] signal_catch:atomic ....................... passed (0.000 sec)
% [12/17] signal_catch:cleanup ...................... passed (0.000 sec)
% [13/17] signal_catch:signal ....................... passed (0.000 sec)
% [14/17] signal_nested:nested_likely ............... passed (0.001 sec)
% [15/17] signal_nested:nested_sure ................. passed (0.000 sec)
% [16/17] signal_nested:nested_atomic ............... passed (0.000 sec)
% [17/17] signal_exceptions:chained ................. passed (0.056 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.002 sec)
.
% [1/3] tr_incremental_tabling:assert ............... passed (0.000 sec)
% [2/3] tr_incremental_tabling:tmp_assert ........... passed (0.000 sec)
% [3/3] tr_incremental_tabling:retract .............. passed (0.000 sec)
.
% [1/23] transaction:assert ......................... passed (0.000 sec)
% [2/23] transaction:retract ........................ passed (0.000 sec)
% [3/23] transaction:assert_retract ................. passed (0.000 sec)
% [4/23] transaction:nested1 ........................ passed (0.000 sec)
% [5/23] transaction:nested2 ........................ passed (0.000 sec)
% [6/23] transaction:nested3 ........................ passed (0.000 sec)
% [7/23] transaction:nested4 ........................ passed (0.000 sec)
% [8/23] transaction:nested5 ........................ passed (0.000 sec)
% [9/23] transaction:nested6 ........................ passed (0.000 sec)
% [10/23] transaction:nested7 ....................... passed (0.000 sec)
% [11/23] transaction:nested8 ....................... passed (0.000 sec)
% [12/23] transaction:nested9 ....................... passed (0.000 sec)
% [13/23] transaction:update1 ....................... passed (0.000 sec)
% [14/23] transaction:update2 ....................... passed (0.000 sec)
% [15/23] transaction:update3 ....................... passed (0.000 sec)
% [16/23] thread_transaction:commit ................. passed (0.001 sec)
% [17/23] thread_transaction:discard ................ passed (0.001 sec)
% [18/23] thread_transaction:discard2 ............... passed (0.001 sec)
% [19/23] thread_transaction:isolate_assert ......... passed (0.000 sec)
% [20/23] thread_transaction:isolate_retract ........ passed (0.000 sec)
% [21/23] thread_transaction:isolate_retract2 ....... passed (0.001 sec)
% [22/23] thread_transaction:isolate_retract2b ...... passed (0.001 sec)
% [23/23] thread_transaction:isolate_retract2b ...... passed (0.000 sec)
. done
Running scripts from save
% [1/7] qlf:unicode ................................. passed (0.005 sec)
% [2/7] qlf:h_integer ............................... passed (0.009 sec)
% [3/7] qlf:b_integer ............................... passed (0.009 sec)
% [4/7] qlf:expr .................................... passed (0.010 sec)
% [5/7] qlf:cmp ..................................... passed (0.009 sec)
% [6/7] qlf:add_fc .................................. passed (0.009 sec)
% [7/7] qlf:rat ..................................... passed (0.009 sec)
.
% [1/3] saved_state:true ............................ passed (1.425 sec)
% [2/3] saved_state:argv ............................ passed (1.547 sec)
% [3/3] saved_state:true ............................ passed (1.457 sec)
. done
Running scripts from tabling ..
% [1/2] answer_subsumption:as_with_no_as ............ passed (0.000 sec)
% [2/2] answer_subsumption:max ...................... passed (0.000 sec)
.
% [1/9] incr_answer_subsumption_1:update ............ passed (0.003 sec)
% [2/9] incr_answer_subsumption_1:keep .............. passed (0.000 sec)
% [3/9] incr_answer_subsumption_1:reeval ............ passed (0.000 sec)
% [4/9] mono_answer_subsumption_1:update ............ passed (0.000 sec)
% [5/9] mono_answer_subsumption_1:keep .............. passed (0.000 sec)
% [6/9] mono_answer_subsumption_1:reeval ............ passed (0.000 sec)
% [7/9] mono_answer_subsumption_1:reeval ............ passed (0.000 sec)
% [8/9] mono_answer_subsumption_lazy_1:update ....... passed (0.000 sec)
% [9/9] mono_answer_subsumption_lazy_1:update ....... passed (0.000 sec)
.
% [1/10] monotonic_tabling:pa1 ...................... passed (0.000 sec)
% [2/10] monotonic_tabling:pa2 ...................... passed (0.000 sec)
% [3/10] monotonic_tabling:pb ....................... passed (0.000 sec)
% [4/10] monotonic_tabling:closure .................. passed (0.002 sec)
% [5/10] monotonic_tabling:closure2 ................. passed (0.119 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.035 sec)
% [18/18] tabling_monotonic_lazy_16:reeval .......... passed (0.001 sec)
.
% [1/8] tabling_reeval:mutal_dependent .............. passed (0.000 sec)
% [2/8] tabling_reeval:multiple_dependents .......... passed (0.000 sec)
% [3/8] tabling_reeval_merged:only .................. passed (0.000 sec)
% [4/8] dynamic_tabled:wfs .......................... passed (0.003 sec)
% [5/8] dynamic_tabled2:wfs ......................... passed (0.000 sec)
% [6/8] dynamic_tabled2:wfs2 ........................ passed (0.000 sec)
% [7/8] dynamic_tabled3:wfs ......................... passed (0.000 sec)
% [8/8] dynamic_tabled4:wfs ......................... passed (0.000 sec)
....
% [1/1] shared_reeval:propagate_falsecount .......... passed (0.001 sec)
.
% [1/1] tabled_shortest_path:path ................... passed (0.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.059 sec)
.
% [1/6] test_transact_incr_1:commit ................. passed (0.000 sec)
% [2/6] test_transact_incr_1:rollback ............... passed (0.000 sec)
% [3/6] test_transact_incr_1:snapshot ............... passed (0.000 sec)
% [4/6] test_transact_incr_1:snapshot ............... passed (0.000 sec)
% [5/6] test_transact_incr_1:snapshot ............... passed (0.000 sec)
% [6/6] test_transact_incr_1:snapshot ............... passed (0.000 sec)
.
% [1/7] test_transact_mono_1:commit ................. passed (0.000 sec)
% [2/7] test_transact_mono_1:rollback ............... passed (0.000 sec)
% [3/7] test_transact_mono_1:snapshot ............... passed (0.000 sec)
% [4/7] test_transact_mono_1:snapshot ............... passed (0.000 sec)
% [5/7] test_transact_mono_1:snapshot ............... passed (0.000 sec)
% [6/7] test_transact_mono_1:snapshot ............... passed (0.000 sec)
% [7/7] test_transact_mono_2:retract ................ passed (0.000 sec)
.
% [1/13] test_transact_mono_lazy_1:commit ........... passed (0.000 sec)
% [2/13] test_transact_mono_lazy_1:rollback ......... passed (0.000 sec)
% [3/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec)
% [4/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec)
% [5/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec)
% [6/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec)
% [7/13] test_transact_mono_lazy_2:retract .......... passed (0.000 sec)
% [8/13] test_transact_mon..zy_2:outside_assert ..... passed (0.000 sec)
% [9/13] test_transact_mono_lazy_2:mixed_assert ..... passed (0.000 sec)
% [10/13] test_transact_mon..zy_3:outside_assert .... passed (0.000 sec)
% [11/13] test_transact_mon.._4:new_dependencies .... passed (0.000 sec)
% [12/13] test_transact_mon.._5:already_forced_1 .... passed (0.000 sec)
% [13/13] test_transact_mon.._5:already_forced_2 .... passed (0.000 sec)
.
% [1/23] trie:insert_atom ........................... passed (0.000 sec)
% [2/23] trie:insert_value_term ..................... passed (0.000 sec)
% [3/23] trie:insert_two ............................ passed (0.000 sec)
% [4/23] trie:insert_compound ....................... passed (0.000 sec)
% [5/23] trie:insert_nested ......................... passed (0.000 sec)
% [6/23] trie:insert_nested2 ........................ passed (0.000 sec)
% [7/23] trie:insert_nested_get ..................... passed (0.000 sec)
% [8/23] trie:insert_vars ........................... passed (0.000 sec)
% [9/23] trie:insert_variant ........................ passed (0.000 sec)
% [10/23] trie:insert_vars .......................... passed (0.000 sec)
% [11/23] trie:rescale_cars ......................... passed (0.009 sec)
% [12/23] trie:insert_gsize ......................... passed (0.000 sec)
% [13/23] trie:insert_cycle ......................... passed (0.000 sec)
% [14/23] trie:delete ............................... passed (0.000 sec)
% [15/23] trie:gen_indirect ......................... passed (0.000 sec)
% [16/23] trie:var1 ................................. passed (0.000 sec)
% [17/23] trie:var2 ................................. passed (0.000 sec)
% [18/23] trie:var3 ................................. passed (0.000 sec)
% [19/23] trie:issue_1277 ........................... passed (0.000 sec)
% [20/23] trie:gen_compiled2_free ................... passed (0.000 sec)
% [21/23] trie:gen_compiled2_instantiated ........... passed (0.000 sec)
% [22/23] trie:gen_compiled3_free ................... passed (0.000 sec)
% [23/23] trie:gen_compiled3_cycle .................. passed (0.000 sec)
.
% [1/24] trie_attvars:simple ........................ passed (0.000 sec)
% [2/24] trie_attvars:simple_compiled ............... passed (0.000 sec)
% [3/24] trie_attvars:plain ......................... passed (0.000 sec)
% [4/24] trie_attvars:plain_compiled ................ passed (0.000 sec)
% [5/24] trie_attvars:nesting ....................... passed (0.000 sec)
% [6/24] trie_attvars:nesting_compiled .............. passed (0.000 sec)
% [7/24] trie_attvars:nesting2 ...................... passed (0.000 sec)
% [8/24] trie_attvars:nesting2_compiled ............. passed (0.000 sec)
% [9/24] trie_attvars:shared ........................ passed (0.000 sec)
% [10/24] trie_attvars:shared_compiled .............. passed (0.000 sec)
% [11/24] trie_attvars:unify_true ................... passed (0.000 sec)
% [12/24] trie_attvars:unify_true_compiled .......... passed (0.000 sec)
% [13/24] trie_attvars:unify_fail_1 ................. passed (0.000 sec)
% [14/24] trie_attvars:unify_fail_1_compiled ........ passed (0.000 sec)
% [15/24] trie_attvars:unify_fail_2 ................. passed (0.000 sec)
% [16/24] trie_attvars:unify_fail_2_compiled ........ passed (0.000 sec)
% [17/24] trie_attvars:unify_shared ................. passed (0.000 sec)
% [18/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec)
% [19/24] trie_attvars:unify_shared ................. passed (0.000 sec)
% [20/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec)
% [21/24] trie_attvars:unify_shared ................. passed (0.000 sec)
% [22/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec)
% [23/24] trie_attvars:unify_multi .................. passed (0.000 sec)
% [24/24] trie_attvars:unify_multi_compiled ......... passed (0.000 sec)
.
% [1/8] wfs_delays:delays ........................... passed (0.000 sec)
% [2/8] wfs_delays:delays ........................... passed (0.000 sec)
% [3/8] wfs_delays:delays ........................... passed (0.000 sec)
% [4/8] wfs_delays:delays ........................... passed (0.000 sec)
% [5/8] wfs_delays:delays ........................... passed (0.000 sec)
% [6/8] wfs_delays:residual ......................... passed (0.000 sec)
% [7/8] wfs_delays:as ............................... passed (0.000 sec)
% [8/8] wfs_dwin:dwin ............................... passed (0.000 sec)
. done
Running scripts from basic_tests
% [1/26] xsb_basic_tests:tsstr13 .................... passed (0.025 sec)
% [2/26] xsb_basic_tests:tsstr23 .................... passed (0.011 sec)
% [3/26] xsb_basic_tests:tsstr33 .................... passed (0.011 sec)
% [4/26] xsb_basic_tests:tstr11 ..................... passed (0.008 sec)
% [5/26] xsb_basic_tests:tstr21 ..................... passed (0.009 sec)
% [6/26] xsb_basic_tests:tstr31 ..................... passed (0.010 sec)
% [7/26] xsb_basic_tests:tstr51 ..................... passed (0.010 sec)
% [8/26] xsb_basic_tests:tstr61 ..................... passed (0.010 sec)
% [9/26] xsb_basic_tests:tstr12 ..................... passed (0.008 sec)
% [10/26] xsb_basic_tests:tstr22 .................... passed (0.006 sec)
% [11/26] xsb_basic_tests:tstr32 .................... passed (0.006 sec)
% [12/26] xsb_basic_tests:tstr52 .................... passed (0.008 sec)
% [13/26] xsb_basic_tests:tstr62 .................... passed (0.006 sec)
% [14/26] xsb_basic_tests:tstr13 .................... passed (0.012 sec)
% [15/26] xsb_basic_tests:tstr23 .................... passed (0.012 sec)
% [16/26] xsb_basic_tests:tstr33 .................... passed (0.019 sec)
% [17/26] xsb_basic_tests:tstr53 .................... passed (0.060 sec)
% [18/26] xsb_basic_tests:tstr63 .................... passed (0.063 sec)
% [19/26] xsb_basic_tests:thstr13 ................... passed (0.010 sec)
% [20/26] xsb_basic_tests:thstr43 ................... passed (0.007 sec)
% [21/26] xsb_basic_tests:thstr23 ................... passed (0.008 sec)
% [22/26] xsb_basic_tests:tcyl11 .................... passed (0.076 sec)
% [23/26] xsb_basic_tests:tcyl12 .................... passed (0.048 sec)
% [24/26] xsb_basic_tests:testsg .................... passed (0.082 sec)
% [25/26] xsb_basic_tests:interp .................... passed (0.010 sec)
% [26/26] xsb_basic_tests:tsing1 .................... passed (0.006 sec)
. done
Running scripts from ai_tests
% [1/11] xsb_ai_tests:cs_o .......................... passed (0.114 sec)
% [2/11] xsb_ai_tests:cs_r .......................... passed (0.075 sec)
% [3/11] xsb_ai_tests:disj .......................... passed (0.049 sec)
% [4/11] xsb_ai_tests:gabriel ....................... passed (0.049 sec)
% [5/11] xsb_ai_tests:kalah ......................... passed (0.063 sec)
% [6/11] xsb_ai_tests:peep .......................... passed (0.081 sec)
% [7/11] xsb_ai_tests:pg ............................ passed (0.035 sec)
% [8/11] xsb_ai_tests:plan .......................... passed (0.031 sec)
% [9/11] xsb_ai_tests:qsort ......................... passed (0.017 sec)
% [10/11] xsb_ai_tests:queens ....................... passed (0.032 sec)
% [11/11] xsb_ai_tests:read ......................... passed (0.106 sec)
. done
Running scripts from ptq
% [1/25] xsb_ptq:jtaulred ........................... passed (0.006 sec)
% [2/25] xsb_ptq:mbjfauahei ......................... passed (0.066 sec)
% [3/25] xsb_ptq:mbjfauaheilred ..................... passed (0.015 sec)
% [4/25] xsb_ptq:jtau ............................... passed (0.004 sec)
% [5/25] xsb_ptq:jdm ................................ passed (0.004 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.004 sec)
% [9/25] xsb_ptq:awtra .............................. passed (0.005 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.017 sec)
% [13/25] xsb_ptq:jdmlred ........................... passed (0.005 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.005 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.004 sec)
% [21/25] xsb_ptq:jbmwwaiplred ...................... passed (0.019 sec)
% [22/25] xsb_ptq:jwfauaeilred ...................... passed (0.011 sec)
% [23/25] xsb_ptq:jtfauaweilred ..................... passed (0.006 sec)
% [24/25] xsb_ptq:emlawsslhlred ..................... passed (0.004 sec)
% [25/25] xsb_ptq:emlawaslhlred ..................... passed (0.004 sec)
. done
Running scripts from neg_tests
% [1/24] tabled_basic_negation:neg1 ................. passed (0.006 sec)
% [2/24] tabled_basic_negation:neg2 ................. passed (0.010 sec)
% [3/24] tabled_basic_negation:neg3 ................. passed (0.007 sec)
% [4/24] tabled_basic_negation:ullman2 .............. passed (0.005 sec)
% [5/24] tabled_lr_stratified_negation:lmod1 ........ passed (0.005 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.005 sec)
% [9/24] tabled_lr_stratified_negation:lmod5 ........ passed (0.005 sec)
% [10/24] tabled_lr_stratified_negation:lmod6 ....... passed (0.005 sec)
% [11/24] tabled_lr_stratified_negation:lmod7 ....... passed (0.005 sec)
% [12/24] tabled_lr_stratified_negation:lmod8 ....... passed (0.005 sec)
% [13/24] tabled_lr_stratified_negation:lmod9 ....... passed (0.005 sec)
% [14/24] tabled_lr_stratified_negation:lmod10 ...... passed (0.008 sec)
% [15/24] tabled_lr_stratified_negation:lmod11 ...... passed (0.009 sec)
% [16/24] tabled_lr_stratified_negation:ullman1 ..... passed (0.008 sec)
% [17/24] tabled_dynakicall..fied_negation:przy2 .... passed (0.007 sec)
% [18/24] tabled_dynakicall..negation:ldynstrat0 .... passed (0.007 sec)
% [19/24] tabled_dynakicall..negation:ldynstrat1 .... passed (0.007 sec)
% [20/24] tabled_dynakicall..negation:ldynstrat2 .... passed (0.007 sec)
% [21/24] tabled_dynakicall..negation:ldynstrat3 .... passed (0.007 sec)
% [22/24] tabled_dynakicall..negation:ldynstrat4 .... passed (0.007 sec)
% [23/24] tabled_stratified_negation:mod1 ........... passed (0.008 sec)
% [24/24] tabled_misc_negation:q7 ................... passed (0.318 sec)
. done
Running scripts from delay_tests
% [1/87] delay_dynstrat:dynstrat1 ................... passed (0.023 sec)
% [2/87] delay_dynstrat:dynstrat2 ................... passed (0.008 sec)
% [3/87] delay_dynstrat:dynstrat3 ................... passed (0.008 sec)
% [4/87] delay_dynstrat:dynstrat4 ................... passed (0.011 sec)
% [5/87] delay_dynstrat:dynstrat5 ................... passed (0.007 sec)
% [6/87] delay_dynstrat:dynstrat6 ................... passed (0.006 sec)
% [7/87] delay_dynstrat:dynstrat7 ................... passed (0.007 sec)
% [8/87] delay_dynstrat:ross1 ....................... passed (0.007 sec)
% [9/87] delay_dynstrat:sel_unsusp .................. passed (0.007 sec)
% [10/87] delay_dynstrat:dl_dupl .................... passed (0.006 sec)
% [11/87] delay_dynstrat:asl_dupl ................... passed (0.006 sec)
% [12/87] delay_dynstrat:gfp ........................ passed (0.011 sec)
% [13/87] delay_old_failures:fr1 .................... passed (0.006 sec)
% [14/87] delay_old_failures:fr2 .................... passed (0.005 sec)
% [15/87] delay_old_failures:fr3 .................... passed (0.006 sec)
% [16/87] delay_old_failures:fr4 .................... passed (0.006 sec)
% [17/87] delay_old_failures:fr5 .................... passed (0.007 sec)
% [18/87] delay_old_failures:fr6 .................... passed (0.006 sec)
% [19/87] delay_old_failures:fr7 .................... passed (0.007 sec)
% [20/87] delay_old_failures:fr8 .................... passed (0.006 sec)
% [21/87] delay_old_failures:fr9 .................... passed (0.008 sec)
% [22/87] delay_old_failures:fr19 ................... passed (0.008 sec)
% [23/87] delay_old_failures:fr20 ................... passed (0.008 sec)
% [24/87] delay_old_failures:fr21 ................... passed (0.007 sec)
% [25/87] delay_old_failures:fr22 ................... passed (0.007 sec)
% [26/87] delay_old_failures:fr23 ................... passed (0.009 sec)
% [27/87] delay_old_failures:fr24 ................... passed (0.007 sec)
% [28/87] delay_old_failures:fr25 ................... passed (0.008 sec)
% [29/87] delay_old_failures:fr26 ................... passed (0.007 sec)
% [30/87] delay_old_failures:fr27 ................... passed (0.008 sec)
% [31/87] delay_old_failures:fr28 ................... passed (0.007 sec)
% [32/87] delay_old_failures:fr29 ................... passed (0.007 sec)
% [33/87] delay_old_failures:fr30 ................... passed (0.007 sec)
% [34/87] delay_old_segv:seg1 ....................... passed (0.008 sec)
% [35/87] delay_old_segv:seg2 ....................... passed (0.006 sec)
% [36/87] delay_old_segv:seg3 ....................... passed (0.006 sec)
% [37/87] delay_old_segv:seg4 ....................... passed (0.005 sec)
% [38/87] delay_old_segv:seg5 ....................... passed (0.006 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.007 sec)
% [44/87] delay_interp:interp5 ...................... passed (0.008 sec)
% [45/87] delay_interp:interp6 ...................... passed (0.007 sec)
% [46/87] delay_interp:interp7 ...................... passed (0.007 sec)
% [47/87] delay_interp:interp8 ...................... passed (0.007 sec)
% [48/87] delay_interp:interp9 ...................... passed (0.007 sec)
% [49/87] delay_interp:interp10 ..................... passed (0.007 sec)
% [50/87] delay_interp:interp11 ..................... passed (0.007 sec)
% [51/87] delay_non_strat_neg:two_ary ............... passed (0.008 sec)
% [52/87] delay_non_strat_neg:abol_susp1 ............ passed (0.007 sec)
% [53/87] delay_non_strat_neg:abol_susp2 ............ passed (0.007 sec)
% [54/87] delay_non_strat_neg:przy1 ................. passed (0.007 sec)
% [55/87] delay_non_strat_neg:przy1_simp ............ passed (0.007 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.009 sec)
% [59/87] delay_wfs_neg:p2 .......................... passed (0.007 sec)
% [60/87] delay_wfs_neg:p3 .......................... passed (0.006 sec)
% [61/87] delay_wfs_neg:p4 .......................... passed (0.005 sec)
% [62/87] delay_wfs_neg:p5 .......................... passed (0.006 sec)
% [63/87] delay_wfs_neg:simpl_win ................... passed (0.006 sec)
% [64/87] delay_wfs_neg:win ......................... passed (0.007 sec)
% [65/87] delay_wfs_neg:cond_uncond ................. passed (0.006 sec)
% [66/87] delay_wfs_neg:ullman3 ..................... passed (0.009 sec)
% [67/87] delay_wfs_neg:undef1 ...................... passed (0.019 sec)
% [68/87] delay_wfs_neg:undef2 ...................... passed (0.008 sec)
% [69/87] delay_pos_simpl:pos_simpl1 ................ passed (0.008 sec)
% [70/87] delay_ac:weidong2 ......................... passed (0.007 sec)
% [71/87] delay_ac:weidong3 ......................... passed (0.007 sec)
% [72/87] delay_ac:weidong4 ......................... passed (0.007 sec)
% [73/87] delay_ac:weidong5 ......................... passed (0.007 sec)
% [74/87] delay_ac:weidong6 ......................... passed (0.007 sec)
% [75/87] delay_ac:weidong7 ......................... passed (0.007 sec)
% [76/87] delay_ac:weidong8 ......................... passed (0.007 sec)
% [77/87] delay_ac:interp12 ......................... passed (0.007 sec)
% [78/87] delay_ac:interp13 ......................... passed (0.007 sec)
% [79/87] delay_ac:interp14 ......................... passed (0.006 sec)
% [80/87] delay_ac:interp15 ......................... passed (0.006 sec)
% [81/87] delay_misc:avoid_flounder ................. passed (0.017 sec)
% [82/87] delay_misc:residual1 ...................... passed (0.024 sec)
% [83/87] delay_misc:fa ............................. passed (0.065 sec)
% [84/87] delay_misc:delay_var ...................... passed (0.110 sec)
% [85/87] delay_misc:tabsimp_seq .................... passed (0.175 sec)
% [86/87] delay_misc:wmay_winbug .................... passed (0.021 sec)
% [87/87] delay_misc:ac_tests ....................... passed (0.049 sec)
. done
Running scripts from wfs_tests
% [1/72] xsb_wfs:p06 ................................ passed (0.009 sec)
% [2/72] xsb_wfs:p07 ................................ passed (0.008 sec)
% [3/72] xsb_wfs:p08 ................................ passed (0.006 sec)
% [4/72] xsb_wfs:p09 ................................ passed (0.005 sec)
% [5/72] xsb_wfs:p10 ................................ passed (0.005 sec)
% [6/72] xsb_wfs:p11 ................................ passed (0.004 sec)
% [7/72] xsb_wfs:p12 ................................ passed (0.004 sec)
% [8/72] xsb_wfs:p13 ................................ passed (0.006 sec)
% [9/72] xsb_wfs:p14 ................................ passed (0.005 sec)
% [10/72] xsb_wfs:p15 ............................... passed (0.007 sec)
% [11/72] xsb_wfs:p16 ............................... passed (0.007 sec)
% [12/72] xsb_wfs:p17 ............................... passed (0.013 sec)
% [13/72] xsb_wfs:p18 ............................... passed (0.005 sec)
% [14/72] xsb_wfs:p19 ............................... passed (0.007 sec)
% [15/72] xsb_wfs:p20 ............................... passed (0.007 sec)
% [16/72] xsb_wfs:p21 ............................... passed (0.009 sec)
% [17/72] xsb_wfs:p22 ............................... passed (0.009 sec)
% [18/72] xsb_wfs:p23 ............................... passed (0.011 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.008 sec)
% [22/72] xsb_wfs:p27 ............................... passed (0.008 sec)
% [23/72] xsb_wfs:p29 ............................... passed (0.006 sec)
% [24/72] xsb_wfs:p30 ............................... passed (0.006 sec)
% [25/72] xsb_wfs:p31 ............................... passed (0.008 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.006 sec)
% [30/72] xsb_wfs:p36 ............................... passed (0.007 sec)
% [31/72] xsb_wfs:p37 ............................... passed (0.007 sec)
% [32/72] xsb_wfs:p39 ............................... passed (0.006 sec)
% [33/72] xsb_wfs:p40 ............................... passed (0.007 sec)
% [34/72] xsb_wfs:p42 ............................... passed (0.008 sec)
% [35/72] xsb_wfs:p43 ............................... passed (0.005 sec)
% [36/72] xsb_wfs:p44 ............................... passed (0.004 sec)
% [37/72] xsb_wfs:p45 ............................... passed (0.005 sec)
% [38/72] xsb_wfs:p46 ............................... passed (0.005 sec)
% [39/72] xsb_wfs:p47 ............................... passed (0.014 sec)
% [40/72] xsb_wfs:p48 ............................... passed (0.007 sec)
% [41/72] xsb_wfs:p49 ............................... passed (0.006 sec)
% [42/72] xsb_wfs:p50 ............................... passed (0.006 sec)
% [43/72] xsb_wfs:p51 ............................... passed (0.006 sec)
% [44/72] xsb_wfs:p52a .............................. passed (0.011 sec)
% [45/72] xsb_wfs:p52 ............................... passed (0.010 sec)
% [46/72] xsb_wfs:p53 ............................... passed (0.009 sec)
% [47/72] xsb_wfs:p54 ............................... passed (0.010 sec)
% [48/72] xsb_wfs:p55 ............................... passed (0.012 sec)
% [49/72] xsb_wfs:p56 ............................... passed (0.014 sec)
% [50/72] xsb_wfs:p57 ............................... passed (0.015 sec)
% [51/72] xsb_wfs:p58 ............................... passed (0.028 sec)
% [52/72] xsb_wfs:p59 ............................... passed (0.020 sec)
% [53/72] xsb_wfs:p60 ............................... passed (0.006 sec)
% [54/72] xsb_wfs:p62 ............................... passed (0.006 sec)
% [55/72] xsb_wfs:p63 ............................... passed (0.005 sec)
% [56/72] xsb_wfs:p64 ............................... passed (0.006 sec)
% [57/72] xsb_wfs:p65 ............................... passed (0.005 sec)
% [58/72] xsb_wfs:p66 ............................... passed (0.006 sec)
% [59/72] xsb_wfs:p67 ............................... passed (0.005 sec)
% [60/72] xsb_wfs:p77 ............................... passed (0.006 sec)
% [61/72] xsb_wfs:p78 ............................... passed (0.007 sec)
% [62/72] xsb_wfs:p79 ............................... passed (0.008 sec)
% [63/72] xsb_wfs:p80 ............................... passed (0.008 sec)
% [64/72] xsb_wfs:p81 ............................... passed (0.008 sec)
% [65/72] xsb_wfs:p82 ............................... passed (0.009 sec)
% [66/72] xsb_wfs:p83 ............................... passed (0.009 sec)
% [67/72] xsb_wfs:p84 ............................... passed (0.008 sec)
% [68/72] xsb_wfs:p85 ............................... passed (0.009 sec)
% [69/72] xsb_wfs:p86 ............................... passed (0.007 sec)
% [70/72] xsb_wfs:p89 ............................... passed (0.007 sec)
% [71/72] xsb_wfs:p90 ............................... passed (0.006 sec)
% [72/72] xsb_wfs:p91 ............................... passed (0.009 sec)
. done
Running scripts from table_tests
% [1/32] xsb_test_tables:abol_test .................. passed (0.021 sec)
% [2/32] xsb_test_tables:abol_test2 ................. passed (0.014 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.010 sec)
% [6/32] xsb_test_tables:abol_test3b ................ passed (0.013 sec)
% [7/32] xsb_test_tables:abol_test3c ................ passed (0.011 sec)
% [8/32] xsb_test_tables:abolish_cascade ............ passed (0.024 sec)
% [9/32] xsb_test_tables:abolish_cascade_pred ....... passed (0.015 sec)
% [10/32] xsb_test_tables:abolish_cycle ............. passed (0.017 sec)
% [11/32] xsb_test_tables:abolish_dag ............... passed (0.018 sec)
% [12/32] xsb_test_tables:abolish_neg_cycle ......... passed (0.016 sec)
% [13/32] xsb_test_tables:abolish_neg_dag ........... passed (0.018 sec)
% [14/32] xsb_test_tables:atc_test .................. passed (0.026 sec)
% [15/32] xsb_test_tables:concomp ................... passed (0.175 sec)
% [16/32] xsb_test_tables:expand .................... passed (0.337 sec)
% [17/32] xsb_test_tables:ins ....................... passed (0.091 sec)
% [18/32] xsb_test_tables:large_arity_tables ........ passed (0.035 sec)
% [19/32] xsb_test_tables:lrbug ..................... passed (0.015 sec)
% [20/32] xsb_test_tables:pps ....................... passed (0.008 sec)
% [21/32] xsb_test_tables:pred_abolish_cycle ........ passed (0.030 sec)
% [22/32] xsb_test_tables:pred_abolish_dag .......... passed (0.033 sec)
% [23/32] xsb_test_tables:recursive_aboltest ........ passed (0.016 sec)
% [24/32] xsb_test_tables:tabbug1 ................... passed (0.008 sec)
% [25/32] xsb_test_tables:test_3vwfs_1 .............. passed (0.023 sec)
% [26/32] xsb_test_tables:test_calldepth ............ passed (0.013 sec)
% [27/32] xsb_test_tables:test_cyclic_tabling ....... passed (0.010 sec)
% [28/32] xsb_test_tables:t.._large_tabled_terms .... passed (0.302 sec)
% [29/32] xsb_test_tables:test_maxans_decl .......... passed (0.073 sec)
% [30/32] xsb_test_tables:test_negcycle ............. passed (0.013 sec)
% [31/32] xsb_test_tables:test_tda .................. passed (0.018 sec)
% [32/32] xsb_test_tables:test_tda_i ................ passed (0.018 sec)
. done
Running scripts from incremental_tests
% [1/15] xsb_test_incremental:incremental ........... passed (0.010 sec)
% [2/15] xsb_test_incremental:incremental1 .......... passed (0.014 sec)
% [3/15] xsb_test_incremental:inc_trie_dyn .......... passed (0.010 sec)
% [4/15] xsb_test_incremental:incremental_rule ...... passed (0.007 sec)
% [5/15] xsb_test_incremen..ncremental_rule_alt ..... passed (0.007 sec)
% [6/15] xsb_test_incremental:test_incr_depends ..... passed (0.020 sec)
% [7/15] xsb_test_incremen..test_incr_depends_2 ..... passed (0.022 sec)
% [8/15] xsb_test_incremental:test_inc_switch ....... passed (0.010 sec)
% [9/15] xsb_test_incremen..:test_sound_updates ..... passed (0.025 sec)
% [10/15] xsb_test_incremental:test_wfs_update ...... passed (0.030 sec)
% [11/15] xsb_test_incremental:incr_test_romero ..... passed (0.011 sec)
% [12/15] xsb_test_incremen..lish_nonincremental .... passed (0.014 sec)
% [13/15] xsb_test_incremental:inc_atc .............. passed (0.011 sec)
% [14/15] xsb_test_incremental:inc_atc_gc ........... passed (0.007 sec)
% [15/15] xsb_test_incremental:inc_atc_gc_tricky .... passed (0.033 sec)
. done
Running scripts from nonmt_tests
% [1/9] xsb_test_nonmt:test_iso_basic ............... passed (0.039 sec)
% [2/9] xsb_test_nonmt:test_iso_mult_visit .......... passed (0.048 sec)
% [3/9] xsb_test_nonmt:test_iso_hash ................ passed (0.033 sec)
% [4/9] xsb_test_nonmt:test_iso_undef ............... passed (0.025 sec)
% [5/9] xsb_test_nonmt:test_lazy .................... passed (0.015 sec)
% [6/9] xsb_test_nonmt:test_introspection ........... passed (0.028 sec)
% [7/9] xsb_test_nonmt:test_invalidate .............. passed (0.008 sec)
% [8/9] xsb_test_nonmt:cmu_sei_0050 ................. passed (0.006 sec)
% [9/9] xsb_test_nonmt:test_recomputable ............ passed (0.006 sec)
. done
Running scripts from sub_tests
% [1/36] xsb_sub:lrtc1 .............................. passed (0.013 sec)
% [2/36] xsb_sub:lrtc2 .............................. passed (0.010 sec)
% [3/36] xsb_sub:lrtc3 .............................. passed (0.010 sec)
% [4/36] xsb_sub:lrtc4 .............................. passed (0.011 sec)
% [5/36] xsb_sub:lrtc5 .............................. passed (0.016 sec)
% [6/36] xsb_sub:lrtc6 .............................. passed (0.014 sec)
% [7/36] xsb_sub:lrtc7 .............................. passed (0.013 sec)
% [8/36] xsb_sub:lrtc8 .............................. passed (0.013 sec)
% [9/36] xsb_sub:rrtc1 .............................. passed (0.010 sec)
% [10/36] xsb_sub:rrtc2 ............................. passed (0.010 sec)
% [11/36] xsb_sub:rrtc3 ............................. passed (0.009 sec)
% [12/36] xsb_sub:rrtc4 ............................. passed (0.013 sec)
% [13/36] xsb_sub:rrtc5 ............................. passed (0.013 sec)
% [14/36] xsb_sub:rrtc6 ............................. passed (0.010 sec)
% [15/36] xsb_sub:rrtc7 ............................. passed (0.010 sec)
% [16/36] xsb_sub:rrtc8 ............................. passed (0.012 sec)
% [17/36] xsb_sub:drtc1 ............................. passed (0.011 sec)
% [18/36] xsb_sub:drtc2 ............................. passed (0.010 sec)
% [19/36] xsb_sub:drtc3 ............................. passed (0.015 sec)
% [20/36] xsb_sub:drtc4 ............................. passed (0.012 sec)
% [21/36] xsb_sub:drtc5 ............................. passed (0.009 sec)
% [22/36] xsb_sub:drtc6 ............................. passed (0.009 sec)
% [23/36] xsb_sub:drtc7 ............................. passed (0.010 sec)
% [24/36] xsb_sub:drtc8 ............................. passed (0.011 sec)
% [25/36] xsb_sub:sg1 ............................... passed (0.008 sec)
% [26/36] xsb_sub:sg2 ............................... passed (0.008 sec)
% [27/36] xsb_sub:sg3 ............................... passed (0.008 sec)
% [28/36] xsb_sub:sg4 ............................... passed (0.009 sec)
% [29/36] xsb_sub:sg5 ............................... passed (0.009 sec)
% [30/36] xsb_sub:sg6 ............................... passed (0.013 sec)
% [31/36] xsb_sub:sg7 ............................... passed (0.013 sec)
% [32/36] xsb_sub:sg8 ............................... passed (0.014 sec)
% [33/36] xsb_sub:genome1 ........................... passed (0.012 sec)
% [34/36] xsb_sub:genome2 ........................... passed (0.012 sec)
% [35/36] xsb_sub:genome3 ........................... passed (0.013 sec)
% [36/36] xsb_sub:test_answer_abstraction ........... passed (0.019 sec)
. done
Running scripts from attv_tests
% [1/7] xsb_attv_tests:attv_test .................... passed (0.007 sec)
% [2/7] xsb_attv_tests:copyterm_attv ................ passed (0.013 sec)
% [3/7] xsb_attv_tests:fd1 .......................... passed (0.015 sec)
% [4/7] xsb_attv_tests:findall_attv ................. passed (0.007 sec)
% [5/7] xsb_attv_tests:general ...................... passed (0.009 sec)
% [6/7] xsb_attv_tests:interrupt1 ................... passed (0.007 sec)
% [7/7] xsb_attv_tests:ret_attv ..................... passed (0.007 sec)
. done
Running scripts from rational
% [1/45] ieee754:ieee_flags ......................... passed (0.000 sec)
% [2/45] ieee754:ieee_excp .......................... passed (0.000 sec)
% [3/45] ieee754:ieee_cmp ........................... passed (0.000 sec)
% [4/45] ieee754:ieee_tcmp .......................... passed (0.000 sec)
% [5/45] ieee754:ieee_minus ......................... passed (0.000 sec)
% [6/45] ieee754:ieee_add ........................... passed (0.000 sec)
% [7/45] ieee754:ieee_sub ........................... passed (0.000 sec)
% [8/45] ieee754:ieee_mul ........................... passed (0.000 sec)
% [9/45] ieee754:ieee_div ........................... passed (0.000 sec)
% [10/45] ieee754:ieee_sign ......................... passed (0.000 sec)
% [11/45] ieee754:ieee_parts ........................ passed (0.000 sec)
% [12/45] ieee754:ieee_acos ......................... passed (0.000 sec)
% [13/45] ieee754:ieee_asin ......................... passed (0.000 sec)
% [14/45] ieee754:ieee_atan ......................... passed (0.000 sec)
% [15/45] ieee754:ieee_atan2 ........................ passed (0.000 sec)
% [16/45] ieee754:ieee_cos .......................... passed (0.000 sec)
% [17/45] ieee754:ieee_sin .......................... passed (0.000 sec)
% [18/45] ieee754:ieee_tan .......................... passed (0.000 sec)
% [19/45] ieee754:ieee_acosh ........................ passed (0.000 sec)
% [20/45] ieee754:ieee_asinh ........................ passed (0.000 sec)
% [21/45] ieee754:ieee_atanh ........................ passed (0.000 sec)
% [22/45] ieee754:ieee_cosh ......................... passed (0.000 sec)
% [23/45] ieee754:ieee_sinh ......................... passed (0.000 sec)
% [24/45] ieee754:ieee_tanh ......................... passed (0.000 sec)
% [25/45] ieee754:ieee_exp .......................... passed (0.000 sec)
% [26/45] ieee754:ieee_log .......................... passed (0.000 sec)
% [27/45] ieee754:ieee_log10 ........................ passed (0.000 sec)
% [28/45] ieee754:ieee_abs .......................... passed (0.000 sec)
% [29/45] ieee754:ieee_pow .......................... passed (0.000 sec)
% [30/45] ieee754:ieee_sqrt ......................... passed (0.000 sec)
% [31/45] ieee754:ieee_erf .......................... passed (0.000 sec)
% [32/45] ieee754:ieee_erfc ......................... passed (0.000 sec)
% [33/45] ieee754:ieee_lgamma ....................... passed (0.000 sec)
% [34/45] ieee754:ieee_ceil ......................... passed (0.000 sec)
% [35/45] ieee754:ieee_floor ........................ passed (0.000 sec)
% [36/45] ieee754:ieee_round ........................ passed (0.000 sec)
% [37/45] ieee754:ieee_trunc ........................ passed (0.000 sec)
% [38/45] ieee754:ieee_copysign ..................... passed (0.000 sec)
% [39/45] ieee754:ieee_nexttoward ................... passed (0.000 sec)
% [40/45] ieee754:ieee_max .......................... passed (0.000 sec)
% [41/45] ieee754:ieee_min .......................... passed (0.000 sec)
% [42/45] ieee754:ieee_rmode ........................ passed (0.000 sec)
% [43/45] ieee754:float_to_rat ...................... passed (0.000 sec)
% [44/45] ieee754:ieee_rndto ........................ passed (0.000 sec)
% [45/45] ieee754:bounded ........................... passed (0.000 sec)
.
% [1/15] rational:filters ........................... passed (0.000 sec)
% [2/15] rational:construct ......................... passed (0.000 sec)
% [3/15] rational:compare ........................... passed (0.000 sec)
% [4/15] rational:keep_precision .................... passed (0.000 sec)
% [5/15] rational:conversion ........................ passed (0.000 sec)
% [6/15] rational:int_to_rat ........................ passed (0.000 sec)
% [7/15] rational:rat_to_rat ........................ passed (0.000 sec)
% [8/15] rational:pow_special ....................... passed (0.000 sec)
% [9/15] rational:other_arith ....................... passed (0.000 sec)
% [10/15] rational:strings .......................... passed (0.000 sec)
% [11/15] rational:io ............................... passed (0.000 sec)
% [12/15] rational:syntax_fail ...................... passed (0.000 sec)
% [13/15] rationalize:trip .......................... passed (0.000 sec)
% [14/15] rationalize:roundtrip_rational ............ passed (0.004 sec)
% [15/15] rationalize:roundtrip_rationalize ......... passed (0.006 sec)
.
% [1/5] cmpr:compare_modes .......................... passed (0.000 sec)
% [2/5] cmpr:compare_corners ........................ passed (0.000 sec)
% [3/5] cmpr:realerrors ............................. passed (0.000 sec)
% [4/5] cmpr:neg .................................... passed (0.000 sec)
% [5/5] maxminr:realmaxmin .......................... passed (0.000 sec)
. done
*** 1 tests failed ***
Saving _problems/test-rswipl-16.R
Start testing package chr:chr
Package chr:chr......................... passed 0.73 sec.
All tests passed
Start testing package sgml:sgml
Package sgml:sgml....................... passed 0.65 sec.
Start testing package sgml:sgml_write
Package sgml:sgml_write................. passed 0.75 sec.
Start testing package sgml:xsd
Package sgml:xsd........................ passed 0.70 sec.
Start testing package sgml:c14n
Package sgml:c14n....................... passed 0.80 sec.
All tests passed
[ FAIL 1 | WARN 0 | SKIP 0 | PASS 17 ]
══ Failed tests ════════════════════════════════════════════════════════════════
── Failure ('test-rswipl.R:16:3'): swipl is working ────────────────────────────
Expected `q` to equal `list()`.
Differences:
`actual` is a logical vector (FALSE)
`expected` is a list
[ FAIL 1 | WARN 0 | SKIP 0 | PASS 17 ]
Error:
! Test failures.
Execution halted
Flavor: r-release-windows-x86_64