Last updated on 2026-04-05 01:50:06 CEST.
| Flavor | Version | Tinstall | Tcheck | Ttotal | Status | Flags |
|---|---|---|---|---|---|---|
| r-devel-linux-x86_64-debian-clang | 10.1.5 | 298.69 | 83.10 | 381.79 | OK | |
| r-devel-linux-x86_64-debian-gcc | 10.1.5 | 261.82 | 67.25 | 329.07 | OK | |
| r-devel-linux-x86_64-fedora-clang | 10.1.5 | 435.00 | 136.56 | 571.56 | NOTE | |
| r-devel-linux-x86_64-fedora-gcc | 10.1.5 | 600.00 | 120.12 | 720.12 | NOTE | |
| r-devel-macos-arm64 | 10.1.5 | 127.00 | 66.00 | 193.00 | OK | |
| r-devel-windows-x86_64 | 10.1.5 | 1630.00 | 109.00 | 1739.00 | OK | |
| r-patched-linux-x86_64 | 10.1.5 | 307.68 | 80.16 | 387.84 | OK | |
| r-release-linux-x86_64 | 10.1.5 | 297.35 | 65.18 | 362.53 | ERROR | |
| r-release-macos-arm64 | 10.1.5 | 121.00 | 55.00 | 176.00 | OK | |
| r-release-macos-x86_64 | 10.1.5 | 382.00 | 198.00 | 580.00 | OK | |
| r-release-windows-x86_64 | 10.1.5 | 1237.00 | 114.00 | 1351.00 | OK | |
| r-oldrel-macos-arm64 | 10.1.5 | 115.00 | 66.00 | 181.00 | NOTE | |
| r-oldrel-macos-x86_64 | 10.1.5 | 380.00 | 255.00 | 635.00 | NOTE | |
| r-oldrel-windows-x86_64 | 10.1.5 | 1430.00 | 127.00 | 1557.00 | NOTE |
Version: 10.1.5
Check: dependencies in R code
Result: NOTE
Namespace in Imports field not imported from: ‘gmp’
All declared Imports should be used.
Flavors: r-devel-linux-x86_64-fedora-clang, r-devel-linux-x86_64-fedora-gcc
Version: 10.1.5
Check: tests
Result: ERROR
Running ‘testthat.R’ [30s/37s]
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.024 sec)
% [2/21] reconsult:add_clause ....................... passed (0.004 sec)
% [3/21] reconsult:del_clause ....................... passed (0.003 sec)
% [4/21] reconsult:del_clause_a ..................... passed (0.002 sec)
% [5/21] reconsult:del_clause_z ..................... passed (0.006 sec)
% [6/21] reconsult:replace_clause ................... passed (0.008 sec)
% [7/21] reconsult:add_pred ......................... passed (0.001 sec)
% [8/21] reconsult:del_pred ......................... passed (0.001 sec)
% [9/21] reconsult:add_attr_end ..................... passed (0.010 sec)
% [10/21] reconsult:del_attr_end .................... passed (0.004 sec)
% [11/21] reconsult:del_dynamic ..................... passed (0.001 sec)
% [12/21] reconsult:del_det ......................... passed (0.014 sec)
% [13/21] reconsult:add_thread_local ................ passed (0.008 sec)
% [14/21] reconsult:del_discontiguous ............... passed (0.003 sec)
% [15/21] reconsult:add_meta_predicate .............. passed (0.001 sec)
% [16/21] reconsult:del_meta_predicate .............. passed (0.001 sec)
% [17/21] reconsult:del_export ...................... passed (0.007 sec)
% [18/21] reconsult:reload_maplist .................. passed (0.012 sec)
% [19/21] reconsult:mod_dynamic ..................... passed (0.002 sec)
% [20/21] reconsult:goal_expansion .................. passed (0.009 sec)
% [21/21] reconsult:keep_tabling .................... passed (0.007 sec)
.
% [1/15] sandbox:cleanup ............................ passed (0.004 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.005 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.005 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.005 sec)
% [4/52] acyclic_terms:sub_term_is_acyclic .......... passed (0.000 sec)
% [5/52] acyclic_terms:sib..g_leaves_is_acyclic ..... passed (0.000 sec)
% [6/52] acyclic_terms:sub..and_leaf_is_acyclic ..... passed (0.000 sec)
% [7/52] acyclic_terms:lea.._subterm_is_acyclic ..... passed (0.000 sec)
% [8/52] acyclic_terms:sib..ub_terms_is_acyclic ..... passed (0.000 sec)
% [9/52] acyclic_terms:mul..ub_terms_is_acyclic ..... passed (0.000 sec)
% [10/52] acyclic_terms:mul..ub_terms_is_acyclic .... passed (0.000 sec)
% [11/52] acyclic_terms:shared_term_is_acyclic_1 .... passed (0.000 sec)
% [12/52] acyclic_terms:shared_term_is_acyclic_2 .... passed (0.000 sec)
% [13/52] acyclic_terms:shared_term_is_acyclic_3 .... passed (0.000 sec)
% [14/52] acyclic_terms:shared_term_is_acyclic_4 .... passed (0.000 sec)
% [15/52] acyclic_terms:zer..ity_term_is_acyclic .... passed (0.000 sec)
% [16/52] acyclic_terms:zer..sub_term_is_acyclic .... passed (0.000 sec)
% [17/52] acyclic_terms:zer..red_term_is_acyclic .... passed (0.000 sec)
% [18/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.000 sec)
% [19/52] acyclic_terms:dee..eft_term_is_acyclic .... passed (0.000 sec)
% [20/52] acyclic_terms:dee..ght_term_is_acyclic .... passed (0.000 sec)
% [21/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.003 sec)
% [22/52] acyclic_terms:wid..ted_term_is_acyclic .... passed (0.057 sec)
% [23/52] acyclic_terms:list_is_acyclic ............. passed (0.002 sec)
% [24/52] acyclic_terms:empty_list_is_acyclic ....... passed (0.000 sec)
% [25/52] acyclic_terms:long_list_is_acyclic_1 ...... passed (0.027 sec)
% [26/52] acyclic_terms:long_list_is_acyclic_2 ...... passed (0.025 sec)
% [27/52] acyclic_terms:long_list_is_acyclic_3 ...... passed (0.026 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.030 sec)
% [41/52] cyclic_terms:list_is_cyclic ............... passed (0.000 sec)
% [42/52] cyclic_terms:long_list_is_cyclic .......... passed (0.008 sec)
% [43/52] cyclic_misc:term_hash_1 ................... passed (0.000 sec)
% [44/52] cyclic_misc:streq_1 ....................... passed (0.000 sec)
% [45/52] cyclic_misc:test_1 ........................ passed (0.000 sec)
% [46/52] cyclic_misc:test_2 ........................ passed (0.000 sec)
% [47/52] cyclic_misc:test_3 ........................ passed (0.000 sec)
% [48/52] cyclic_misc:test_4 ........................ passed (0.000 sec)
% [49/52] cyclic_misc:test_5 ........................ passed (0.000 sec)
% [50/52] cyclic_misc:test_6 ........................ passed (0.000 sec)
% [51/52] cyclic_misc:list_1 ........................ passed (0.000 sec)
% [52/52] cyclic_misc:sort_1 ........................ passed (0.000 sec)
.
% [1/14] answer:simple .............................. passed (0.010 sec)
% [2/14] answer:simple .............................. passed (0.007 sec)
% [3/14] answer:separated ........................... passed (0.004 sec)
% [4/14] answer:same ................................ passed (0.004 sec)
% [5/14] answer:same ................................ passed (0.007 sec)
% [6/14] answer:cycle ............................... passed (0.004 sec)
% [7/14] answer:cycle ............................... passed (0.007 sec)
% [8/14] answer:double_cycle ........................ passed (0.004 sec)
% [9/14] answer:freeze .............................. passed (0.004 sec)
% [10/14] answer:hidden1 ............................ passed (0.004 sec)
% [11/14] answer:hidden2 ............................ passed (0.008 sec)
% [12/14] answer:hidden3 ............................ passed (0.007 sec)
% [13/14] answer:name_var ........................... passed (0.007 sec)
% [14/14] answer:name_var ........................... passed (0.004 sec)
.
% [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.010 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.004 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.004 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.004 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.004 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.004 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.257 sec)
% [95/221] bigint:fac_1 ............................. passed (0.000 sec)
% [96/221] bigint:arith_1 ........................... passed (0.000 sec)
% [97/221] bigint:pow_1 ............................. passed (0.000 sec)
% [98/221] bigint:pow_2 ............................. passed (0.000 sec)
% [99/221] bigint:pow_3 ............................. passed (0.000 sec)
% [100/221] bigint:pow_4 ............................ passed (0.000 sec)
% [101/221] bigint:pow_5 ............................ passed (0.000 sec)
% [102/221] bigint:pow_6 ............................ passed (0.000 sec)
% [103/221] bigint:pow_7 ............................ passed (0.000 sec)
% [104/221] bigint:powm_1 ........................... passed (0.000 sec)
% [105/221] bigint:powm_2 ........................... passed (0.000 sec)
% [106/221] bigint:integer_1 ........................ passed (0.000 sec)
% [107/221] bigint:integer_2 ........................ passed (0.000 sec)
% [108/221] bigint:rational_1 ....................... passed (0.000 sec)
% [109/221] bigint:rational_2 ....................... passed (0.000 sec)
% [110/221] bigint:rational_3 ....................... passed (0.000 sec)
% [111/221] bigint:rational_4 ....................... passed (0.000 sec)
% [112/221] bigint:rationalize_1 .................... passed (0.000 sec)
% [113/221] bigint:rationalize_2 .................... passed (0.000 sec)
% [114/221] bigint:number_1 ......................... passed (0.000 sec)
% [115/221] bigint:float_1 .......................... passed (0.000 sec)
% [116/221] bigint:cmp_1 ............................ passed (0.000 sec)
% [117/221] bigint:clause_1 ......................... passed (0.000 sec)
% [118/221] bigint:comp_1 ........................... passed (0.001 sec)
% [119/221] bigint:comp_2 ........................... passed (0.000 sec)
% [120/221] bigint:rec_1 ............................ passed (0.001 sec)
% [121/221] bigint:number_codes_1 ................... passed (0.000 sec)
% [122/221] bigint:atom_number_1 .................... passed (0.000 sec)
% [123/221] bigint:hex_1 ............................ passed (0.000 sec)
% [124/221] bigint:fmtd_1 ........................... passed (0.000 sec)
% [125/221] bigint:fmtd_2 ........................... passed (0.000 sec)
% [126/221] bigint:fmtD_1 ........................... passed (0.000 sec)
% [127/221] bigint:fmtD_2 ........................... passed (0.000 sec)
% [128/221] bigint:fmtf_1 ........................... passed (0.002 sec)
% [129/221] bigint:random ........................... passed (0.001 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.001 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.001 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.001 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.099 sec)
.
% [1/46] bips:iso_8_3_10_4 .......................... passed (0.000 sec)
% [2/46] bips:iso_8_3_10_4 .......................... passed (0.000 sec)
% [3/46] bips:iso_8_3_10 ............................ passed (0.000 sec)
% [4/46] bips:iso_8_3_10 ............................ passed (0.000 sec)
% [5/46] bips:iso_8_3_10 ............................ passed (0.000 sec)
% [6/46] bips:iso_8_4_2_4 ........................... passed (0.000 sec)
% [7/46] bips:iso_8_4_2_4 ........................... passed (0.000 sec)
% [8/46] bips:iso_8_4_2_4 ........................... passed (0.000 sec)
% [9/46] bips:iso_8_4_2_3_a ......................... passed (0.000 sec)
% [10/46] bips:iso_8_4_2_3_b ........................ passed (0.000 sec)
% [11/46] bips:zero_codes ........................... passed (0.000 sec)
% [12/46] arg:shared ................................ passed (0.000 sec)
% [13/46] arg:unify ................................. passed (0.000 sec)
% [14/46] arg:zero .................................. passed (0.000 sec)
% [15/46] arg:one ................................... passed (0.000 sec)
% [16/46] arg:two ................................... passed (0.000 sec)
% [17/46] arg:atom .................................. passed (0.000 sec)
% [18/46] arg:big ................................... passed (0.000 sec)
% [19/46] arg:bigneg ................................ passed (0.000 sec)
% [20/46] arg:arg_vf ................................ passed (0.000 sec)
% [21/46] eq:eq_ff .................................. passed (0.000 sec)
% [22/46] length:comp_len ........................... passed (0.000 sec)
% [23/46] length:gen_list ........................... passed (0.000 sec)
% [24/46] length:neg_len ............................ passed (0.000 sec)
% [25/46] length:gen_unbound ........................ passed (0.000 sec)
% [26/46] length:no_integer ......................... passed (0.000 sec)
% [27/46] length:no_integer ......................... passed (0.000 sec)
% [28/46] length:no_integer ......................... passed (0.000 sec)
% [29/46] length:cycle .............................. passed (0.000 sec)
% [30/46] length:expression ......................... passed (0.000 sec)
% [31/46] length:no_list ............................ passed (0.000 sec)
% [32/46] length:no_list ............................ passed (0.000 sec)
% [33/46] length:no_list ............................ passed (0.000 sec)
% [34/46] length:swi ................................ passed (0.000 sec)
% [35/46] is_most_general_term:not_callable ......... passed (0.000 sec)
% [36/46] is_most_general_term:atom ................. passed (0.000 sec)
% [37/46] is_most_general_term:instantiated ......... passed (0.000 sec)
% [38/46] is_most_general_term:compound ............. passed (0.000 sec)
% [39/46] is_most_general_term:compound ............. passed (0.000 sec)
% [40/46] is_most_general_term:shared ............... passed (0.000 sec)
% [41/46] is_most_general_term:compound ............. passed (0.000 sec)
% [42/46] is_most_general_term:nil .................. passed (0.000 sec)
% [43/46] is_most_general_term:list ................. passed (0.000 sec)
% [44/46] is_most_general_term:partial_list ......... passed (0.000 sec)
% [45/46] is_most_general_term:list ................. passed (0.000 sec)
% [46/46] is_most_general_term:shared ............... passed (0.000 sec)
.
% [1/9] body_index:p1 ............................... passed (0.000 sec)
% [2/9] body_index:p2 ............................... passed (0.000 sec)
% [3/9] body_index:p3 ............................... passed (0.000 sec)
% [4/9] body_index:p4 ............................... passed (0.000 sec)
% [5/9] body_index:p5 ............................... passed (0.000 sec)
% [6/9] body_index:p6 ............................... passed (0.000 sec)
% [7/9] body_index:p6 ............................... passed (0.000 sec)
% [8/9] body_index:p7 ............................... passed (0.000 sec)
% [9/9] body_index:p8 ............................... passed (0.000 sec)
.
% [1/56] call1:call ................................. passed (0.000 sec)
% [2/56] call1:clause ............................... passed (0.000 sec)
% [3/56] call1:clause ............................... passed (0.000 sec)
% [4/56] call1:big_clause ........................... passed (0.210 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.007 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.004 sec)
% [53/56] catch:partial_unification ................. passed (0.001 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.221 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.008 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.007 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.006 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.006 sec)
% [3/12] coroutining:frozen_clpfd ................... passed (0.000 sec)
% [4/12] coroutining:when1 .......................... passed (0.002 sec)
% [5/12] coroutining:when2 .......................... passed (0.000 sec)
% [6/12] coroutining:when3 .......................... passed (0.000 sec)
% [7/12] coroutining:when4_inf ...................... passed (0.000 sec)
% [8/12] coroutining:when5_r ........................ passed (0.000 sec)
% [9/12] coroutining:when6 .......................... passed (0.000 sec)
% [10/12] coroutining:when7 ......................... passed (0.000 sec)
% [11/12] coroutining:when8 ......................... passed (0.000 sec)
% [12/12] coroutining:when8 ......................... passed (0.006 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.005 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.007 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.005 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.005 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.006 sec)
% [5/22] det_decl:nondet_2 .......................... passed (0.000 sec)
% [6/22] det_decl:nondet_3 .......................... passed (0.000 sec)
% [7/22] det_decl:fail_1 ............................ passed (0.000 sec)
% [8/22] det_decl:fail_2 ............................ passed (0.000 sec)
% [9/22] det_decl:fail_3 ............................ passed (0.000 sec)
% [10/22] det_guard:det ............................. passed (0.000 sec)
% [11/22] det_guard:ndet ............................ passed (0.000 sec)
% [12/22] det_guard:ndet ............................ passed (0.000 sec)
% [13/22] det_guard:fail ............................ passed (0.000 sec)
% [14/22] det_guard:fail ............................ passed (0.001 sec)
% [15/22] det_goal:det .............................. passed (0.006 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.015 sec)
% [8/88] dict_create:convert ........................ passed (0.000 sec)
% [9/88] dict_bips:is_dict/1 ........................ passed (0.000 sec)
% [10/88] dict_bips:is_dict/1 ....................... passed (0.000 sec)
% [11/88] dict_bips:is_dict/2 ....................... passed (0.000 sec)
% [12/88] dict_bips:is_dict/2 ....................... passed (0.000 sec)
% [13/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [14/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [15/88] dict_bips:dict_pairs_duplicate_key ........ passed (0.000 sec)
% [16/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [17/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [18/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec)
% [19/88] dict_bips:get_dict/3 ...................... passed (0.000 sec)
% [20/88] dict_bips:get_dict/3 ...................... passed (0.000 sec)
% [21/88] dict_bips:get_dict/3 ...................... passed (0.000 sec)
% [22/88] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [23/88] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [24/88] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [25/88] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [26/88] dict_bips:get_dict/5 ...................... passed (0.000 sec)
% [27/88] dict_bips:put_dict/4 ...................... passed (0.000 sec)
% [28/88] dict_bips:put_dict/4 ...................... passed (0.000 sec)
% [29/88] dict_bips:put_dict/4 ...................... passed (0.000 sec)
% [30/88] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [31/88] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [32/88] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [33/88] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [34/88] dict_bips:put_dict/3 ...................... passed (0.000 sec)
% [35/88] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [36/88] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [37/88] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [38/88] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [39/88] dict_bips:del_dict/4 ...................... passed (0.000 sec)
% [40/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [41/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [42/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [43/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [44/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [45/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [46/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [47/88] dict_bips:select_dict/3 ................... passed (0.000 sec)
% [48/88] dict_bips::</2 ............................ passed (0.000 sec)
% [49/88] dict_bips::</2 ............................ passed (0.000 sec)
% [50/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [51/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [52/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [53/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [54/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [55/88] dict_bips:>:</2 ........................... passed (0.000 sec)
% [56/88] dict_bips:put ............................. passed (0.000 sec)
% [57/88] dict_bips:put ............................. passed (0.000 sec)
% [58/88] dict_bips:put ............................. passed (0.000 sec)
% [59/88] dict_bips:select .......................... passed (0.000 sec)
% [60/88] dict_bips:select .......................... passed (0.000 sec)
% [61/88] dict_bips:select .......................... passed (0.000 sec)
% [62/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [63/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [64/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [65/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [66/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [67/88] dict_bips:same_keys ....................... passed (0.000 sec)
% [68/88] dict_dot3:field ........................... passed (0.000 sec)
% [69/88] dict_dot3:field ........................... passed (0.000 sec)
% [70/88] dict_dot3:no_field ........................ passed (0.000 sec)
% [71/88] dict_dot3:no_dict ......................... passed (0.000 sec)
% [72/88] dict_overflow:put ......................... passed (0.203 sec)
% [73/88] dict_overflow:select ...................... passed (0.195 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.002 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.004 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.003 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.001 sec)
.
% [1/3] fastrw:serialize ............................ passed (0.001 sec)
% [2/3] fastrw:fastrw ............................... passed (0.006 sec)
% [3/3] fastrw:error ................................ passed (0.000 sec)
.
% [1/19] format:fail ................................ passed (0.006 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.002 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.013 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 (1.212 sec)
% [10/15] gc_crash2:cleanup ......................... passed (0.000 sec)
% [11/15] gc_mark:s_list ............................ passed (0.013 sec)
% [12/15] gc_mark:s_fredo ........................... passed (0.001 sec)
% [13/15] gc_mark:c_ifthen .......................... passed (0.000 sec)
% [14/15] gc_mark:b_neq_vv .......................... passed (0.000 sec)
% [15/15] agc:usercall .............................. passed (0.008 sec)
.
% [1/20] variant_sha1:atom .......................... passed (0.000 sec)
% [2/20] variant_sha1:vars .......................... passed (0.000 sec)
% [3/20] variant_sha1:variant ....................... passed (0.000 sec)
% [4/20] variant_sha1:shared ........................ passed (0.000 sec)
% [5/20] variant_sha1:cycle ......................... passed (0.003 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.005 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.017 sec)
% [2/2] call_with_inference_limit:retry ............. passed (0.007 sec)
.
% [1/11] io:eof_dom ................................. passed (0.000 sec)
% [2/11] io:eof2 .................................... passed (0.000 sec)
% [3/11] io:set_after_close ......................... passed (0.000 sec)
% [4/11] io:double_close ............................ passed (0.000 sec)
% [5/11] io:current_io_non_existing ................. passed (0.000 sec)
% [6/11] io:current_io_closed ....................... passed (0.000 sec)
% [7/11] io:input_is_not_output ..................... passed (0.002 sec)
% [8/11] io:reuse_alias ............................. passed (0.000 sec)
% [9/11] stream_pair:single ......................... passed (0.000 sec)
% [10/11] stream_pair:single ........................ passed (0.002 sec)
% [11/11] stream_pair:close ......................... passed (0.000 sec)
.
% [1/1] lco:huub .................................... passed (0.005 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.005 sec)
% [7/8] program_space:overflow ...................... passed (0.000 sec)
% [8/8] program_space:repeat ........................ passed (0.020 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.006 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.003 sec)
% [9/12] moved_decompile:decomp8 .................... passed (0.003 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.005 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.005 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.016 sec)
% [13/15] thread_prolog_fla..set_local_in_thread .... passed (0.007 sec)
% [14/15] thread_prolog_fla..et_global_in_thread .... passed (0.007 sec)
% [15/15] thread_prolog_fla.._global_in_thread_2 .... passed (0.015 sec)
.
% [1/6] prolog_listen:at_exit_option ................ passed (0.007 sec)
% [2/6] prolog_listen:local_at_exit_event ........... passed (0.007 sec)
% [3/6] prolog_listen:global_at_exit_event .......... passed (0.018 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.002 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.003 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.006 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.003 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.005 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.004 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.005 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.008 sec)
% [2/7] resource_error:global ....................... passed (0.004 sec)
% [3/7] resource_error:string ....................... passed (0.087 sec)
% [4/7] resource_error:string ....................... passed (0.058 sec)
% [5/7] resource_error:length ....................... passed (0.000 sec)
% [6/7] resource_error:tight_stacks ................. passed (0.010 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/1] signals:sync ................................ passed (0.002 sec)
.
% [1/9] skip_list:empty_list ........................ passed (0.000 sec)
% [2/9] skip_list:proper_list_small ................. passed (0.003 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.005 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.004 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.001 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.003 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.005 sec)
% [20/38] syntax:quote_4 ............................ passed (0.000 sec)
% [21/38] syntax:quote_5 ............................ passed (0.000 sec)
% [22/38] syntax:quote_6 ............................ passed (0.000 sec)
% [23/38] syntax:quote_7 ............................ passed (0.000 sec)
% [24/38] syntax:base_1 ............................. passed (0.000 sec)
% [25/38] syntax:base_2 ............................. passed (0.000 sec)
% [26/38] syntax:base_3 ............................. passed (0.000 sec)
% [27/38] syntax:base_4 ............................. passed (0.000 sec)
% [28/38] syntax:base_5 ............................. passed (0.000 sec)
% [29/38] syntax:number_2 ........................... passed (0.000 sec)
% [30/38] syntax:neg_base ........................... passed (0.000 sec)
% [31/38] syntax:zero_1 ............................. passed (0.000 sec)
% [32/38] syntax:latin_1 ............................ passed (0.000 sec)
% [33/38] iso_op_table_6:r1 ......................... passed (0.000 sec)
% [34/38] iso_op_table_6:r2 ......................... passed (0.000 sec)
% [35/38] iso_op_table_6:r3 ......................... passed (0.000 sec)
% [36/38] iso_op_table_6:r4 ......................... passed (0.000 sec)
% [37/38] iso_op_table_6:r5 ......................... passed (0.000 sec)
% [38/38] iso_op_table_6:r6 ......................... passed (0.000 sec)
.
% [1/55] numbervars:single .......................... passed (0.000 sec)
% [2/55] numbervars:single_s ........................ passed (0.000 sec)
% [3/55] numbervars:single_offset ................... passed (0.000 sec)
% [4/55] numbervars:single_lr ....................... passed (0.000 sec)
% [5/55] numbervars:single_lr ....................... passed (0.000 sec)
% [6/55] numbervars:neg ............................. passed (0.000 sec)
% [7/55] numbervars:shared .......................... passed (0.000 sec)
% [8/55] numbervars:shared_s ........................ passed (0.000 sec)
% [9/55] numbervars:cyclic .......................... passed (0.000 sec)
% [10/55] numbervars:cyclic_s ....................... passed (0.000 sec)
% [11/55] numbervars:twice_singleton ................ passed (0.000 sec)
% [12/55] numbervars:shift .......................... passed (0.002 sec)
% [13/55] variant:simple ............................ passed (0.000 sec)
% [14/55] variant:shared ............................ passed (0.000 sec)
% [15/55] variant:shared ............................ passed (0.000 sec)
% [16/55] variant:shared ............................ passed (0.000 sec)
% [17/55] variant:shared ............................ passed (0.000 sec)
% [18/55] variant:shared ............................ passed (0.000 sec)
% [19/55] variant:dubious ........................... passed (0.000 sec)
% [20/55] variant:common ............................ passed (0.000 sec)
% [21/55] variant:common ............................ passed (0.000 sec)
% [22/55] variant:common ............................ passed (0.000 sec)
% [23/55] variant:cyclic ............................ passed (0.000 sec)
% [24/55] variant:cyclic ............................ passed (0.000 sec)
% [25/55] variant:cyclic ............................ passed (0.000 sec)
% [26/55] variant:cyclic ............................ passed (0.000 sec)
% [27/55] variant:shared ............................ passed (0.000 sec)
% [28/55] variant:cycle ............................. passed (0.000 sec)
% [29/55] variant:symmetry .......................... passed (0.000 sec)
% [30/55] variant:symmetry .......................... passed (0.000 sec)
% [31/55] variant:ground ............................ passed (0.000 sec)
% [32/55] variant:sharing_cycles .................... passed (0.000 sec)
% [33/55] variant:cycle_with_prefix ................. passed (0.000 sec)
% [34/55] variant:attvar ............................ passed (0.000 sec)
% [35/55] variant:attvar ............................ passed (0.000 sec)
% [36/55] compound:functor .......................... passed (0.000 sec)
% [37/55] compound:=.. .............................. passed (0.000 sec)
% [38/55] compound:=.. .............................. passed (0.000 sec)
% [39/55] compound:compound_name_arity .............. passed (0.000 sec)
% [40/55] compound:compound_name_arity .............. passed (0.000 sec)
% [41/55] compound:compound_name_arity .............. passed (0.000 sec)
% [42/55] compound:compound_name_arity .............. passed (0.000 sec)
% [43/55] compound:compound_name_arguments .......... passed (0.000 sec)
% [44/55] compound:compound_name_arguments .......... passed (0.000 sec)
% [45/55] zero_arity_compound:clause ................ passed (0.000 sec)
% [46/55] zero_arity_compound:clause ................ passed (0.000 sec)
% [47/55] zero_arity_compound:clause ................ passed (0.000 sec)
% [48/55] zero_arity_compound:clause ................ passed (0.000 sec)
% [49/55] zero_arity_compound:clause ................ passed (0.000 sec)
% [50/55] term_singletons:out ....................... passed (0.000 sec)
% [51/55] term_singletons:out ....................... passed (0.000 sec)
% [52/55] term_singletons:out ....................... passed (0.000 sec)
% [53/55] term_singletons:out ....................... passed (0.000 sec)
% [54/55] term_singletons:out ....................... passed (0.000 sec)
% [55/55] term_singletons:out ....................... passed (0.000 sec)
.
% [1/75] char_code:ascii ............................ passed (0.000 sec)
% [2/75] char_code:ascii ............................ passed (0.000 sec)
% [3/75] char_code:wide ............................. passed (0.000 sec)
% [4/75] char_code:wide ............................. passed (0.005 sec)
% [5/75] char_code:error ............................ passed (0.000 sec)
% [6/75] char_code:error ............................ passed (0.000 sec)
% [7/75] char_code:error ............................ passed (0.000 sec)
% [8/75] char_code:error ............................ passed (0.000 sec)
% [9/75] char_code:error ............................ passed (0.000 sec)
% [10/75] atom_codes:error .......................... passed (0.000 sec)
% [11/75] atom_codes:error .......................... passed (0.000 sec)
% [12/75] atom_codes:error .......................... passed (0.000 sec)
% [13/75] atom_codes:error .......................... passed (0.000 sec)
% [14/75] atom_concat:shared ........................ passed (0.000 sec)
% [15/75] atom_concat:shared ........................ passed (0.000 sec)
% [16/75] atom_concat:shared ........................ passed (0.000 sec)
% [17/75] atom_concat:attvar ........................ passed (0.007 sec)
% [18/75] term_to_atom:write ........................ passed (0.000 sec)
% [19/75] term_to_atom:read ......................... passed (0.000 sec)
% [20/75] term_to_atom:read ......................... passed (0.000 sec)
% [21/75] atom_to_term:read ......................... passed (0.000 sec)
% [22/75] atom_to_term:error ........................ passed (0.000 sec)
% [23/75] atom_to_term:eof .......................... passed (0.000 sec)
% [24/75] atom_to_term:read ......................... passed (0.000 sec)
% [25/75] number_codes:whitespace ................... passed (0.000 sec)
% [26/75] number_codes:whitespace ................... passed (0.000 sec)
% [27/75] number_codes:whitespace ................... passed (0.000 sec)
% [28/75] number_codes:whitespace ................... passed (0.000 sec)
% [29/75] number_codes:unify ........................ passed (0.000 sec)
% [30/75] number_chars:iso .......................... passed (0.000 sec)
% [31/75] number_chars:iso .......................... passed (0.000 sec)
% [32/75] number_chars:swi .......................... passed (0.000 sec)
% [33/75] number_chars:iso .......................... passed (0.005 sec)
% [34/75] number_chars:iso .......................... passed (0.000 sec)
% [35/75] number_chars:swi .......................... passed (0.000 sec)
% [36/75] number_chars:iso .......................... passed (0.000 sec)
% [37/75] number_chars:swi .......................... passed (0.000 sec)
% [38/75] number_chars:iso .......................... passed (0.000 sec)
% [39/75] number_chars:iso .......................... passed (0.000 sec)
% [40/75] number_chars:swi .......................... passed (0.000 sec)
% [41/75] number_chars:iso .......................... passed (0.000 sec)
% [42/75] number_chars:iso .......................... passed (0.000 sec)
% [43/75] number_chars:iso .......................... passed (0.000 sec)
% [44/75] number_chars:iso .......................... passed (0.000 sec)
% [45/75] number_chars:float ........................ passed (0.007 sec)
% [46/75] number_chars:iso2 ......................... passed (0.000 sec)
% [47/75] number_chars:iso2 ......................... passed (0.000 sec)
% [48/75] number_chars:iso2 ......................... passed (0.000 sec)
% [49/75] number_chars:iso2 ......................... passed (0.000 sec)
% [50/75] number_chars:iso2 ......................... passed (0.000 sec)
% [51/75] number_chars:iso2 ......................... passed (0.000 sec)
% [52/75] number_chars:iso2 ......................... passed (0.000 sec)
% [53/75] number_chars:iso2 ......................... passed (0.000 sec)
% [54/75] number_chars:iso2 ......................... passed (0.000 sec)
% [55/75] number_chars:iso2 ......................... passed (0.000 sec)
% [56/75] number_chars:iso2 ......................... passed (0.000 sec)
% [57/75] name:int .................................. passed (0.000 sec)
% [58/75] name:atom ................................. passed (0.000 sec)
% [59/75] name:atom ................................. passed (0.000 sec)
% [60/75] name:atom ................................. passed (0.000 sec)
% [61/75] sub_atom:neg .............................. passed (0.000 sec)
% [62/75] sub_atom:nondet ........................... passed (0.000 sec)
% [63/75] atomic_list_concat:int64 .................. passed (0.000 sec)
% [64/75] atomic_list_concat:error .................. passed (0.000 sec)
% [65/75] atomic_list_concat:error .................. passed (0.000 sec)
% [66/75] substring:sub_atom ........................ passed (0.000 sec)
% [67/75] substring:sub_atom ........................ passed (0.000 sec)
% [68/75] substring:name_value ...................... passed (0.000 sec)
% [69/75] substring:string_insert ................... passed (0.000 sec)
% [70/75] substring:string_insert ................... passed (0.000 sec)
% [71/75] substring:prefix .......................... passed (0.000 sec)
% [72/75] substring:prefix .......................... passed (0.000 sec)
% [73/75] substring:suffix .......................... passed (0.000 sec)
% [74/75] substring:suffix .......................... passed (0.000 sec)
% [75/75] substring:suffix .......................... passed (0.000 sec)
.
% [1/1] time:get_time ............................... passed (0.000 sec)
.
% [1/5] undo:undo_or ................................ passed (0.000 sec)
% [2/5] undo:clauses ................................ passed (0.000 sec)
% [3/5] undo:error .................................. passed (0.000 sec)
% [4/5] undo:error2 ................................. passed (0.000 sec)
% [5/5] undo:cleanup ................................ passed (0.000 sec)
.
% [1/10] numbers:read ............................... passed (0.000 sec)
% [2/10] numbers:read ............................... passed (0.000 sec)
% [3/10] numbers:number_codes ....................... passed (0.000 sec)
% [4/10] numbers:atom_number ........................ passed (0.000 sec)
% [5/10] numbers:string_number ...................... passed (0.000 sec)
% [6/10] numbers:string_number ...................... passed (0.000 sec)
% [7/10] numbers:string_number ...................... passed (0.000 sec)
% [8/10] numbers:string_number ...................... passed (0.000 sec)
% [9/10] unicode_preds:atom_length .................. passed (0.000 sec)
% [10/10] unicode_preds:string_length ............... passed (0.000 sec)
.
% [1/12] unify:blam ................................. passed (0.000 sec)
% [2/12] unify:unify_self ........................... passed (0.000 sec)
% [3/12] unify:unify_fv ............................. passed (0.003 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.005 sec)
.
% [1/8] varprops:simple ............................. passed (0.000 sec)
% [2/8] varprops:not ................................ passed (0.000 sec)
% [3/8] varprops:not ................................ passed (0.000 sec)
% [4/8] varprops:disjunct ........................... passed (0.000 sec)
% [5/8] varprops:disjunct ........................... passed (0.000 sec)
% [6/8] varprops:disjunct ........................... passed (0.000 sec)
% [7/8] varprops:disjunct ........................... passed (0.000 sec)
% [8/8] varprops:disjunct ........................... passed (0.000 sec)
.
% [1/58] portray:exception .......................... passed (0.000 sec)
% [2/58] portray:blob ............................... passed (0.000 sec)
% [3/58] write_op:nodict ............................ passed (0.000 sec)
% [4/58] write_canonical:numbervars ................. passed (0.000 sec)
% [5/58] write_canonical:numbervars ................. passed (0.000 sec)
% [6/58] write_canonical:numbervars ................. passed (0.000 sec)
% [7/58] write_canonical:dot_in_atom ................ passed (0.000 sec)
% [8/58] write_canonical:dot_in_atom ................ passed (0.000 sec)
% [9/58] write_canonical:varname .................... passed (0.000 sec)
% [10/58] write_canonical:braceterm ................. passed (0.000 sec)
% [11/58] write_canonical:braceterm ................. passed (0.000 sec)
% [12/58] write_canonical:quote ..................... passed (0.000 sec)
% [13/58] write_canonical:quote ..................... passed (0.000 sec)
% [14/58] write_quoted:comment ...................... passed (0.000 sec)
% [15/58] write_quoted:comment ...................... passed (0.000 sec)
% [16/58] write_quoted:comment ...................... passed (0.000 sec)
% [17/58] write_quoted:comment ...................... passed (0.000 sec)
% [18/58] write_quoted:escape ....................... passed (0.000 sec)
% [19/58] write_quoted:escape ....................... passed (0.000 sec)
% [20/58] write_quoted:escape ....................... passed (0.000 sec)
% [21/58] write_quoted:escape ....................... passed (0.000 sec)
% [22/58] write_quoted:space ........................ passed (0.000 sec)
% [23/58] write_quoted:backslash .................... passed (0.000 sec)
% [24/58] write_quoted:backslash .................... passed (0.000 sec)
% [25/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [26/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [27/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [28/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [29/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [30/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [31/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [32/58] write_variable_names:variable_names ....... passed (0.000 sec)
% [33/58] write_float:nan ........................... passed (0.000 sec)
% [34/58] write_misc:q_1 ............................ passed (0.000 sec)
% [35/58] write_misc:q_2 ............................ passed (0.000 sec)
% [36/58] write_misc:q_3 ............................ passed (0.000 sec)
% [37/58] write_misc:q_4 ............................ passed (0.000 sec)
% [38/58] write_misc:q_5 ............................ passed (0.000 sec)
% [39/58] write_misc:q_6 ............................ passed (0.000 sec)
% [40/58] write_misc:q_7 ............................ passed (0.000 sec)
% [41/58] write_misc:q_8 ............................ passed (0.000 sec)
% [42/58] write_misc:q_9 ............................ passed (0.000 sec)
% [43/58] write_misc:op_1 ........................... passed (0.000 sec)
% [44/58] write_misc:op_2 ........................... passed (0.000 sec)
% [45/58] write_misc:op_3 ........................... passed (0.000 sec)
% [46/58] write_misc:c_1 ............................ passed (0.000 sec)
% [47/58] write_misc:s_1 ............................ passed (0.000 sec)
% [48/58] max_text:string ........................... passed (0.000 sec)
% [49/58] max_text:string ........................... passed (0.000 sec)
% [50/58] max_text:string ........................... passed (0.000 sec)
% [51/58] max_text:string ........................... passed (0.000 sec)
% [52/58] max_text:string ........................... passed (0.000 sec)
% [53/58] max_text:string ........................... passed (0.000 sec)
% [54/58] max_text:atom ............................. passed (0.000 sec)
% [55/58] max_text:atom ............................. passed (0.000 sec)
% [56/58] max_text:atom ............................. passed (0.000 sec)
% [57/58] max_text:atom ............................. passed (0.000 sec)
% [58/58] max_text:atom ............................. passed (0.000 sec)
. done
Running scripts from attvar .
% [1/8] attvar:s_list ............................... passed (0.000 sec)
% [2/8] attvar:true_ndet ............................ passed (0.000 sec)
% [3/8] freeze:freeze_and ........................... passed (0.000 sec)
% [4/8] freeze:freeze_memberchk ..................... passed (0.000 sec)
% [5/8] freeze:freeze_memberchk ..................... passed (0.000 sec)
% [6/8] freeze:freeze_memberchk ..................... passed (0.000 sec)
% [7/8] freeze:freeze_memberchk ..................... passed (0.000 sec)
% [8/8] attvar_with_occurs_check:occurs_check ....... passed (0.000 sec)
.
% [1/18] call_residue_vars:freeze_in ................ passed (0.000 sec)
% [2/18] call_residue_vars:freeze_bind .............. passed (0.000 sec)
% [3/18] call_residue_vars:freeze_out ............... passed (0.000 sec)
% [4/18] call_residue_vars:freeze_oi ................ passed (0.000 sec)
% [5/18] call_residue_vars:nogc ..................... passed (0.000 sec)
% [6/18] call_residue_vars:gc ....................... passed (0.000 sec)
% [7/18] call_residue_vars:gc2 ...................... passed (0.000 sec)
% [8/18] call_residue_vars:gc3 ...................... passed (0.081 sec)
% [9/18] call_residue_vars:modify ................... passed (0.001 sec)
% [10/18] call_residue_vars:trail ................... passed (0.001 sec)
% [11/18] call_residue_vars:frozen_stacks ........... passed (0.001 sec)
% [12/18] call_residue_vars:copy_term ............... passed (0.007 sec)
% [13/18] call_residue_vars:copy_term ............... passed (0.000 sec)
% [14/18] call_residue_vars:copy_term ............... passed (0.000 sec)
% [15/18] call_residue_vars:record .................. passed (0.000 sec)
% [16/18] call_residue_vars:record .................. passed (0.000 sec)
% [17/18] call_residue_vars:record .................. passed (0.000 sec)
% [18/18] call_residue_vars:early_reset ............. passed (0.000 sec)
.
% [1/24] dif:1 ...................................... passed (0.000 sec)
% [2/24] dif:2 ...................................... passed (0.000 sec)
% [3/24] dif:3 ...................................... passed (0.000 sec)
% [4/24] dif:4 ...................................... passed (0.000 sec)
% [5/24] dif:5 ...................................... passed (0.000 sec)
% [6/24] dif:6 ...................................... passed (0.000 sec)
% [7/24] dif:7 ...................................... passed (0.000 sec)
% [8/24] dif:7b ..................................... passed (0.000 sec)
% [9/24] dif:8 ...................................... passed (0.000 sec)
% [10/24] dif:9 ..................................... passed (0.000 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.000 sec)
% [18/24] dif:16 .................................... passed (0.000 sec)
% [19/24] dif:no_dup ................................ passed (0.002 sec)
% [20/24] dif:17 .................................... passed (0.000 sec)
% [21/24] dif:other_atts ............................ passed (0.000 sec)
% [22/24] dif:issue122 .............................. passed (0.000 sec)
% [23/24] dif:issue109 .............................. passed (0.000 sec)
% [24/24] dif:issue122 .............................. passed (0.000 sec)
. done
Running scripts from debug
% [1/2] d_break:call ................................ passed (0.004 sec)
% [2/2] d_break:t_break ............................. passed (0.287 sec)
..........................
% [1/1] interrupt:copy_stream_data .................. passed (0.152 sec)
... done
Running scripts from library .
% [1/17] foreach:forall ............................. passed (0.000 sec)
% [2/17] foreach:forall ............................. passed (0.000 sec)
% [3/17] foreach:dif1 ............................... passed (0.000 sec)
% [4/17] foreach:dif1 ............................... passed (0.000 sec)
% [5/17] foreach:member ............................. passed (0.000 sec)
% [6/17] foreach:ht ................................. passed (0.001 sec)
% [7/17] aggregate:aggregate_sum .................... passed (0.000 sec)
% [8/17] aggregate:aggregate_count .................. passed (0.000 sec)
% [9/17] aggregate:aggregate_term ................... passed (0.000 sec)
% [10/17] aggregate:aggregate_term_bag .............. passed (0.000 sec)
% [11/17] aggregate:aggregate_term0 ................. passed (0.000 sec)
% [12/17] aggregate:aggregate_age ................... passed (0.000 sec)
% [13/17] aggregate:aggregate_age_disc .............. passed (0.000 sec)
% [14/17] aggregate:max_density ..................... passed (0.000 sec)
% [15/17] aggregate:density_range ................... passed (0.000 sec)
% [16/17] aggregate:aggregate_all ................... passed (0.000 sec)
% [17/17] aggregate:e_vars .......................... passed (0.000 sec)
.
% [1/5] ansi_term:absolute_position_output .......... passed (0.000 sec)
% [2/5] ansi_term:absolute_position_input ........... passed (0.000 sec)
% [3/5] ansi_term:multi_position_output ............. passed (0.000 sec)
% [4/5] ansi_term:single_nonlist_argument ........... passed (0.000 sec)
% [5/5] ansi_term:multi_arguments ................... passed (0.000 sec)
.
% [1/12] foldl:foldl empty, starter is atom ......... passed (0.000 sec)
% [2/12] foldl:foldl empty, starter is unbound ...... passed (0.000 sec)
% [3/12] foldl:foldl const..f arguments, 1 list ..... passed (0.000 sec)
% [4/12] foldl:foldl const.. arguments, 2 lists ..... passed (0.000 sec)
% [5/12] foldl:foldl const.. arguments, 3 lists ..... passed (0.000 sec)
% [6/12] foldl:foldl const.. arguments, 4 lists ..... passed (0.000 sec)
% [7/12] foldl:foldl const..g unbound variables ..... passed (0.000 sec)
% [8/12] foldl:foldl build..lly increasing ints ..... passed (0.000 sec)
% [9/12] foldl:foldl build..g ints, just verify ..... passed (0.000 sec)
% [10/12] foldl:foldl breakoff with failure ......... passed (0.000 sec)
% [11/12] foldl:foldl breakoff with exception ....... passed (0.000 sec)
% [12/12] foldl:foldl on li..an unbound variable .... passed (0.000 sec)
.
% [1/8] arithmetic_function:func .................... passed (0.000 sec)
% [2/8] arithmetic_function:func .................... passed (0.000 sec)
% [3/8] arithmetic_function:func .................... passed (0.000 sec)
% [4/8] arithmetic_function:euler ................... passed (0.000 sec)
% [5/8] arithmetic_function:fail .................... passed (0.000 sec)
% [6/8] arithmetic_function:except .................. passed (0.000 sec)
% [7/8] arithmetic_function:fac ..................... passed (0.000 sec)
% [8/8] arithmetic_function:idiv .................... passed (0.000 sec)
.
% [1/16] assoc:wirth_85 ............................. passed (0.000 sec)
% [2/16] assoc:unbalanced_1 ......................... passed (0.000 sec)
% [3/16] assoc:unbalanced_2 ......................... passed (0.000 sec)
% [4/16] assoc:unbalanced_3 ......................... passed (0.000 sec)
% [5/16] assoc:unordered_1 .......................... passed (0.000 sec)
% [6/16] assoc:unordered_2 .......................... passed (0.000 sec)
% [7/16] assoc:unordered_3 .......................... passed (0.000 sec)
% [8/16] assoc:bad_structure_1 ...................... passed (0.000 sec)
% [9/16] assoc:bad_structure_2 ...................... passed (0.000 sec)
% [10/16] assoc:bad_structure_keys_not_ground ....... passed (0.000 sec)
% [11/16] assoc:del_max_min ......................... passed (0.000 sec)
% [12/16] assoc:wirth_del ........................... passed (0.000 sec)
% [13/16] assoc:random_min .......................... passed (0.001 sec)
% [14/16] assoc:random_max .......................... passed (0.001 sec)
% [15/16] assoc:del_empty ........................... passed (0.000 sec)
% [16/16] assoc:del_no_member ....................... passed (0.000 sec)
.
% [1/8] csv_read_file_row:normal .................... passed (0.009 sec)
% [2/8] csv_read_file_row:emptyline ................. passed (0.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.001 sec)
% [8/8] csv_read_file_row:quoted_crlf_ignored ....... passed (0.000 sec)
.
% [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.005 sec)
% [11-1/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-2/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-3/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-4/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-5/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [12/14] sequence:sequence..lement trailing sep .... passed (0.000 sec)
% [13/14] sequence:sequence//5 sep only ............. passed (0.000 sec)
% [14/14] sequence:sequence//5 nondet element ....... passed (0.000 sec)
.
% [1/18] must_be:integer ............................ passed (0.000 sec)
% [2/18] must_be:integer ............................ passed (0.000 sec)
% [3/18] must_be:integer ............................ passed (0.000 sec)
% [4/18] must_be:integer ............................ passed (0.000 sec)
% [5/18] must_be:integer ............................ passed (0.000 sec)
% [6/18] must_be:rational ........................... passed (0.000 sec)
% [7/18] must_be:rational ........................... passed (0.000 sec)
% [8/18] must_be:rational ........................... passed (0.000 sec)
% [9/18] must_be:rational ........................... passed (0.000 sec)
% [10/18] must_be:rational .......................... passed (0.000 sec)
% [11/18] must_be:list_of_integer ................... passed (0.000 sec)
% [12/18] must_be:list_of_integer ................... passed (0.000 sec)
% [13/18] must_be:list_of_integer ................... passed (0.000 sec)
% [14/18] must_be:list_of_integer ................... passed (0.000 sec)
% [15/18] must_be:list_of_integer ................... passed (0.000 sec)
% [16/18] must_be:list_of_integer ................... passed (0.000 sec)
% [17/18] must_be:list_of_integer ................... passed (0.000 sec)
% [18/18] must_be:list_of_integer ................... passed (0.000 sec)
.
% [1/7] evaluable_property:consistency .............. passed (0.000 sec)
% [2/7] evaluable_property:consistency .............. passed (0.000 sec)
% [3/7] evaluable_property:det ...................... passed (0.000 sec)
% [4/7] evaluable_property:ndet ..................... passed (0.000 sec)
% [5/7] evaluable_property:templ .................... passed (0.001 sec)
% [6/7] evaluable_property:iso ...................... passed (0.000 sec)
% [7/7] evaluable_property:error .................... passed (0.001 sec)
.
% [1/8] hashtable:rfill ............................. passed (0.007 sec)
% [2/8] hashtable:rdel .............................. passed (0.008 sec)
% [3/8] hashtable:empty ............................. passed (0.000 sec)
% [4/8] hashtable:empty ............................. passed (0.000 sec)
% [5/8] hashtable:size .............................. passed (0.000 sec)
% [6/8] hashtable:put5 .............................. passed (0.000 sec)
% [7/8] hashtable:put5 .............................. passed (0.000 sec)
% [8/8] hashtable:wc ................................ passed (0.000 sec)
.
% [1/6] intercept:assign ............................ passed (0.001 sec)
% [2/6] intercept:assign ............................ passed (0.000 sec)
% [3/6] intercept:no_univ ........................... passed (0.000 sec)
% [4/6] intercept:all ............................... passed (0.003 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.004 sec)
% [2/2] lazy_lists:state ............................ passed (0.000 sec)
.
% [1/1] lists:reverse ............................... passed (0.006 sec)
.
% [1/48] argv_options_unguided:unguided ............. passed (0.001 sec)
% [2/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [3/48] argv_options_unguided:unguided ............. passed (0.001 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.003 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.005 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.007 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.006 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.006 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.007 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.003 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.006 sec)
% [18/23] read_pending_input:octet .................. passed (0.005 sec)
% [19/23] read_pending_input:iso_latin_1 ............ passed (0.002 sec)
% [20/23] read_pending_input:utf8 ................... passed (0.004 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.006 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.084 sec)
.
% [1/145] rbtrees:keys .............................. passed (0.000 sec)
% [2/145] rbtrees:clone3 ............................ passed (0.000 sec)
% [3/145] rbtrees:pos ............................... passed (0.017 sec)
% [4/145] rbtrees:neg ............................... passed (0.014 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.001 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.001 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.007 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.006 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.000 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.006 sec)
% [7/7] test_solution_sequences:group_by ............ passed (0.000 sec)
.
% [1/10] source_info:hu1/1 .......................... passed (0.002 sec)
% [2/10] source_info:hu2/1 .......................... passed (0.000 sec)
% [3/10] source_info:hu3/1 .......................... passed (0.000 sec)
% [4/10] source_info:ssu1/1 ......................... passed (0.004 sec)
% [5/10] source_info:nsu1/1 ......................... passed (0.000 sec)
% [6/10] source_info:ssu2/1 ......................... passed (0.000 sec)
% [7/10] source_info:ssu3/1 ......................... passed (0.000 sec)
% [8/10] source_info:ssu4/1 ......................... passed (0.005 sec)
% [9/10] source_info:ssu5/1 ......................... passed (0.001 sec)
% [10/10] source_info:ssu6/2 ........................ passed (0.000 sec)
.
% [1/56] strings:plain .............................. passed (0.003 sec)
% [2/56] strings:interpolate ........................ passed (0.000 sec)
% [3/56] strings:interpolate ........................ passed (0.001 sec)
% [4/56] strings:interpolate ........................ passed (0.000 sec)
% [5/56] strings:dedent ............................. passed (0.000 sec)
% [6/56] strings:dedent ............................. passed (0.000 sec)
% [7/56] strings:dedent ............................. passed (0.000 sec)
% [8/56] strings:splitlines ......................... passed (0.001 sec)
% [9/56] strings:splitlines ......................... passed (0.000 sec)
% [10/56] strings:splitlines ........................ passed (0.000 sec)
% [11/56] strings:splitlines ........................ passed (0.000 sec)
% [12/56] strings:string_lines ...................... passed (0.000 sec)
% [13/56] strings:string_lines ...................... passed (0.000 sec)
% [14/56] strings:string_lines ...................... passed (0.000 sec)
% [15/56] strings:string_lines ...................... passed (0.000 sec)
% [16/56] strings:string_lines ...................... passed (0.000 sec)
% [17/56] strings:string_lines ...................... passed (0.000 sec)
% [18/56] strings:string_lines ...................... passed (0.000 sec)
% [19/56] strings:string_lines ...................... passed (0.000 sec)
% [20/56] strings:string_lines ...................... passed (0.000 sec)
% [21/56] strings:string_lines ...................... passed (0.000 sec)
% [22/56] strings:string_lines ...................... passed (0.000 sec)
% [23/56] strings:string_lines ...................... passed (0.000 sec)
% [24/56] strings:string_lines ...................... passed (0.000 sec)
% [25/56] strings:string_lines ...................... passed (0.000 sec)
% [26/56] strings:string_lines ...................... passed (0.000 sec)
% [27/56] strings:string_lines ...................... passed (0.000 sec)
% [28/56] strings:string_lines ...................... passed (0.000 sec)
% [29/56] strings:string_lines ...................... passed (0.000 sec)
% [30/56] strings:string_lines ...................... passed (0.000 sec)
% [31/56] strings:dedent_nomargin ................... passed (0.000 sec)
% [32/56] strings:dedent_nomargin ................... passed (0.000 sec)
% [33/56] strings:dedent_nomargin ................... passed (0.000 sec)
% [34/56] strings:dedent_nomargin ................... passed (0.000 sec)
% [35/56] strings:dedent_even ....................... passed (0.000 sec)
% [36/56] strings:dedent_even ....................... passed (0.000 sec)
% [37/56] strings:dedent_even ....................... passed (0.000 sec)
% [38/56] strings:dedent_uneven ..................... passed (0.000 sec)
% [39/56] strings:dedent_uneven ..................... passed (0.000 sec)
% [40/56] strings:dedent_uneven ..................... passed (0.000 sec)
% [41/56] strings:dedent_declining .................. passed (0.000 sec)
% [42/56] strings:dedent_declining .................. passed (0.000 sec)
% [43/56] strings:dedent_declining .................. passed (0.000 sec)
% [44/56] strings:dedent_preserve_internal_tabs ..... passed (0.000 sec)
% [45/56] strings:dedent_preserve_margin_tabs ....... passed (0.000 sec)
% [46/56] strings:dedent_preserve_margin_tabs ....... passed (0.000 sec)
% [47/56] strings:dedent_preserve_margin_tabs ....... passed (0.000 sec)
% [48/56] strings:indent_nomargin_default ........... passed (0.000 sec)
% [49/56] strings:indent_nomargin_all_lines ......... passed (0.000 sec)
% [50/56] strings:indent_no_lines ................... passed (0.006 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.003 sec)
% [56/56] strings:indent_empty_lines ................ passed (0.000 sec)
.
% [1/10] thread:true ................................ passed (0.002 sec)
% [2/10] thread:unify ............................... passed (0.003 sec)
% [3/10] thread:unify ............................... passed (0.008 sec)
% [4/10] thread:fail ................................ passed (0.003 sec)
% [5/10] thread:error ............................... passed (0.004 sec)
% [6/10] thread:concur .............................. passed (0.099 sec)
% [7/10] thread:first ............................... passed (0.003 sec)
% [8/10] thread:first ............................... passed (1.003 sec)
% [9/10] thread:first ............................... passed (0.019 sec)
% [10/10] thread:first .............................. passed (0.011 sec)
.
% [1/4] thread_pool:current ......................... passed (0.004 sec)
% [2/4] thread_pool:free ............................ passed (0.002 sec)
% [3/4] thread_pool:free ............................ passed (0.001 sec)
% [4/4] thread_pool:loop ............................ passed (0.215 sec)
.
% [1/2] tmp_module:nqueens .......................... passed (0.127 sec)
% [2/2] tmp_module:current_op ....................... passed (0.547 sec)
.
% [1/6] top_sort:linear ............................. passed (0.000 sec)
% [2/6] top_sort:linear ............................. passed (0.000 sec)
% [3/6] top_sort:multi .............................. passed (0.000 sec)
% [4/6] top_sort:multi .............................. passed (0.000 sec)
% [5/6] top_sort:disconnected ....................... passed (0.000 sec)
% [6/6] top_sort:cyclic ............................. passed (0.000 sec)
.
% [1/3] expand_unit:foo1 ............................ passed (0.000 sec)
% [2/3] expand_unit:foo2 ............................ passed (0.000 sec)
% [3/3] expand_unit:expand .......................... passed (0.000 sec)
..
% [1-1/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-2/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-3/4] utf8:unicode_code_point_to_utf8 ........... passed (0.001 sec)
% [1-4/4] utf8:unicode_code_point_to_utf8 ........... passed (0.005 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.005 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.003 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.003 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.006 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.006 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.005 sec)
% [2/8] cmp_versions:eq ............................. passed (0.000 sec)
% [3/8] cmp_versions:eq ............................. passed (0.000 sec)
% [4/8] cmp_versions:lt ............................. passed (0.000 sec)
% [5/8] cmp_versions:gt ............................. passed (0.000 sec)
% [6/8] cmp_versions:lt ............................. passed (0.000 sec)
% [7/8] cmp_versions:lt ............................. passed (0.000 sec)
% [8/8] cmp_versions:lt ............................. passed (0.000 sec)
.
% [1/3] when:nested_ground .......................... passed (0.006 sec)
% [2/3] when:nested_ground .......................... passed (0.000 sec)
% [3/3] when:nested_ground .......................... passed (0.000 sec)
.
% [1/42] yall_tests:call ............................ passed (0.000 sec)
% [2/42] yall_tests:call ............................ passed (0.001 sec)
% [3/42] yall_tests:call ............................ passed (0.000 sec)
% [4/42] yall_tests:call ............................ passed (0.003 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.005 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.003 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.005 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.003 sec)
. done
Running scripts from compile
% [1/1] autoload:not_from_user ...................... passed (0.009 sec)
. done
Running scripts from charset . done
Running scripts from eclipse
% Running ECLiPSe tests from file /home/hornik/tmp/scratch/Rtmpj2xVnm/RLIBS_d57776ac33d3c/rswipl/swipl/lib/swipl/test/eclipse/format.tst
.................................................................................................................................................................................................
% Finished tests from file /home/hornik/tmp/scratch/Rtmpj2xVnm/RLIBS_d57776ac33d3c/rswipl/swipl/lib/swipl/test/eclipse/format.tst
% 193 tests found.
% 193 tests succeeded.
% Running ECLiPSe tests from file /home/hornik/tmp/scratch/Rtmpj2xVnm/RLIBS_d57776ac33d3c/rswipl/swipl/lib/swipl/test/eclipse/format_strings.tst
...
% Finished tests from file /home/hornik/tmp/scratch/Rtmpj2xVnm/RLIBS_d57776ac33d3c/rswipl/swipl/lib/swipl/test/eclipse/format_strings.tst
% 3 tests found.
% 3 tests succeeded.
% Running ECLiPSe tests from file /home/hornik/tmp/scratch/Rtmpj2xVnm/RLIBS_d57776ac33d3c/rswipl/swipl/lib/swipl/test/eclipse/string_tests.tst
........................................................................................................................................................................
% Finished tests from file /home/hornik/tmp/scratch/Rtmpj2xVnm/RLIBS_d57776ac33d3c/rswipl/swipl/lib/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.012 sec)
% [4/6] file_names:5 ................................ passed (0.028 sec)
% [5/6] file_names:4 ................................ passed (0.012 sec)
% [6/6] file_names:6 ................................ passed (0.038 sec)
.
% [1/16] files:tmp_cleanup .......................... passed (0.013 sec)
% [2/16] files:directory_files ...................... passed (0.000 sec)
% [3/16] files:directory_files ...................... passed (0.000 sec)
% [4/16] files:max_path_len ......................... passed (0.012 sec)
% [5/16] files:max_path_len ......................... passed (0.013 sec)
% [6/16] files:max_path_len ......................... passed (0.014 sec)
% [7/16] files:at_end_of_stream ..................... passed (0.000 sec)
% [8/16] files:at_end_of_stream ..................... passed (0.000 sec)
% [9/16] files:at_end_of_stream ..................... passed (0.000 sec)
% [10/16] files:file_directory_name ................. passed (0.000 sec)
% [11/16] files:file_directory_name ................. passed (0.000 sec)
% [12/16] files:file_directory_name ................. passed (0.000 sec)
% [13/16] files:file_base_name ...................... passed (0.000 sec)
% [14/16] files:file_base_name ...................... passed (0.000 sec)
% [15/16] files:file_base_name ...................... passed (0.000 sec)
% [16/16] files:file_base_name ...................... 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.006 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.000 sec)
% [31/33] glob_expand:cyrillic ...................... passed (0.000 sec)
% [32/33] glob_expand:cyrillic ...................... passed (0.006 sec)
% [33/33] glob_expand:cyrillic ...................... passed (0.000 sec)
.
% [1/4] pipe:pwd .................................... passed (0.007 sec)
% [2/4] pipe:cat1 ................................... passed (0.014 sec)
% [3/4] pipe:cat2 ................................... passed (0.006 sec)
% [4/4] pipe:timeout ................................ passed (1.013 sec)
. done
Running scripts from clp . done
Running scripts from GC
% [1/1] agc_copyterm:copy ........................... passed (0.633 sec)
..
% [1/2] ch_shift:local_st.._expansion_many_chp ...... passed (0.699 sec)
% [2/2] ch_shift:local_st..pansion_pending_chp ...... passed (0.010 sec)
..
% [1/12] cleanup_shift:gtrue ........................ passed (0.008 sec)
% [2/12] cleanup_shift:ltrue ........................ passed (0.001 sec)
% [3/12] cleanup_shift:ttrue ........................ passed (0.009 sec)
% [4/12] cleanup_shift:gfalse ....................... passed (0.007 sec)
% [5/12] cleanup_shift:lfalse ....................... passed (0.001 sec)
% [6/12] cleanup_shift:tfalse ....................... passed (0.010 sec)
% [7/12] cleanup_shift:gcut ......................... passed (0.003 sec)
% [8/12] cleanup_shift:lcut ......................... passed (0.009 sec)
% [9/12] cleanup_shift:tcut ......................... passed (0.010 sec)
% [10/12] cleanup_shift:gexcept ..................... passed (0.006 sec)
% [11/12] cleanup_shift:lexcept ..................... passed (0.001 sec)
% [12/12] cleanup_shift:texcept ..................... passed (0.013 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.010 sec)
% [2/4] queue_timeout:abs ........................... passed (0.014 sec)
% [3/4] queue_timeout:abs_rel1 ...................... passed (0.010 sec)
% [4/4] queue_timeout:abs_rel2 ...................... passed (0.010 sec)
....
% [1/1] test_dynamic:retractall ..................... passed (0.062 sec)
............
% [1/5] concurrent_and:basic ........................ passed (0.082 sec)
% [2/5] concurrent_and:select ....................... passed (0.103 sec)
% [3/5] concurrent_and:cut .......................... passed (0.105 sec)
% [4/5] concurrent_and:error ........................ passed (0.093 sec)
% [5/5] concurrent_and:gen_error .................... passed (0.067 sec)
.
% [1/5] rwlocks:basic_write_lock .................... passed (0.002 sec)
% [2/5] rwlocks:basic_read_lock ..................... passed (0.000 sec)
% [3/5] rwlocks:concurrent_reads .................... passed (0.007 sec)
% [4/5] rwlocks:write_blocks_reads .................. passed (0.507 sec)
% [5/5] rwlocks:invalid_mode ........................ passed (0.001 sec)
.....
% [1/24] thread_create:alias ........................ passed (0.001 sec)
% [2/24] thread_create:anonymous .................... passed (0.000 sec)
% [3/24] thread_errors:null ......................... passed (0.000 sec)
% [4/24] thread_errors:null ......................... passed (0.000 sec)
% [5/24] thread_property:alias ...................... passed (0.000 sec)
% [6/24] thread_property:detached_false ............. passed (0.000 sec)
% [7/24] thread_property:detached_true .............. passed (0.000 sec)
% [8/24] thread_property:status_running ............. passed (0.000 sec)
% [9/24] thread_property:status_true ................ passed (0.000 sec)
% [10/24] thread_property:status_fail ............... passed (0.000 sec)
% [11/24] thread_property:status_exception .......... passed (0.000 sec)
% [12/24] thread_property:status_enum1 .............. passed (0.000 sec)
% [13/24] thread_property:status_enum2 .............. passed (0.000 sec)
% [14/24] thread_property:existence ................. passed (0.000 sec)
% [15/24] thread_property:existence ................. passed (0.000 sec)
% [16/24] mutex:lock ................................ passed (0.000 sec)
% [17/24] mutex:destroy ............................. passed (0.000 sec)
% [18/24] mutex:destroy_locked ...................... passed (0.000 sec)
% [19/24] mutex:destroy_locked_other_thread ......... passed (0.000 sec)
% [20/24] mutex_property:alias ...................... passed (0.000 sec)
% [21/24] mutex_property:generate ................... passed (0.000 sec)
% [22/24] mutex_property:locked ..................... passed (0.000 sec)
% [23/24] message_queue:max_size_prop ............... passed (0.000 sec)
% [24/24] message_queue:size_prop ................... passed (0.000 sec)
...... done
Running scripts from thread_wait
% [1/1] functor_cache:race ..malloc_consolidate(): unaligned fastbin chunk detected
Aborted
Flavor: r-release-linux-x86_64
Version: 10.1.5
Check: installed package size
Result: NOTE
installed size is 39.6Mb
sub-directories of 1Mb or more:
swipl 39.2Mb
Flavors: r-oldrel-macos-arm64, r-oldrel-macos-x86_64, r-oldrel-windows-x86_64
Version: 10.1.5
Check: for GNU extensions in Makefiles
Result: NOTE
GNU make is a SystemRequirements.
Flavors: r-oldrel-macos-arm64, r-oldrel-macos-x86_64, r-oldrel-windows-x86_64