Last updated on 2026-03-18 00:50:08 CET.
| Flavor | Version | Tinstall | Tcheck | Ttotal | Status | Flags |
|---|---|---|---|---|---|---|
| r-devel-linux-x86_64-debian-clang | 10.1.5 | 297.36 | 83.62 | 380.98 | OK | |
| r-devel-linux-x86_64-debian-gcc | 10.1.5 | 259.85 | 64.81 | 324.66 | OK | |
| r-devel-linux-x86_64-fedora-clang | 10.1.5 | 480.00 | 108.92 | 588.92 | NOTE | |
| r-devel-linux-x86_64-fedora-gcc | 10.1.5 | 600.00 | 117.08 | 717.08 | ERROR | |
| r-devel-macos-arm64 | 10.1.5 | 133.00 | 64.00 | 197.00 | OK | |
| r-devel-windows-x86_64 | 10.1.5 | 947.00 | 108.00 | 1055.00 | OK | |
| r-patched-linux-x86_64 | 10.1.4 | 298.04 | 79.22 | 377.26 | OK | |
| r-release-linux-x86_64 | 10.1.5 | 301.15 | 79.97 | 381.12 | OK | |
| 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.4 | 1164.00 | 157.00 | 1321.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 | 1163.00 | 112.00 | 1275.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’ [79s/90s]
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.017 sec)
% [2/21] reconsult:add_clause ....................... passed (0.003 sec)
% [3/21] reconsult:del_clause ....................... passed (0.003 sec)
% [4/21] reconsult:del_clause_a ..................... passed (0.003 sec)
% [5/21] reconsult:del_clause_z ..................... passed (0.003 sec)
% [6/21] reconsult:replace_clause ................... passed (0.002 sec)
% [7/21] reconsult:add_pred ......................... passed (0.002 sec)
% [8/21] reconsult:del_pred ......................... passed (0.002 sec)
% [9/21] reconsult:add_attr_end ..................... passed (0.002 sec)
% [10/21] reconsult:del_attr_end .................... passed (0.008 sec)
% [11/21] reconsult:del_dynamic ..................... passed (0.002 sec)
% [12/21] reconsult:del_det ......................... passed (0.002 sec)
% [13/21] reconsult:add_thread_local ................ passed (0.004 sec)
% [14/21] reconsult:del_discontiguous ............... passed (0.003 sec)
% [15/21] reconsult:add_meta_predicate .............. passed (0.002 sec)
% [16/21] reconsult:del_meta_predicate .............. passed (0.002 sec)
% [17/21] reconsult:del_export ...................... passed (0.002 sec)
% [18/21] reconsult:reload_maplist .................. passed (0.011 sec)
% [19/21] reconsult:mod_dynamic ..................... passed (0.006 sec)
% [20/21] reconsult:goal_expansion .................. passed (0.011 sec)
% [21/21] reconsult:keep_tabling .................... passed (0.006 sec)
.
% [1/15] sandbox:cleanup ............................ passed (0.001 sec)
% [2/15] sandbox:time ............................... passed (0.003 sec)
% [3/15] sandbox:setof .............................. passed (0.000 sec)
% [4/15] sandbox:phrase ............................. passed (0.000 sec)
% [5/15] sandbox:apply .............................. passed (0.000 sec)
% [6/15] sandbox:aggregate .......................... passed (0.000 sec)
% [7/15] sandbox:aggregate .......................... passed (0.000 sec)
% [8/15] sandbox:dcg ................................ passed (0.000 sec)
% [9/15] sandbox:contexr ............................ passed (0.000 sec)
% [10/15] sandbox:assert ............................ passed (0.000 sec)
% [11/15] sandbox:assert ............................ passed (0.000 sec)
% [12/15] sandbox:predicate_property ................ passed (0.000 sec)
% [13/15] sandbox:predicate_property ................ passed (0.001 sec)
% [14/15] sandbox:flag .............................. passed (0.000 sec)
% [15/15] sandbox:flag .............................. passed (0.000 sec)
. done
Running scripts from core
% [1/52] acyclic_terms:var_is_acyclic ............... passed (0.000 sec)
% [2/52] acyclic_terms:atom_is_acyclic .............. passed (0.000 sec)
% [3/52] acyclic_terms:term_is_acyclic .............. passed (0.000 sec)
% [4/52] acyclic_terms:sub_term_is_acyclic .......... passed (0.000 sec)
% [5/52] acyclic_terms:sib..g_leaves_is_acyclic ..... passed (0.000 sec)
% [6/52] acyclic_terms:sub..and_leaf_is_acyclic ..... passed (0.000 sec)
% [7/52] acyclic_terms:lea.._subterm_is_acyclic ..... passed (0.000 sec)
% [8/52] acyclic_terms:sib..ub_terms_is_acyclic ..... passed (0.000 sec)
% [9/52] acyclic_terms:mul..ub_terms_is_acyclic ..... passed (0.000 sec)
% [10/52] acyclic_terms:mul..ub_terms_is_acyclic .... passed (0.000 sec)
% [11/52] acyclic_terms:shared_term_is_acyclic_1 .... passed (0.000 sec)
% [12/52] acyclic_terms:shared_term_is_acyclic_2 .... passed (0.000 sec)
% [13/52] acyclic_terms:shared_term_is_acyclic_3 .... passed (0.000 sec)
% [14/52] acyclic_terms:shared_term_is_acyclic_4 .... passed (0.000 sec)
% [15/52] acyclic_terms:zer..ity_term_is_acyclic .... passed (0.000 sec)
% [16/52] acyclic_terms:zer..sub_term_is_acyclic .... passed (0.000 sec)
% [17/52] acyclic_terms:zer..red_term_is_acyclic .... passed (0.000 sec)
% [18/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.000 sec)
% [19/52] acyclic_terms:dee..eft_term_is_acyclic .... passed (0.000 sec)
% [20/52] acyclic_terms:dee..ght_term_is_acyclic .... passed (0.000 sec)
% [21/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.009 sec)
% [22/52] acyclic_terms:wid..ted_term_is_acyclic .... passed (0.065 sec)
% [23/52] acyclic_terms:list_is_acyclic ............. passed (0.000 sec)
% [24/52] acyclic_terms:empty_list_is_acyclic ....... passed (0.000 sec)
% [25/52] acyclic_terms:long_list_is_acyclic_1 ...... passed (0.040 sec)
% [26/52] acyclic_terms:long_list_is_acyclic_2 ...... passed (0.035 sec)
% [27/52] acyclic_terms:long_list_is_acyclic_3 ...... passed (0.064 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.018 sec)
% [38/52] cyclic_terms:deep..ed_term_is_cyclic_2 .... passed (0.013 sec)
% [39/52] cyclic_terms:wide..ed_term_is_cyclic_1 .... passed (0.057 sec)
% [40/52] cyclic_terms:wide..ed_term_is_cyclic_2 .... passed (0.059 sec)
% [41/52] cyclic_terms:list_is_cyclic ............... passed (0.000 sec)
% [42/52] cyclic_terms:long_list_is_cyclic .......... passed (0.013 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.004 sec)
% [3/14] answer:separated ........................... passed (0.004 sec)
% [4/14] answer:same ................................ passed (0.004 sec)
% [5/14] answer:same ................................ passed (0.004 sec)
% [6/14] answer:cycle ............................... passed (0.008 sec)
% [7/14] answer:cycle ............................... passed (0.004 sec)
% [8/14] answer:double_cycle ........................ passed (0.005 sec)
% [9/14] answer:freeze .............................. passed (0.007 sec)
% [10/14] answer:hidden1 ............................ passed (0.005 sec)
% [11/14] answer:hidden2 ............................ passed (0.005 sec)
% [12/14] answer:hidden3 ............................ passed (0.006 sec)
% [13/14] answer:name_var ........................... passed (0.004 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.003 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.004 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.003 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.004 sec)
% [30/221] arith_basics:cmp_1 ....................... passed (0.000 sec)
% [31/221] div:mod .................................. passed (0.001 sec)
% [32/221] div:minint ............................... passed (0.000 sec)
% [33/221] div:minint ............................... passed (0.000 sec)
% [34/221] gdiv:minint .............................. passed (0.000 sec)
% [35/221] rem:small ................................ passed (0.000 sec)
% [36/221] rem:small_divneg ......................... passed (0.000 sec)
% [37/221] rem:small_neg ............................ passed (0.000 sec)
% [38/221] rem:big .................................. passed (0.000 sec)
% [39/221] rem:big_neg .............................. passed (0.000 sec)
% [40/221] rem:exhaust .............................. passed (0.000 sec)
% [41/221] rem:big .................................. passed (0.000 sec)
% [42/221] rem:allq ................................. passed (0.009 sec)
% [43/221] mod:small ................................ passed (0.000 sec)
% [44/221] mod:small_divneg ......................... passed (0.000 sec)
% [45/221] mod:small_neg ............................ passed (0.000 sec)
% [46/221] mod:big .................................. passed (0.000 sec)
% [47/221] mod:big_neg .............................. passed (0.000 sec)
% [48/221] mod:exhaust .............................. passed (0.000 sec)
% [49/221] mod:big .................................. passed (0.000 sec)
% [50/221] pow:rat .................................. passed (0.000 sec)
% [51/221] pow:rat .................................. passed (0.000 sec)
% [52/221] pow:rat .................................. passed (0.000 sec)
% [53/221] pow:2^65 ................................. passed (0.000 sec)
% [54/221] gcd:gcd .................................. passed (0.000 sec)
% [55/221] gcd:gcd .................................. passed (0.000 sec)
% [56/221] gcd:gcd .................................. passed (0.000 sec)
% [57/221] shift:shift_right_large .................. passed (0.000 sec)
% [58/221] shift:shift_right_large .................. passed (0.000 sec)
% [59/221] shift:shift_right_large .................. passed (0.000 sec)
% [60/221] shift:shift_right_large .................. passed (0.000 sec)
% [61/221] shift:shift_left_large ................... passed (0.000 sec)
% [62/221] errors:cyclic ............................ passed (0.000 sec)
% [63/221] ar_builtin:a_add_fc_int .................. passed (0.000 sec)
% [64/221] ar_builtin:a_add_fc_float ................ passed (0.000 sec)
% [65/221] ar_builtin:a_fc_minus .................... passed (0.000 sec)
% [66/221] eval:ref ................................. passed (0.000 sec)
% [67/221] hyperbolic:sinh .......................... passed (0.000 sec)
% [68/221] hyperbolic:cosh .......................... passed (0.000 sec)
% [69/221] hyperbolic:tanh .......................... passed (0.000 sec)
% [70/221] hyperbolic:asinh ......................... passed (0.000 sec)
% [71/221] hyperbolic:acosh ......................... passed (0.000 sec)
% [72/221] hyperbolic:atanh ......................... passed (0.000 sec)
% [73/221] bigint:add_promote1 ...................... passed (0.000 sec)
% [74/221] bigint:add_promote2 ...................... passed (0.000 sec)
% [75/221] bigint:neg_1 ............................. passed (0.000 sec)
% [76/221] bigint:neg_2 ............................. passed (0.000 sec)
% [77/221] bigint:neg_promote ....................... passed (0.000 sec)
% [78/221] bigint:abs_1 ............................. passed (0.000 sec)
% [79/221] bigint:sign_1 ............................ passed (0.000 sec)
% [80/221] bigint:floor_1 ........................... passed (0.000 sec)
% [81/221] bigint:floor_2 ........................... passed (0.000 sec)
% [82/221] bigint:ceil_1 ............................ passed (0.000 sec)
% [83/221] bigint:ceil_2 ............................ passed (0.000 sec)
% [84/221] bigint:msb_0 ............................. passed (0.000 sec)
% [85/221] bigint:msb_1 ............................. passed (0.000 sec)
% [86/221] bigint:msb_2 ............................. passed (0.000 sec)
% [87/221] bigint:lsb_0 ............................. passed (0.000 sec)
% [88/221] bigint:lsb_1 ............................. passed (0.000 sec)
% [89/221] bigint:lsb_2 ............................. passed (0.000 sec)
% [90/221] bigint:popcount_1 ........................ passed (0.000 sec)
% [91/221] bigint:popcount_2 ........................ passed (0.000 sec)
% [92/221] bigint:shift_1 ........................... passed (0.000 sec)
% [93/221] bigint:shift_2 ........................... passed (0.000 sec)
% [94/221] bigint:shift_3 ........................... passed (0.479 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.001 sec)
% [117/221] bigint:clause_1 ......................... passed (0.000 sec)
% [118/221] bigint:comp_1 ........................... passed (0.002 sec)
% [119/221] bigint:comp_2 ........................... passed (0.000 sec)
% [120/221] bigint:rec_1 ............................ passed (0.002 sec)
% [121/221] bigint:number_codes_1 ................... passed (0.000 sec)
% [122/221] bigint:atom_number_1 .................... passed (0.000 sec)
% [123/221] bigint:hex_1 ............................ passed (0.000 sec)
% [124/221] bigint:fmtd_1 ........................... passed (0.000 sec)
% [125/221] bigint:fmtd_2 ........................... passed (0.000 sec)
% [126/221] bigint:fmtD_1 ........................... passed (0.000 sec)
% [127/221] bigint:fmtD_2 ........................... passed (0.000 sec)
% [128/221] bigint:fmtf_1 ........................... passed (0.004 sec)
% [129/221] bigint:random ........................... passed (0.001 sec)
% [130/221] bigint:length ........................... passed (0.004 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.003 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.004 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.003 sec)
% [148/221] minint_promotion:spaced_hexadecimal ..... passed (0.000 sec)
% [149/221] minint_promotion:mpz_to_int64 ........... passed (0.000 sec)
% [150/221] minint_promotion:addition ............... passed (0.000 sec)
% [151/221] minint_promotion:addition ............... passed (0.004 sec)
% [152/221] minint_promotion:subtraction ............ passed (0.000 sec)
% [153/221] minint_promotion:multiplication ......... passed (0.000 sec)
% [154/221] minint_promotion:multiplication ......... passed (0.000 sec)
% [155/221] minint_promotion:multiplication ......... passed (0.000 sec)
% [156/221] maxint:decimal .......................... passed (0.000 sec)
% [157/221] maxint:spaced_decimal ................... passed (0.000 sec)
% [158/221] maxint:binary ........................... passed (0.000 sec)
% [159/221] maxint:spaced_binary .................... passed (0.000 sec)
% [160/221] maxint:octal ............................ passed (0.000 sec)
% [161/221] maxint:spaced_octal ..................... passed (0.000 sec)
% [162/221] maxint:hexadecimal ...................... passed (0.000 sec)
% [163/221] maxint:spaced_hexadecimal ............... passed (0.000 sec)
% [164/221] maxint_promotion:decimal ................ passed (0.000 sec)
% [165/221] maxint_promotion:spaced_decimal ......... passed (0.000 sec)
% [166/221] maxint_promotion:binary ................. passed (0.000 sec)
% [167/221] maxint_promotion:spaced_binary .......... passed (0.000 sec)
% [168/221] maxint_promotion:octal .................. passed (0.000 sec)
% [169/221] maxint_promotion:spaced_octal ........... passed (0.000 sec)
% [170/221] maxint_promotion:hexadecimal ............ passed (0.000 sec)
% [171/221] maxint_promotion:spaced_hexadecimal ..... passed (0.000 sec)
% [172/221] maxint_promotion:addition ............... passed (0.000 sec)
% [173/221] maxint_promotion:addition ............... passed (0.000 sec)
% [174/221] maxint_promotion:subtraction ............ passed (0.000 sec)
% [175/221] maxint_promotion:multiplication ......... passed (0.000 sec)
% [176/221] maxint_promotion:multiplication ......... passed (0.000 sec)
% [177/221] maxint_promotion:multiplication ......... passed (0.000 sec)
% [178/221] round:half_down ......................... passed (0.000 sec)
% [179/221] round:nhalf_up .......................... passed (0.000 sec)
% [180/221] round:maxint ............................ passed (0.000 sec)
% [181/221] round:minint ............................ passed (0.000 sec)
% [182/221] float_misc:float_1 ...................... passed (0.000 sec)
% [183/221] float_misc:float_2 ...................... passed (0.000 sec)
% [184/221] float_misc:float_3 ...................... passed (0.000 sec)
% [185/221] float_misc:float_4 ...................... passed (0.000 sec)
% [186/221] float_misc:float_5 ...................... passed (0.000 sec)
% [187/221] float_misc:float_6 ...................... passed (0.000 sec)
% [188/221] float_misc:float_7 ...................... passed (0.002 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.003 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.003 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.004 sec)
% [4/4] bags:agc .................................... passed (0.186 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.360 sec)
% [5/56] apply:error ................................ passed (0.000 sec)
% [6/56] callN:error ................................ passed (0.000 sec)
% [7/56] callN:if_then_else ......................... passed (0.000 sec)
% [8/56] callN:disj ................................. passed (0.000 sec)
% [9/56] callN:conj ................................. passed (0.000 sec)
% [10/56] callN:qn8 ................................. passed (0.000 sec)
% [11/56] callN:an8 ................................. passed (0.000 sec)
% [12/56] callN:qe8 ................................. passed (0.000 sec)
% [13/56] callN:ae8 ................................. passed (0.000 sec)
% [14/56] callN:max_procedure_arity ................. passed (0.000 sec)
% [15/56] callN:max_procedure_arity ................. passed (0.000 sec)
% [16/56] cross_module_call:cmc1 .................... passed (0.000 sec)
% [17/56] cross_module_call:cmc1 .................... passed (0.000 sec)
% [18/56] cross_module_call:cmc2 .................... passed (0.000 sec)
% [19/56] cross_module_call:cmc2 .................... passed (0.000 sec)
% [20/56] cross_module_call:cmc3 .................... passed (0.000 sec)
% [21/56] cross_module_call:cmc4 .................... passed (0.000 sec)
% [22/56] cross_module_call:c_cm1 ................... passed (0.000 sec)
% [23/56] cross_module_call:c_cm2 ................... passed (0.000 sec)
% [24/56] at2:context ............................... passed (0.000 sec)
% [25/56] at2:var ................................... passed (0.000 sec)
% [26/56] at2:var ................................... passed (0.000 sec)
% [27/56] at2:var ................................... passed (0.000 sec)
% [28/56] at2:var ................................... passed (0.000 sec)
% [29/56] at2:var ................................... passed (0.000 sec)
% [30/56] snip:indent ............................... passed (0.000 sec)
% [31/56] snip:cut .................................. passed (0.000 sec)
% [32/56] snip:cut2 ................................. passed (0.000 sec)
% [33/56] snip:cut3 ................................. passed (0.000 sec)
% [34/56] snip:lscut ................................ passed (0.000 sec)
% [35/56] no_autoload:unknown ....................... passed (0.000 sec)
% [36/56] setup_call_cleanup:true ................... passed (0.000 sec)
% [37/56] setup_call_cleanup:true_debug ............. passed (0.000 sec)
% [38/56] setup_call_cleanup:cut .................... passed (0.000 sec)
% [39/56] setup_call_cleanup:cut_debug .............. passed (0.000 sec)
% [40/56] setup_call_cleanup:fail ................... passed (0.000 sec)
% [41/56] setup_call_cleanup:fail2 .................. passed (0.000 sec)
% [42/56] setup_call_cleanup:fail_debug ............. passed (0.000 sec)
% [43/56] setup_call_cleanup:fail_debug2 ............ passed (0.000 sec)
% [44/56] setup_call_cleanup:error .................. passed (0.000 sec)
% [45/56] setup_call_cleanup:error_debug ............ passed (0.000 sec)
% [46/56] setup_call_cleanup:nondet ................. passed (0.000 sec)
% [47/56] setup_call_cleanup:cleanup ................ passed (0.000 sec)
% [48/56] setup_call_cleanup:cleanup ................ passed (0.000 sec)
% [49/56] setup_call_cleanup:error_choice ........... passed (0.000 sec)
% [50/56] setup_call_cleanup:error_choice ........... passed (0.000 sec)
% [51/56] setup_call_cleanup:error_choice ........... passed (0.000 sec)
% [52/56] catch:exit_nondet ......................... passed (0.000 sec)
% [53/56] catch:partial_unification ................. passed (0.000 sec)
% [54/56] catch:attvar .............................. passed (0.000 sec)
% [55/56] catch:nested .............................. passed (0.000 sec)
% [56/56] catch:urgent .............................. passed (0.000 sec)
.
% [1/1] code_type:code_type ......................... passed (0.224 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.003 sec)
% [10/11] continuation:context ...................... passed (0.000 sec)
% [11-1/11] fast_heap:fast_heap ..................... passed (0.000 sec)
% [11-2/11] fast_heap:fast_heap ..................... passed (0.000 sec)
% [11-3/11] fast_heap:fast_heap ..................... passed (0.000 sec)
% [11-4/11] fast_heap:fast_heap ..................... passed (0.000 sec)
% [11-5/11] fast_heap:fast_heap ..................... passed (0.000 sec)
% [11-6/11] fast_heap:fast_heap ..................... passed (0.000 sec)
% [11-7/11] fast_heap:fast_heap ..................... passed (0.000 sec)
% [11-8/11] fast_heap:fast_heap ..................... passed (0.000 sec)
% [11-9/11] fast_heap:fast_heap ..................... passed (0.000 sec)
% [11-10/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-11/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-12/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-13/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-14/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-15/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-16/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-17/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-18/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-19/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-20/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-21/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-22/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-23/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-24/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-25/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-26/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-27/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-28/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-29/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-30/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-31/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-32/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-33/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-34/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-35/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-36/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-37/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-38/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-39/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-40/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-41/11] fast_heap:fast_heap .................... passed (0.000 sec)
% [11-42/11] fast_heap:fast_heap .................... passed (0.000 sec)
.
% [1/11] copy_term:share ............................ passed (0.000 sec)
% [2/11] copy_term:cycle ............................ passed (0.000 sec)
% [3/11] copy_term_4:share .......................... passed (0.000 sec)
% [4/11] copy_term_4:share .......................... passed (0.000 sec)
% [5/11] copy_term_4:attvar ......................... passed (0.000 sec)
% [6/11] copy_term_4:attvar ......................... passed (0.000 sec)
% [7/11] copy_term_4:attvar ......................... passed (0.000 sec)
% [8/11] copy_term_4:attvar ......................... passed (0.000 sec)
% [9/11] copy_term_4:cycle .......................... passed (0.000 sec)
% [10/11] copy_term_nat_4:attvar .................... passed (0.000 sec)
% [11/11] copy_term_nat_4:attvar .................... passed (0.000 sec)
.
% [1/12] coroutining:frozen ......................... passed (0.000 sec)
% [2/12] coroutining:frozen_diff .................... passed (0.000 sec)
% [3/12] coroutining:frozen_clpfd ................... passed (0.001 sec)
% [4/12] coroutining:when1 .......................... passed (0.002 sec)
% [5/12] coroutining:when2 .......................... passed (0.000 sec)
% [6/12] coroutining:when3 .......................... passed (0.000 sec)
% [7/12] coroutining:when4_inf ...................... passed (0.000 sec)
% [8/12] coroutining:when5_r ........................ passed (0.000 sec)
% [9/12] coroutining:when6 .......................... passed (0.000 sec)
% [10/12] coroutining:when7 ......................... passed (0.000 sec)
% [11/12] coroutining:when8 ......................... passed (0.000 sec)
% [12/12] coroutining:when8 ......................... passed (0.000 sec)
.
% [1/42] expand_goal:1 .............................. passed (0.000 sec)
% [2/42] expand_goal:3 .............................. passed (0.000 sec)
% [3/42] expand_goal:nonlin ......................... passed (0.000 sec)
% [4/42] expand_goal:nonlin ......................... passed (0.000 sec)
% [5/42] expand_goal:5 .............................. passed (0.000 sec)
% [6/42] expand_goal:6 .............................. passed (0.000 sec)
% [7/42] expand_goal:t .............................. passed (0.000 sec)
% [8/42] expand_goal:t .............................. passed (0.000 sec)
% [9/42] phrase:iso_8_1_1_3 ......................... passed (0.000 sec)
% [10/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec)
% [11/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec)
% [12/42] phrase:iso_8_1_1_3_OPEN ................... passed (0.000 sec)
% [13/42] phrase:iso_8_1_1_3_OPEN ................... passed (0.000 sec)
% [14/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec)
% [15/42] phrase:uniso_8_1_1_3 ...................... passed (0.000 sec)
% [16/42] phrase:iso1 ............................... passed (0.000 sec)
% [17/42] phrase:uwn2 ............................... passed (0.000 sec)
% [18/42] phrase:uwn3 ............................... passed (0.000 sec)
% [19/42] phrase:uwn4 ............................... passed (0.000 sec)
% [20/42] phrase:partial_terminal ................... passed (0.000 sec)
% [21/42] rule_expansions:1 ......................... passed (0.000 sec)
% [22/42] rule_expansions:2 ......................... passed (0.000 sec)
% [23/42] dcg_rule_expansions:1 ..................... passed (0.000 sec)
% [24/42] dcg_rule_expansions:2 ..................... passed (0.000 sec)
% [25/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec)
% [26/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec)
% [27/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec)
% [28/42] dcg_rule_expansions:meta1 ................. passed (0.000 sec)
% [29/42] steadfastness:cut1_a ...................... passed (0.000 sec)
% [30/42] steadfastness:cut1_b ...................... passed (0.000 sec)
% [31/42] steadfastness:curlycut_a .................. passed (0.000 sec)
% [32/42] steadfastness:curlycut_b .................. passed (0.000 sec)
% [33/42] steadfastness:not1_a ...................... passed (0.000 sec)
% [34/42] steadfastness:not1_b ...................... passed (0.000 sec)
% [35/42] steadfastness:not2_a ...................... passed (0.000 sec)
% [36/42] steadfastness:not2_b ...................... passed (0.000 sec)
% [37/42] context:steadfastness ..................... passed (0.000 sec)
% [38/42] context:generalcontext .................... passed (0.000 sec)
% [39/42] context:epsilonness ....................... passed (0.000 sec)
% [40/42] context:epsilonness ....................... passed (0.000 sec)
% [41/42] context:vd ................................ passed (0.000 sec)
% [42/42] context:forprogrammers .................... passed (0.000 sec)
.
% [1/2] prolog_frame_attribute:none ................. passed (0.000 sec)
% [2/2] prolog_frame_attribute:foreign_choice ....... passed (0.000 sec)
.
% [1/22] det_decl:det ............................... passed (0.000 sec)
% [2/22] det_decl:cdet .............................. passed (0.000 sec)
% [3/22] det_decl:cdet2 ............................. passed (0.000 sec)
% [4/22] det_decl:nondet_1 .......................... passed (0.000 sec)
% [5/22] det_decl:nondet_2 .......................... passed (0.000 sec)
% [6/22] det_decl:nondet_3 .......................... passed (0.001 sec)
% [7/22] det_decl:fail_1 ............................ passed (0.000 sec)
% [8/22] det_decl:fail_2 ............................ passed (0.000 sec)
% [9/22] det_decl:fail_3 ............................ passed (0.001 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.001 sec)
% [13/22] det_guard:fail ............................ passed (0.000 sec)
% [14/22] det_guard:fail ............................ passed (0.001 sec)
% [15/22] det_goal:det .............................. passed (0.000 sec)
% [16/22] det_goal:ndet ............................. passed (0.000 sec)
% [17/22] det_goal:ndet ............................. passed (0.001 sec)
% [18/22] det_goal:fail ............................. passed (0.000 sec)
% [19/22] det_goal:fail ............................. passed (0.001 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.023 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.002 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.177 sec)
% [73/88] dict_overflow:select ...................... passed (0.100 sec)
% [74/88] expand_functions:field .................... passed (0.000 sec)
% [75/88] expand_functions:conj ..................... passed (0.000 sec)
% [76/88] expand_functions:meta ..................... passed (0.000 sec)
% [77/88] expand_functions:forall ................... passed (0.000 sec)
% [78/88] expand_functions:findall .................. passed (0.000 sec)
% [79/88] expand_functions:bagof .................... passed (0.000 sec)
% [80/88] expand_functions:head ..................... passed (0.000 sec)
% [81/88] expand_functions:put ...................... passed (0.000 sec)
% [82/88] expand_functions:put2 ..................... passed (0.000 sec)
% [83/88] expand_functions:metaarg .................. passed (0.000 sec)
% [84/88] define_functions:na ....................... passed (0.000 sec)
% [85/88] define_functions:aa ....................... passed (0.000 sec)
% [86/88] define_functions:a2 ....................... passed (0.000 sec)
% [87/88] define_functions:qna ...................... passed (0.000 sec)
% [88/88] define_functions:qa2 ...................... passed (0.000 sec)
.
% [1/1] env:long .................................... passed (0.001 sec)
.
% [1/6] throw:error ................................. passed (0.000 sec)
% [2/6] throw:ground ................................ passed (0.000 sec)
% [3/6] throw:unbound ............................... passed (0.000 sec)
% [4/6] throw:cyclic ................................ passed (0.000 sec)
% [5/6] ex_coroutining:not .......................... passed (0.000 sec)
% [6/6] ex_coroutining:non_unify .................... passed (0.000 sec)
.
% [1/8] expand:cond_dcg ............................. passed (0.000 sec)
% [2/8] expand:make_dcg ............................. passed (0.000 sec)
% [3/8] expand:chained_term_expansion ............... passed (0.000 sec)
% [4/8] expand:meta_arg ............................. passed (0.000 sec)
% [5/8] expand:goal_expansion_local_pred ............ passed (0.000 sec)
% [6/8] expand:expand_once .......................... passed (0.000 sec)
% [7/8] expand:ssu_body ............................. passed (0.000 sec)
% [8/8] expand:ssu_guard ............................ passed (0.000 sec)
.
% [1/9] factorize:simple ............................ passed (0.000 sec)
% [2/9] factorize:simple ............................ passed (0.000 sec)
% [3/9] factorize:cyclic ............................ passed (0.000 sec)
% [4/9] factorize:double ............................ passed (0.000 sec)
% [5/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [6/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [7/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [8/9] factorize:double_cyclic ..................... passed (0.000 sec)
% [9/9] factorize:fumo .............................. passed (0.001 sec)
.
% [1/3] fastrw:serialize ............................ passed (0.002 sec)
% [2/3] fastrw:fastrw ............................... passed (0.003 sec)
% [3/3] fastrw:error ................................ passed (0.000 sec)
.
% [1/19] format:fail ................................ passed (0.000 sec)
% [2/19] format:fail ................................ passed (0.000 sec)
% [3/19] format:no_stream ........................... passed (0.000 sec)
% [4/19] format:atom ................................ passed (0.000 sec)
% [5/19] format:atom ................................ passed (0.000 sec)
% [6/19] format:radix ............................... passed (0.000 sec)
% [7/19] format:radix ............................... passed (0.000 sec)
% [8/19] format:radix ............................... passed (0.000 sec)
% [9/19] format:gmp ................................. passed (0.000 sec)
% [10/19] format:asterisk ........................... passed (0.000 sec)
% [11/19] format:intD_1 ............................. passed (0.000 sec)
% [12/19] format:intD_2 ............................. passed (0.000 sec)
% [13/19] format:intD_3 ............................. passed (0.000 sec)
% [14/19] format:intr_1 ............................. passed (0.000 sec)
% [15/19] format:intR_1 ............................. passed (0.000 sec)
% [16/19] format:large_float_1 ...................... passed (0.000 sec)
% [17/19] format:oncodes_1 .......................... passed (0.000 sec)
% [18/19] format:oncodes_2 .......................... passed (0.000 sec)
% [19/19] format:onstring_1 ......................... passed (0.000 sec)
.
% [1/15] gc_leak:det_freeze_no_space ................ passed (0.003 sec)
% [2/15] gc_leak:early_reset ........................ passed (0.000 sec)
% [3/15] gc_leak:throw_gc ........................... passed (0.031 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.002 sec)
% [8/15] gc_crash:c_cut ............................. passed (0.002 sec)
% [9/15] gc_crash:cleanup_shift ..................... passed (2.067 sec)
% [10/15] gc_crash2:cleanup ......................... passed (0.000 sec)
% [11/15] gc_mark:s_list ............................ passed (0.036 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.029 sec)
.
% [1/20] variant_sha1:atom .......................... passed (0.000 sec)
% [2/20] variant_sha1:vars .......................... passed (0.000 sec)
% [3/20] variant_sha1:variant ....................... passed (0.000 sec)
% [4/20] variant_sha1:shared ........................ passed (0.000 sec)
% [5/20] variant_sha1:cycle ......................... passed (0.000 sec)
% [6/20] variant_sha1:cycle ......................... passed (0.000 sec)
% [7/20] variant_sha1:attvar ........................ passed (0.000 sec)
% [8/20] variant_sha1:attvar ........................ passed (0.000 sec)
% [9/20] variant_sha1:float ......................... passed (0.000 sec)
% [10/20] variant_hash:variant ...................... passed (0.000 sec)
% [11/20] variant_hash:variant ...................... passed (0.000 sec)
% [12/20] variant_hash:variant ...................... passed (0.000 sec)
% [13/20] term_hash2:simple_1 ....................... passed (0.000 sec)
% [14/20] term_hash2:simple_2 ....................... passed (0.000 sec)
% [15/20] term_hash2:simple_3 ....................... passed (0.000 sec)
% [16/20] term_hash2:simple_4 ....................... passed (0.000 sec)
% [17/20] term_hash2:simple_5 ....................... passed (0.000 sec)
% [18/20] term_hash2:compound_1 ..................... passed (0.000 sec)
% [19/20] term_hash2:compound_2 ..................... passed (0.000 sec)
% [20/20] term_hash2:compound_3 ..................... passed (0.000 sec)
.
% [1/2] call_with_inference_limit:nesting ........... passed (0.017 sec)
% [2/2] call_with_inference_limit:retry ............. passed (0.004 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.000 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.000 sec)
% [11/11] stream_pair:close ......................... passed (0.000 sec)
.
% [1/1] lco:huub .................................... passed (0.000 sec)
.
% [1/8] program_space:fetch ......................... passed (0.000 sec)
% [2/8] program_space:fetch ......................... passed (0.000 sec)
% [3/8] program_space:too_low ....................... passed (0.000 sec)
% [4/8] program_space:retract ....................... passed (0.000 sec)
% [5/8] program_space:abolish ....................... passed (0.000 sec)
% [6/8] program_space:assert ........................ passed (0.000 sec)
% [7/8] program_space:overflow ...................... passed (0.000 sec)
% [8/8] program_space:repeat ........................ passed (0.025 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.001 sec)
.
% [1/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [2/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [3/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [4/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [5/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [6/10] meta_predicate:qualify ..................... passed (0.000 sec)
% [7/10] meta_predicate:alias ....................... passed (0.000 sec)
% [8/10] meta_predicate:alias2 ...................... passed (0.000 sec)
% [9/10] meta_predicate:i_departm ................... passed (0.000 sec)
% [10/10] meta_predicate:backtrack .................. passed (0.000 sec)
.
% [1/3] misc:read_only_flag ......................... passed (0.000 sec)
% [2/3] misc:cut_to ................................. passed (0.000 sec)
% [3/3] misc:cut_to_cleanup ......................... passed (0.000 sec)
.
% [1/12] moved_unify_ubody:h_list_ff ................ passed (0.000 sec)
% [2/12] moved_decompile:decom1 ..................... passed (0.000 sec)
% [3/12] moved_decompile:decomp2 .................... passed (0.000 sec)
% [4/12] moved_decompile:decomp3 .................... passed (0.000 sec)
% [5/12] moved_decompile:decomp4 .................... passed (0.000 sec)
% [6/12] moved_decompile:decomp5 .................... passed (0.000 sec)
% [7/12] moved_decompile:decomp6 .................... passed (0.000 sec)
% [8/12] moved_decompile:decomp7 .................... passed (0.000 sec)
% [9/12] moved_decompile:decomp8 .................... passed (0.000 sec)
% [10/12] moved_decompile:decomp9 ................... passed (0.000 sec)
% [11/12] moved_decompile:run9 ...................... passed (0.000 sec)
% [12/12] moved_decompile:decomp9 ................... passed (0.000 sec)
.
% [1/9] unify_with_occurs_check:simple_1 ............ passed (0.000 sec)
% [2/9] unify_with_occurs_check:simple_2 ............ passed (0.000 sec)
% [3/9] unify_with_occurs_check:attvar_1 ............ passed (0.000 sec)
% [4/9] unify_with_occurs_check:attvar_2 ............ passed (0.000 sec)
% [5/9] unify_with_occurs_check:attvar_3 ............ passed (0.000 sec)
% [6/9] unify_with_occurs_check:attvar_4 ............ passed (0.000 sec)
% [7/9] occurs_check_fail:unify ..................... passed (0.000 sec)
% [8/9] occurs_check_fail:unify ..................... passed (0.000 sec)
% [9/9] occurs_check_fail:unifiable ................. passed (0.000 sec)
.
% [1/11] current_op:plus ............................ passed (0.003 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.004 sec)
% [6/11] current_op:bad_precedence .................. passed (0.000 sec)
% [7/11] current_op:inherit ......................... passed (0.000 sec)
% [8/11] op_syntax:parse ............................ passed (0.000 sec)
% [9/11] op_syntax:parse ............................ passed (0.001 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.004 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.005 sec)
% [13/15] thread_prolog_fla..set_local_in_thread .... passed (0.001 sec)
% [14/15] thread_prolog_fla..et_global_in_thread .... passed (0.002 sec)
% [15/15] thread_prolog_fla.._global_in_thread_2 .... passed (0.002 sec)
.
% [1/6] prolog_listen:at_exit_option ................ passed (0.002 sec)
% [2/6] prolog_listen:local_at_exit_event ........... passed (0.003 sec)
% [3/6] prolog_listen:global_at_exit_event .......... passed (0.016 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.002 sec)
.
% [1/15] qualified_calls:colon ...................... passed (0.000 sec)
% [2/15] qualified_calls:colonc ..................... passed (0.000 sec)
% [3/15] qualified_calls:colonv ..................... passed (0.000 sec)
% [4/15] qualified_calls:coloncv .................... passed (0.000 sec)
% [5/15] qualified_calls:at ......................... passed (0.000 sec)
% [6/15] qualified_calls:vat ........................ passed (0.000 sec)
% [7/15] qualified_calls:atv ........................ passed (0.000 sec)
% [8/15] qualified_calls:atvv ....................... passed (0.000 sec)
% [9/15] qualified_calls:atvvv ...................... passed (0.000 sec)
% [10/15] qualified_calls:atvvv ..................... passed (0.000 sec)
% [11/15] qualified_calls:localv .................... passed (0.000 sec)
% [12/15] qualified_calls:localv .................... passed (0.000 sec)
% [13/15] qualified_calls:local_argvar .............. passed (0.000 sec)
% [14/15] qualified_calls:local_argvar .............. passed (0.000 sec)
% [15/15] qualified_calls:lproc ..................... passed (0.000 sec)
.
% [1/2] quasi_quotations:simple ..................... passed (0.000 sec)
% [2/2] quasi_quotations:error ...................... passed (0.000 sec)
.
% [1/3] random:state ................................ passed (0.002 sec)
% [2-1/3] random:random_subseq ...................... passed (0.000 sec)
% [2-2/3] random:random_subseq ...................... passed (0.000 sec)
% [2-3/3] random:random_subseq ...................... passed (0.000 sec)
% [2-4/3] random:random_subseq ...................... passed (0.000 sec)
% [2-5/3] random:random_subseq ...................... passed (0.000 sec)
% [2-6/3] random:random_subseq ...................... passed (0.000 sec)
% [2-7/3] random:random_subseq ...................... passed (0.000 sec)
% [3-1/3] random:random_numlist ..................... passed (0.000 sec)
% [3-2/3] random:random_numlist ..................... passed (0.000 sec)
% [3-3/3] random:random_numlist ..................... passed (0.000 sec)
% [3-4/3] random:random_numlist ..................... passed (0.000 sec)
% [3-5/3] random:random_numlist ..................... passed (0.000 sec)
% [3-6/3] random:random_numlist ..................... passed (0.000 sec)
% [3-7/3] random:random_numlist ..................... passed (0.000 sec)
.
% [1/28] read_term:singletons ....................... passed (0.000 sec)
% [2/28] read_term:warn_singletons .................. passed (0.000 sec)
% [3/28] read_term:position ......................... passed (0.000 sec)
% [4/28] read_term:valid_position_var ............... passed (0.000 sec)
% [5/28] read_term:valid_position_atom .............. passed (0.000 sec)
% [6/28] read_term:valid_position_number1 ........... passed (0.000 sec)
% [7/28] read_term:valid_position_number2 ........... passed (0.000 sec)
% [8/28] read_term:valid_position_string_string ..... passed (0.000 sec)
% [9/28] read_term:valid_position_string_codes ...... passed (0.000 sec)
% [10/28] read_term:valid_position_string_chars ..... passed (0.000 sec)
% [11/28] read_term:valid_position_string_atom ...... passed (0.000 sec)
% [12/28] read_term:valid_position_nil .............. passed (0.000 sec)
% [13/28] read_term:valid_position_braces ........... passed (0.000 sec)
% [14/28] read_term:valid_position_braces1 .......... passed (0.000 sec)
% [15/28] read_term:valid_position_braces2 .......... passed (0.000 sec)
% [16/28] read_term:valid_position_braces3 .......... passed (0.000 sec)
% [17/28] read_term:valid_position_term1 ............ passed (0.000 sec)
% [18/28] read_term:valid_position_term2 ............ passed (0.000 sec)
% [19/28] read_term:valid_position_term2 ............ passed (0.000 sec)
% [20/28] read_term:valid_position_dict1 ............ passed (0.000 sec)
% [21/28] read_term:valid_position_dict2 ............ passed (0.000 sec)
% [22/28] read_term:valid_position_dict3 ............ passed (0.000 sec)
% [23/28] read_op:modify ............................ passed (0.000 sec)
% [24/28] read_op:minus_block ....................... passed (0.000 sec)
% [25/28] read_op:modify_block ...................... passed (0.000 sec)
% [26/28] read_op:pos_block ......................... passed (0.000 sec)
% [27/28] read_numbers:float_overflow ............... passed (0.000 sec)
% [28/28] read_numbers:float_overflow ............... passed (0.000 sec)
.
% [1/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [2/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [3/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [4/9] test_read_attvar:attr ....................... passed (0.000 sec)
% [5/9] test_read_labeled:label ..................... passed (0.000 sec)
% [6/9] test_read_labeled:label ..................... passed (0.000 sec)
% [7/9] test_read_labeled:label ..................... passed (0.000 sec)
% [8/9] test_read_failure:fail ...................... passed (0.000 sec)
% [9/9] test_read_failure:fail ...................... passed (0.000 sec)
.
% [1/7] resource_error:local ........................ passed (0.002 sec)
% [2/7] resource_error:global ....................... passed (0.006 sec)
% [3/7] resource_error:string ....................... passed (0.128 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.006 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.004 sec)
.
% [1/9] skip_list:empty_list ........................ passed (0.000 sec)
% [2/9] skip_list:proper_list_small ................. passed (0.000 sec)
% [3/9] skip_list:proper_list_long .................. passed (0.000 sec)
% [4/9] skip_list:partial_list ...................... passed (0.000 sec)
% [5/9] skip_list:cyclic_list ....................... passed (0.000 sec)
% [6/9] skip_list:cyclic_list_long .................. passed (0.001 sec)
% [7/9] skip_list:not_a_list_1 ...................... passed (0.000 sec)
% [8/9] skip_list:not_a_list_2 ...................... passed (0.000 sec)
% [9/9] skip_list:not_a_list_3 ...................... passed (0.000 sec)
.
% [1/36] sort:empty ................................. passed (0.000 sec)
% [2/36] sort:unique ................................ passed (0.000 sec)
% [3/36] sort:instantiation ......................... passed (0.000 sec)
% [4/36] sort:type .................................. passed (0.000 sec)
% [5/36] sort:cyclic ................................ passed (0.000 sec)
% [6/36] sort:reserved .............................. passed (0.000 sec)
% [7/36] msort:empty ................................ passed (0.000 sec)
% [8/36] msort:unique ............................... passed (0.000 sec)
% [9/36] msort:instantiation ........................ passed (0.000 sec)
% [10/36] msort:type ................................ passed (0.000 sec)
% [11/36] msort:cyclic .............................. passed (0.000 sec)
% [12/36] keysort:empty ............................. passed (0.000 sec)
% [13/36] keysort:instantiation ..................... passed (0.000 sec)
% [14/36] keysort:type .............................. passed (0.000 sec)
% [15/36] keysort:cyclic ............................ passed (0.000 sec)
% [16/36] keysort:element ........................... passed (0.000 sec)
% [17/36] keysort:element ........................... passed (0.000 sec)
% [18/36] sort4:zero ................................ passed (0.000 sec)
% [19/36] sort4:zero ................................ passed (0.000 sec)
% [20/36] sort4:zero ................................ passed (0.000 sec)
% [21/36] sort4:zero ................................ passed (0.000 sec)
% [22/36] sort4:one ................................. passed (0.000 sec)
% [23/36] sort4:one ................................. passed (0.000 sec)
% [24/36] sort4:one ................................. passed (0.000 sec)
% [25/36] sort4:list ................................ passed (0.000 sec)
% [26/36] sort4:list ................................ passed (0.000 sec)
% [27/36] sort4:list ................................ passed (0.000 sec)
% [28/36] sort4:dict ................................ passed (0.000 sec)
% [29/36] sort4:key ................................. passed (0.000 sec)
% [30/36] sort4:key ................................. passed (0.000 sec)
% [31/36] sort4:order ............................... passed (0.000 sec)
% [32/36] sort4:order ............................... passed (0.000 sec)
% [33/36] sort4:list ................................ passed (0.000 sec)
% [34/36] sort4:list ................................ passed (0.000 sec)
% [35/36] sort4:dict ................................ passed (0.000 sec)
% [36/36] sort4:dict ................................ passed (0.000 sec)
.
% [1/27] string:number_string ....................... passed (0.000 sec)
% [2/27] string:number_string ....................... passed (0.000 sec)
% [3/27] string:number_string ....................... passed (0.000 sec)
% [4/27] string:number_string ....................... passed (0.000 sec)
% [5/27] string:number_string ....................... passed (0.000 sec)
% [6/27] string:string_codes ........................ passed (0.000 sec)
% [7/27] string:string_codes ........................ passed (0.001 sec)
% [8/27] string:string_chars ........................ passed (0.000 sec)
% [9/27] string:split_string ........................ passed (0.000 sec)
% [10/27] string:split_string ....................... passed (0.000 sec)
% [11/27] string:split_string ....................... passed (0.000 sec)
% [12/27] string:split_string ....................... passed (0.000 sec)
% [13/27] string:string_lower ....................... passed (0.000 sec)
% [14/27] string:string_upper ....................... passed (0.000 sec)
% [15/27] string:string_upper ....................... passed (0.000 sec)
% [16/27] string_bytes:aap .......................... passed (0.000 sec)
% [17/27] string_bytes:aap .......................... passed (0.000 sec)
% [18/27] string_bytes:aap .......................... passed (0.000 sec)
% [19/27] string_bytes:aap .......................... passed (0.000 sec)
% [20/27] string_bytes:aap .......................... passed (0.000 sec)
% [21/27] string_bytes:aap .......................... passed (0.000 sec)
% [22/27] string_bytes:hello ........................ passed (0.000 sec)
% [23/27] string_bytes:hello ........................ passed (0.000 sec)
% [24/27] string_bytes:hello ........................ passed (0.000 sec)
% [25/27] string_bytes:hello ........................ passed (0.000 sec)
% [26/27] string_bytes:hello ........................ passed (0.000 sec)
% [27/27] string_bytes:hello ........................ passed (0.000 sec)
.
% [1/19] subsumes:simple_true ....................... passed (0.000 sec)
% [2/19] subsumes:simple_false ...................... passed (0.000 sec)
% [3/19] subsumes:double ............................ passed (0.000 sec)
% [4/19] subsumes:shared_true ....................... passed (0.000 sec)
% [5/19] subsumes:shared_false ...................... passed (0.000 sec)
% [6/19] subsumes:shared_false_2 .................... passed (0.000 sec)
% [7/19] subsumes:shared_false_3 .................... passed (0.000 sec)
% [8/19] subsumes:shared_false_4 .................... passed (0.000 sec)
% [9/19] subsumes:shared_true_4 ..................... passed (0.000 sec)
% [10/19] subsumes:cyclic1 .......................... passed (0.000 sec)
% [11/19] subsumes:cyclic2 .......................... passed (0.000 sec)
% [12/19] subsumes:cyclic_fail ...................... passed (0.000 sec)
% [13/19] subsumes:cyclic_fail_1 .................... passed (0.000 sec)
% [14/19] subsumes:cyclic_fail_2 .................... passed (0.000 sec)
% [15/19] subsumes:shared_g_s_1 ..................... passed (0.000 sec)
% [16/19] subsumes_term:simple ...................... passed (0.000 sec)
% [17/19] subsumes_term:min ......................... passed (0.000 sec)
% [18/19] subsumes_term:sharing ..................... passed (0.000 sec)
% [19/19] subsumes_term:occurs ...................... passed (0.000 sec)
.
% [1/38] syntax:op_1 ................................ passed (0.000 sec)
% [2/38] syntax:op_2 ................................ passed (0.000 sec)
% [3/38] syntax:op_3 ................................ passed (0.000 sec)
% [4/38] syntax:op_4 ................................ passed (0.000 sec)
% [5/38] syntax:op_5 ................................ passed (0.000 sec)
% [6/38] syntax:op_6 ................................ passed (0.000 sec)
% [7/38] syntax:op_7 ................................ passed (0.000 sec)
% [8/38] syntax:op_8 ................................ passed (0.000 sec)
% [9/38] syntax:atom_1 .............................. passed (0.000 sec)
% [10/38] syntax:char_1 ............................. passed (0.000 sec)
% [11/38] syntax:char_2 ............................. passed (0.000 sec)
% [12/38] syntax:char_3 ............................. passed (0.000 sec)
% [13/38] syntax:char_4 ............................. passed (0.000 sec)
% [14/38] syntax:cannot_start_term_1 ................ passed (0.000 sec)
% [15/38] syntax:string_1 ........................... passed (0.000 sec)
% [16/38] syntax:string_2 ........................... passed (0.000 sec)
% [17/38] syntax:quote_1 ............................ passed (0.000 sec)
% [18/38] syntax:quote_2 ............................ passed (0.000 sec)
% [19/38] syntax:quote_3 ............................ passed (0.000 sec)
% [20/38] syntax:quote_4 ............................ passed (0.000 sec)
% [21/38] syntax:quote_5 ............................ passed (0.000 sec)
% [22/38] syntax:quote_6 ............................ passed (0.000 sec)
% [23/38] syntax:quote_7 ............................ passed (0.000 sec)
% [24/38] syntax:base_1 ............................. passed (0.000 sec)
% [25/38] syntax:base_2 ............................. passed (0.003 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.004 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.004 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.004 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.003 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.010 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.004 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.003 sec)
% [22/55] variant:common ............................ passed (0.000 sec)
% [23/55] variant:cyclic ............................ passed (0.000 sec)
% [24/55] variant:cyclic ............................ passed (0.004 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.003 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.004 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.004 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.003 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.004 sec)
% [48/55] zero_arity_compound:clause ................ passed (0.000 sec)
% [49/55] zero_arity_compound:clause ................ passed (0.000 sec)
% [50/55] term_singletons:out ....................... passed (0.000 sec)
% [51/55] term_singletons:out ....................... passed (0.000 sec)
% [52/55] term_singletons:out ....................... passed (0.000 sec)
% [53/55] term_singletons:out ....................... passed (0.000 sec)
% [54/55] term_singletons:out ....................... passed (0.000 sec)
% [55/55] term_singletons:out ....................... passed (0.000 sec)
.
% [1/75] char_code:ascii ............................ passed (0.000 sec)
% [2/75] char_code:ascii ............................ passed (0.000 sec)
% [3/75] char_code:wide ............................. passed (0.000 sec)
% [4/75] char_code:wide ............................. passed (0.000 sec)
% [5/75] char_code:error ............................ passed (0.000 sec)
% [6/75] char_code:error ............................ passed (0.000 sec)
% [7/75] char_code:error ............................ passed (0.000 sec)
% [8/75] char_code:error ............................ passed (0.000 sec)
% [9/75] char_code:error ............................ passed (0.000 sec)
% [10/75] atom_codes:error .......................... passed (0.000 sec)
% [11/75] atom_codes:error .......................... passed (0.000 sec)
% [12/75] atom_codes:error .......................... passed (0.000 sec)
% [13/75] atom_codes:error .......................... passed (0.000 sec)
% [14/75] atom_concat:shared ........................ passed (0.000 sec)
% [15/75] atom_concat:shared ........................ passed (0.000 sec)
% [16/75] atom_concat:shared ........................ passed (0.000 sec)
% [17/75] atom_concat:attvar ........................ passed (0.000 sec)
% [18/75] term_to_atom:write ........................ passed (0.000 sec)
% [19/75] term_to_atom:read ......................... passed (0.000 sec)
% [20/75] term_to_atom:read ......................... passed (0.000 sec)
% [21/75] atom_to_term:read ......................... passed (0.000 sec)
% [22/75] atom_to_term:error ........................ passed (0.000 sec)
% [23/75] atom_to_term:eof .......................... passed (0.000 sec)
% [24/75] atom_to_term:read ......................... passed (0.000 sec)
% [25/75] number_codes:whitespace ................... passed (0.000 sec)
% [26/75] number_codes:whitespace ................... passed (0.000 sec)
% [27/75] number_codes:whitespace ................... passed (0.000 sec)
% [28/75] number_codes:whitespace ................... passed (0.000 sec)
% [29/75] number_codes:unify ........................ passed (0.000 sec)
% [30/75] number_chars:iso .......................... passed (0.000 sec)
% [31/75] number_chars:iso .......................... passed (0.000 sec)
% [32/75] number_chars:swi .......................... passed (0.000 sec)
% [33/75] number_chars:iso .......................... passed (0.000 sec)
% [34/75] number_chars:iso .......................... passed (0.000 sec)
% [35/75] number_chars:swi .......................... passed (0.000 sec)
% [36/75] number_chars:iso .......................... passed (0.000 sec)
% [37/75] number_chars:swi .......................... passed (0.000 sec)
% [38/75] number_chars:iso .......................... passed (0.000 sec)
% [39/75] number_chars:iso .......................... passed (0.000 sec)
% [40/75] number_chars:swi .......................... passed (0.000 sec)
% [41/75] number_chars:iso .......................... passed (0.000 sec)
% [42/75] number_chars:iso .......................... passed (0.000 sec)
% [43/75] number_chars:iso .......................... passed (0.000 sec)
% [44/75] number_chars:iso .......................... passed (0.000 sec)
% [45/75] number_chars:float ........................ passed (0.008 sec)
% [46/75] number_chars:iso2 ......................... passed (0.000 sec)
% [47/75] number_chars:iso2 ......................... passed (0.000 sec)
% [48/75] number_chars:iso2 ......................... passed (0.000 sec)
% [49/75] number_chars:iso2 ......................... passed (0.000 sec)
% [50/75] number_chars:iso2 ......................... passed (0.000 sec)
% [51/75] number_chars:iso2 ......................... passed (0.000 sec)
% [52/75] number_chars:iso2 ......................... passed (0.000 sec)
% [53/75] number_chars:iso2 ......................... passed (0.000 sec)
% [54/75] number_chars:iso2 ......................... passed (0.000 sec)
% [55/75] number_chars:iso2 ......................... passed (0.000 sec)
% [56/75] number_chars:iso2 ......................... passed (0.000 sec)
% [57/75] name:int .................................. passed (0.000 sec)
% [58/75] name:atom ................................. passed (0.000 sec)
% [59/75] name:atom ................................. passed (0.000 sec)
% [60/75] name:atom ................................. passed (0.000 sec)
% [61/75] sub_atom:neg .............................. passed (0.000 sec)
% [62/75] sub_atom:nondet ........................... passed (0.000 sec)
% [63/75] atomic_list_concat:int64 .................. passed (0.000 sec)
% [64/75] atomic_list_concat:error .................. passed (0.000 sec)
% [65/75] atomic_list_concat:error .................. passed (0.000 sec)
% [66/75] substring:sub_atom ........................ passed (0.000 sec)
% [67/75] substring:sub_atom ........................ passed (0.000 sec)
% [68/75] substring:name_value ...................... passed (0.000 sec)
% [69/75] substring:string_insert ................... passed (0.000 sec)
% [70/75] substring:string_insert ................... passed (0.000 sec)
% [71/75] substring:prefix .......................... passed (0.000 sec)
% [72/75] substring:prefix .......................... passed (0.000 sec)
% [73/75] substring:suffix .......................... passed (0.000 sec)
% [74/75] substring:suffix .......................... passed (0.000 sec)
% [75/75] substring:suffix .......................... passed (0.000 sec)
.
% [1/1] time:get_time ............................... passed (0.000 sec)
.
% [1/5] undo:undo_or ................................ passed (0.000 sec)
% [2/5] undo:clauses ................................ passed (0.000 sec)
% [3/5] undo:error .................................. passed (0.000 sec)
% [4/5] undo:error2 ................................. passed (0.000 sec)
% [5/5] undo:cleanup ................................ passed (0.000 sec)
.
% [1/10] numbers:read ............................... passed (0.000 sec)
% [2/10] numbers:read ............................... passed (0.000 sec)
% [3/10] numbers:number_codes ....................... passed (0.000 sec)
% [4/10] numbers:atom_number ........................ passed (0.000 sec)
% [5/10] numbers:string_number ...................... passed (0.000 sec)
% [6/10] numbers:string_number ...................... passed (0.000 sec)
% [7/10] numbers:string_number ...................... passed (0.000 sec)
% [8/10] numbers:string_number ...................... passed (0.000 sec)
% [9/10] unicode_preds:atom_length .................. passed (0.000 sec)
% [10/10] unicode_preds:string_length ............... passed (0.000 sec)
.
% [1/12] unify:blam ................................. passed (0.000 sec)
% [2/12] unify:unify_self ........................... passed (0.000 sec)
% [3/12] unify:unify_fv ............................. passed (0.000 sec)
% [4/12] unify:unify_arity_0 ........................ passed (0.000 sec)
% [5/12] unify:cycle_1 .............................. passed (0.000 sec)
% [6/12] unify:cycle_2 .............................. passed (0.000 sec)
% [7/12] can_compare:ground ......................... passed (0.000 sec)
% [8/12] can_compare:ground ......................... passed (0.000 sec)
% [9/12] can_compare:ground ......................... passed (0.000 sec)
% [10/12] unifiable:unifiable_1 ..................... passed (0.000 sec)
% [11/12] unifiable:unifiable_2 ..................... passed (0.000 sec)
% [12/12] unifiable:gc_1 ............................ passed (0.004 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.004 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.003 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.179 sec)
% [9/18] call_residue_vars:modify ................... passed (0.002 sec)
% [10/18] call_residue_vars:trail ................... passed (0.002 sec)
% [11/18] call_residue_vars:frozen_stacks ........... passed (0.002 sec)
% [12/18] call_residue_vars:copy_term ............... passed (0.011 sec)
% [13/18] call_residue_vars:copy_term ............... passed (0.000 sec)
% [14/18] call_residue_vars:copy_term ............... passed (0.000 sec)
% [15/18] call_residue_vars:record .................. passed (0.000 sec)
% [16/18] call_residue_vars:record .................. passed (0.000 sec)
% [17/18] call_residue_vars:record .................. passed (0.000 sec)
% [18/18] call_residue_vars:early_reset ............. passed (0.001 sec)
.
% [1/24] dif:1 ...................................... passed (0.000 sec)
% [2/24] dif:2 ...................................... passed (0.000 sec)
% [3/24] dif:3 ...................................... passed (0.000 sec)
% [4/24] dif:4 ...................................... passed (0.000 sec)
% [5/24] dif:5 ...................................... passed (0.000 sec)
% [6/24] dif:6 ...................................... passed (0.000 sec)
% [7/24] dif:7 ...................................... passed (0.000 sec)
% [8/24] dif:7b ..................................... passed (0.000 sec)
% [9/24] dif:8 ...................................... passed (0.000 sec)
% [10/24] dif:9 ..................................... passed (0.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.003 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.001 sec)
% [2/2] d_break:t_break ............................. passed (0.519 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.002 sec)
% [14/16] assoc:random_max .......................... passed (0.002 sec)
% [15/16] assoc:del_empty ........................... passed (0.000 sec)
% [16/16] assoc:del_no_member ....................... passed (0.000 sec)
.
% [1/8] csv_read_file_row:normal .................... passed (0.005 sec)
% [2/8] csv_read_file_row:emptyline ................. passed (0.001 sec)
% [3/8] csv_read_file_row:quoted .................... passed (0.000 sec)
% [4/8] csv_read_file_row:quoted_ignored ............ passed (0.000 sec)
% [5/8] csv_read_file_row:quoted_lf ................. passed (0.002 sec)
% [6/8] csv_read_file_row:quoted_lf_ignored ......... passed (0.001 sec)
% [7/8] csv_read_file_row:quoted_crlf ............... passed (0.000 sec)
% [8/8] csv_read_file_row:quoted_crlf_ignored ....... passed (0.000 sec)
.
% [1/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [2/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [3/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [4/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [5/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [6/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [7/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [8/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [9/12] parse_time:iso_8601 ........................ passed (0.000 sec)
% [10/12] format_time:fraction ...................... passed (0.000 sec)
% [11/12] format_time:negfraction ................... passed (0.000 sec)
% [12/12] date_time_stamp:tz ........................ passed (0.000 sec)
.
% [1-1/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-2/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-3/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-4/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-5/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [1-6/14] sequence:sequence//2 ground list ......... passed (0.000 sec)
% [2/14] sequence:sequence.. order of solutions ..... passed (0.000 sec)
% [3-1/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [3-2/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [3-3/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [3-4/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [3-5/14] sequence:sequence//2 det element ......... passed (0.000 sec)
% [4/14] sequence:sequence//2 nondet element ........ passed (0.000 sec)
% [5/14] sequence:sequence..et element and rest ..... passed (0.000 sec)
% [6-1/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-2/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-3/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-4/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-5/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [6-6/14] sequence:sequence//3 det element ......... passed (0.000 sec)
% [7/14] sequence:sequence..lement trailing sep ..... passed (0.000 sec)
% [8/14] sequence:sequence..p consumed silently ..... passed (0.000 sec)
% [9/14] sequence:sequence//3 separator only ........ passed (0.000 sec)
% [10/14] sequence:sequence//3 nondet element ....... passed (0.000 sec)
% [11-1/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-2/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-3/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-4/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [11-5/14] sequence:sequence//5 det element ........ passed (0.000 sec)
% [12/14] sequence:sequence..lement trailing sep .... passed (0.000 sec)
% [13/14] sequence:sequence//5 sep only ............. passed (0.000 sec)
% [14/14] sequence:sequence//5 nondet element ....... passed (0.000 sec)
.
% [1/18] must_be:integer ............................ passed (0.000 sec)
% [2/18] must_be:integer ............................ passed (0.000 sec)
% [3/18] must_be:integer ............................ passed (0.000 sec)
% [4/18] must_be:integer ............................ passed (0.000 sec)
% [5/18] must_be:integer ............................ passed (0.000 sec)
% [6/18] must_be:rational ........................... passed (0.000 sec)
% [7/18] must_be:rational ........................... passed (0.000 sec)
% [8/18] must_be:rational ........................... passed (0.000 sec)
% [9/18] must_be:rational ........................... passed (0.000 sec)
% [10/18] must_be:rational .......................... passed (0.000 sec)
% [11/18] must_be:list_of_integer ................... passed (0.000 sec)
% [12/18] must_be:list_of_integer ................... passed (0.000 sec)
% [13/18] must_be:list_of_integer ................... passed (0.000 sec)
% [14/18] must_be:list_of_integer ................... passed (0.000 sec)
% [15/18] must_be:list_of_integer ................... passed (0.000 sec)
% [16/18] must_be:list_of_integer ................... passed (0.000 sec)
% [17/18] must_be:list_of_integer ................... passed (0.000 sec)
% [18/18] must_be:list_of_integer ................... passed (0.000 sec)
.
% [1/7] evaluable_property:consistency .............. passed (0.000 sec)
% [2/7] evaluable_property:consistency .............. passed (0.000 sec)
% [3/7] evaluable_property:det ...................... passed (0.000 sec)
% [4/7] evaluable_property:ndet ..................... passed (0.000 sec)
% [5/7] evaluable_property:templ .................... passed (0.001 sec)
% [6/7] evaluable_property:iso ...................... passed (0.000 sec)
% [7/7] evaluable_property:error .................... passed (0.001 sec)
.
% [1/8] hashtable:rfill ............................. passed (0.013 sec)
% [2/8] hashtable:rdel .............................. passed (0.015 sec)
% [3/8] hashtable:empty ............................. passed (0.000 sec)
% [4/8] hashtable:empty ............................. passed (0.000 sec)
% [5/8] hashtable:size .............................. passed (0.000 sec)
% [6/8] hashtable:put5 .............................. passed (0.000 sec)
% [7/8] hashtable:put5 .............................. passed (0.000 sec)
% [8/8] hashtable:wc ................................ passed (0.000 sec)
.
% [1/6] intercept:assign ............................ passed (0.001 sec)
% [2/6] intercept:assign ............................ passed (0.000 sec)
% [3/6] intercept:no_univ ........................... passed (0.000 sec)
% [4/6] intercept:all ............................... passed (0.000 sec)
% [5/6] intercept:all_empty ......................... passed (0.000 sec)
% [6/6] intercept:all_nb ............................ passed (0.000 sec)
.
% [1/2] lazy_lists:list ............................. passed (0.000 sec)
% [2/2] lazy_lists:state ............................ passed (0.000 sec)
.
% [1/1] lists:reverse ............................... passed (0.000 sec)
.
% [1/48] argv_options_unguided:unguided ............. passed (0.001 sec)
% [2/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [3/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [4/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [5/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [6/48] argv_options_unguided:unguided ............. passed (0.000 sec)
% [7/48] argv_options_bool:guided ................... passed (0.001 sec)
% [8/48] argv_options_bool:remaining ................ passed (0.000 sec)
% [9/48] argv_options_bool:position ................. passed (0.000 sec)
% [10/48] argv_options_bool:true .................... passed (0.000 sec)
% [11/48] argv_options_bool:true .................... passed (0.000 sec)
% [12/48] argv_options_bool:true .................... passed (0.000 sec)
% [13/48] argv_options_bool:true .................... passed (0.000 sec)
% [14/48] argv_options_bool:true .................... passed (0.000 sec)
% [15/48] argv_options_bool:true .................... passed (0.000 sec)
% [16/48] argv_options_bool:true .................... passed (0.000 sec)
% [17/48] argv_options_bool:true .................... passed (0.000 sec)
% [18/48] argv_options_bool:false ................... passed (0.000 sec)
% [19/48] argv_options_bool:false ................... passed (0.000 sec)
% [20/48] argv_options_bool:false ................... passed (0.000 sec)
% [21/48] argv_options_bool:false ................... passed (0.000 sec)
% [22/48] argv_options_bool:false ................... passed (0.000 sec)
% [23/48] argv_options_bool:false ................... passed (0.000 sec)
% [24/48] argv_options_typed:int .................... passed (0.000 sec)
% [25/48] argv_options_typed:int .................... passed (0.000 sec)
% [26/48] argv_options_typed:int .................... passed (0.000 sec)
% [27/48] argv_options_typed:int .................... passed (0.000 sec)
% [28/48] argv_options_typed:int .................... passed (0.000 sec)
% [29/48] argv_options_typed:int .................... passed (0.000 sec)
% [30/48] argv_options_typed:percent ................ passed (0.000 sec)
% [31/48] argv_options_typed:percent ................ passed (0.000 sec)
% [32/48] argv_options_typed:float .................. passed (0.000 sec)
% [33/48] argv_options_typed:atom ................... passed (0.000 sec)
% [34/48] argv_options_typed:atom ................... passed (0.000 sec)
% [35/48] argv_options_typed:atom ................... passed (0.000 sec)
% [36/48] argv_options_typed:atom ................... passed (0.000 sec)
% [37/48] argv_options_typed:enum ................... passed (0.000 sec)
% [38/48] argv_options_typed:enum ................... passed (0.000 sec)
% [39/48] argv_options_typed:term ................... passed (0.000 sec)
% [40/48] argv_options_typed:term ................... passed (0.000 sec)
% [41/48] argv_options_typed:pass ................... passed (0.001 sec)
% [42/48] argv_options_typed:pass ................... passed (0.000 sec)
% [43/48] argv_options_typed:pass ................... passed (0.000 sec)
% [44/48] argv_options_typed:pass_short ............. passed (0.000 sec)
% [45/48] argv_options_typed:pass_short ............. passed (0.000 sec)
% [46/48] argv_options_pos:no_opts_after_pos ........ passed (0.000 sec)
% [47/48] argv_options_pos:no_opts_after_pos ........ passed (0.000 sec)
% [48/48] argv_options_pos:no_opts_after_pos ........ passed (0.000 sec)
.
% [1/4] option:merge_empty .......................... passed (0.000 sec)
% [2/4] option:merge_a2 ............................. passed (0.000 sec)
% [3/4] option:merge_a2 ............................. passed (0.000 sec)
% [4/4] option:merge_a2 ............................. passed (0.000 sec)
.
% [1/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [2/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [3/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [4/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [5/8] ord_intersection:oint4 ...................... passed (0.000 sec)
% [6/8] is_ordset:is_ordset ......................... passed (0.000 sec)
% [7/8] is_ordset:is_ordset ......................... passed (0.000 sec)
% [8/8] is_ordset:is_ordset ......................... passed (0.000 sec)
.
% [1/23] phrase_from_file:null ...................... passed (0.000 sec)
% [2/23] phrase_from_file:null ...................... passed (0.000 sec)
% [3/23] phrase_from_file:null ...................... passed (0.000 sec)
% [4/23] phrase_from_file:null ...................... passed (0.000 sec)
% [5/23] phrase_from_file:null ...................... passed (0.000 sec)
% [6/23] phrase_from_file:null ...................... passed (0.000 sec)
% [7/23] phrase_from_file:aba ....................... passed (0.000 sec)
% [8/23] phrase_from_file:aba ....................... passed (0.000 sec)
% [9/23] phrase_from_file:aba ....................... passed (0.000 sec)
% [10/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [11/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [12/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [13/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [14/23] phrase_from_file:aba ...................... passed (0.000 sec)
% [15/23] phrase_from_file:abc_nodebug .............. passed (0.000 sec)
% [16/23] phrase_from_file:abc_debug ................ passed (0.000 sec)
% [17/23] read_pending_input:ascii .................. passed (0.004 sec)
% [18/23] read_pending_input:octet .................. passed (0.004 sec)
% [19/23] read_pending_input:iso_latin_1 ............ passed (0.003 sec)
% [20/23] read_pending_input:utf8 ................... passed (0.009 sec)
% [21/23] read_pending_input:utf16be ................ passed (0.006 sec)
% [22/23] read_pending_input:utf16le ................ passed (0.005 sec)
% [23/23] read_pending_input:wchar_t ................ passed (0.005 sec)
.
% [1/7] prolog_clause:t0 ............................ passed (0.001 sec)
% [2/7] prolog_clause:t1 ............................ passed (0.001 sec)
% [3/7] prolog_clause:t2 ............................ passed (0.001 sec)
% [4/7] prolog_clause:t3 ............................ passed (0.001 sec)
% [5/7] prolog_clause:t4 ............................ passed (0.001 sec)
% [6/7] prolog_clause:t5 ............................ passed (0.001 sec)
% [7/7] prolog_clause:t6 ............................ passed (0.001 sec)
.
% [1/1] prolog_colour:function ...................... passed (0.208 sec)
.
% [1/145] rbtrees:keys .............................. passed (0.000 sec)
% [2/145] rbtrees:clone3 ............................ passed (0.000 sec)
% [3/145] rbtrees:pos ............................... passed (0.022 sec)
% [4/145] rbtrees:neg ............................... passed (0.022 sec)
% [5/145] rbtrees:empty1 ............................ passed (0.000 sec)
% [6/145] rbtrees:empty2 ............................ passed (0.000 sec)
% [7/145] rbtrees:lookup1 ........................... passed (0.000 sec)
% [8/145] rbtrees:lookup2 ........................... passed (0.000 sec)
% [9/145] rbtrees:update1 ........................... passed (0.000 sec)
% [10/145] rbtrees:update2 .......................... passed (0.000 sec)
% [11/145] rbtrees:update3 .......................... passed (0.000 sec)
% [12/145] rbtrees:apply1 ........................... passed (0.000 sec)
% [13/145] rbtrees:apply2 ........................... passed (0.000 sec)
% [14/145] rbtrees:insert1 .......................... passed (0.000 sec)
% [15/145] rbtrees:insert2 .......................... passed (0.000 sec)
% [16/145] rbtrees:insert3 .......................... passed (0.000 sec)
% [17/145] rbtrees:delete1 .......................... passed (0.000 sec)
% [18/145] rbtrees:delete2 .......................... passed (0.000 sec)
% [19/145] rbtrees:delete3 .......................... passed (0.000 sec)
% [20/145] rbtrees:sequence ......................... passed (0.000 sec)
% [21/145] rbtrees:keys1 ............................ passed (0.000 sec)
% [22/145] rbtrees:keys2 ............................ passed (0.000 sec)
% [23/145] rbtrees:map1 ............................. passed (0.000 sec)
% [24/145] rbtrees:map1a ............................ passed (0.000 sec)
% [25/145] rbtrees:map2 ............................. passed (0.000 sec)
% [26/145] rbtrees:map3 ............................. passed (0.000 sec)
% [27/145] rbtrees:map3b ............................ passed (0.000 sec)
% [28/145] rbtrees:map4 ............................. passed (0.000 sec)
% [29/145] rbtrees:map5 ............................. passed (0.000 sec)
% [30/145] rbtrees:fold ............................. passed (0.000 sec)
% [31/145] rbtrees:clone ............................ passed (0.000 sec)
% [32/145] rbtrees:size_min_max ..................... passed (0.000 sec)
% [33/145] rbtrees:del_min1 ......................... passed (0.000 sec)
% [34/145] rbtrees:del_min2 ......................... passed (0.000 sec)
% [35/145] rbtrees:del_min3 ......................... passed (0.000 sec)
% [36/145] rbtrees:del_max1 ......................... passed (0.000 sec)
% [37/145] rbtrees:del_max2 ......................... passed (0.000 sec)
% [38/145] rbtrees:del_max3 ......................... passed (0.000 sec)
% [39/145] rbtrees:rb_min1 .......................... passed (0.000 sec)
% [40/145] rbtrees:rb_max1 .......................... passed (0.000 sec)
% [41/145] rbtrees:next1 ............................ passed (0.000 sec)
% [42/145] rbtrees:next2 ............................ passed (0.000 sec)
% [43/145] rbtrees:previous1 ........................ passed (0.000 sec)
% [44/145] rbtrees:previous2 ........................ passed (0.000 sec)
% [45/145] rbtrees:in1 .............................. passed (0.000 sec)
% [46/145] rbtrees:in2 .............................. passed (0.000 sec)
% [47/145] rbtrees:in3 .............................. passed (0.000 sec)
% [48/145] rbtrees:in4 .............................. passed (0.000 sec)
% [49/145] rbtrees:in5a ............................. passed (0.000 sec)
% [50/145] rbtrees:in5b ............................. passed (0.000 sec)
% [51/145] rbtrees:steadfast_rb_visit ............... passed (0.000 sec)
% [52/145] rbtrees:steadfast_empty_1a ............... passed (0.000 sec)
% [53/145] rbtrees:steadfast_empty_1b ............... passed (0.000 sec)
% [54/145] rbtrees:steadfast_new_1a ................. passed (0.000 sec)
% [55/145] rbtrees:steadfast_new_1b ................. passed (0.000 sec)
% [56/145] rbtrees:steadfast_lookup_3 ............... passed (0.000 sec)
% [57/145] rbtrees:steadfast_update_4a .............. passed (0.000 sec)
% [58/145] rbtrees:steadfast_update_5a .............. passed (0.000 sec)
% [59/145] rbtrees:steadfast_apply_4 ................ passed (0.000 sec)
% [60/145] rbtrees:steadfast_insert_4 ............... passed (0.000 sec)
% [61/145] rbtrees:steadfast_insert_new_4 ........... passed (0.000 sec)
% [62/145] rbtrees:steadfast_delete_3 ............... passed (0.000 sec)
% [63/145] rbtrees:steadfast_delete_4 ............... passed (0.000 sec)
% [64/145] rbtrees:steadfast_keys_2 ................. passed (0.000 sec)
% [65/145] rbtrees:steadfast_map_3 .................. passed (0.000 sec)
% [66/145] rbtrees:steadfast_min .................... passed (0.000 sec)
% [67/145] rbtrees:steadfast_max .................... passed (0.000 sec)
% [68/145] rbtrees:steadfast_next ................... passed (0.000 sec)
% [69/145] rbtrees:steadfast_previous ............... passed (0.000 sec)
% [70/145] rbtrees:steadfast_list_to_rbtree ......... passed (0.004 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.003 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.003 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.004 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.004 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.003 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.003 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.004 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.003 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.003 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.004 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.004 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.004 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.003 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.004 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.003 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.003 sec)
% [145/145] rbtrees:instantiation_in_3 .............. passed (0.000 sec)
.
% [1/18] record:record_type ......................... passed (0.000 sec)
% [2/18] record:record_type ......................... passed (0.000 sec)
% [3/18] record:record_type ......................... passed (0.000 sec)
% [4/18] record:list_type ........................... passed (0.000 sec)
% [5/18] record:list_type ........................... passed (0.000 sec)
% [6/18] record:record_no_type ...................... passed (0.000 sec)
% [7/18] record:point ............................... passed (0.000 sec)
% [8/18] record:point ............................... passed (0.000 sec)
% [9/18] record:point ............................... passed (0.000 sec)
% [10/18] record:point .............................. passed (0.000 sec)
% [11/18] record:point .............................. passed (0.003 sec)
% [12/18] record:point .............................. passed (0.000 sec)
% [13/18] record:point .............................. passed (0.000 sec)
% [14/18] record:point .............................. passed (0.000 sec)
% [15/18] record:point .............................. passed (0.000 sec)
% [16/18] record:point .............................. passed (0.000 sec)
% [17/18] record:point .............................. passed (0.000 sec)
% [18/18] record:point .............................. passed (0.000 sec)
.
% [1/5] settings:get ................................ passed (0.000 sec)
% [2/5] settings:ch_default ......................... passed (0.000 sec)
% [3/5] settings:save_default ....................... passed (0.001 sec)
% [4/5] settings:restore_default .................... passed (0.000 sec)
% [5/5] settings:arith .............................. passed (0.000 sec)
.
% [1/7] test_solution_sequences:distinct ............ passed (0.000 sec)
% [2/7] test_solution_sequences:limit ............... passed (0.000 sec)
% [3/7] test_solution_sequences:offset .............. passed (0.003 sec)
% [4/7] test_solution_sequences:a ................... passed (0.000 sec)
% [5/7] test_solution_sequences:d ................... passed (0.000 sec)
% [6/7] test_solution_sequences:ad .................. passed (0.000 sec)
% [7/7] test_solution_sequences:group_by ............ passed (0.000 sec)
.
% [1/10] source_info:hu1/1 .......................... passed (0.003 sec)
% [2/10] source_info:hu2/1 .......................... passed (0.001 sec)
% [3/10] source_info:hu3/1 .......................... passed (0.001 sec)
% [4/10] source_info:ssu1/1 ......................... passed (0.001 sec)
% [5/10] source_info:nsu1/1 ......................... passed (0.001 sec)
% [6/10] source_info:ssu2/1 ......................... passed (0.001 sec)
% [7/10] source_info:ssu3/1 ......................... passed (0.001 sec)
% [8/10] source_info:ssu4/1 ......................... passed (0.001 sec)
% [9/10] source_info:ssu5/1 ......................... passed (0.001 sec)
% [10/10] source_info:ssu6/2 ........................ passed (0.001 sec)
.
% [1/56] strings:plain .............................. passed (0.000 sec)
% [2/56] strings:interpolate ........................ passed (0.000 sec)
% [3/56] strings:interpolate ........................ passed (0.004 sec)
% [4/56] strings:interpolate ........................ passed (0.000 sec)
% [5/56] strings:dedent ............................. passed (0.000 sec)
% [6/56] strings:dedent ............................. passed (0.004 sec)
% [7/56] strings:dedent ............................. passed (0.000 sec)
% [8/56] strings:splitlines ......................... passed (0.005 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.003 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.004 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.003 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.004 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.004 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.004 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.004 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.004 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.004 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.004 sec)
% [49/56] strings:indent_nomargin_all_lines ......... passed (0.000 sec)
% [50/56] strings:indent_no_lines ................... passed (0.000 sec)
% [51/56] strings:roundtrip_spaces .................. passed (0.000 sec)
% [52/56] strings:roundtrip_tabs .................... passed (0.004 sec)
% [53/56] strings:roundtrip_mixed ................... passed (0.001 sec)
% [54/56] strings:indent_default .................... passed (0.003 sec)
% [55/56] strings:indent_all_lines .................. passed (0.000 sec)
% [56/56] strings:indent_empty_lines ................ passed (0.000 sec)
.
% [1/10] thread:true ................................ passed (0.004 sec)
% [2/10] thread:unify ............................... passed (0.001 sec)
% [3/10] thread:unify ............................... passed (0.002 sec)
% [4/10] thread:fail ................................ passed (0.002 sec)
% [5/10] thread:error ............................... passed (0.004 sec)
% [6/10] thread:concur .............................. passed (0.055 sec)
% [7/10] thread:first ............................... passed (0.002 sec)
% [8/10] thread:first ............................... passed (1.003 sec)
% [9/10] thread:first ............................... passed (0.012 sec)
% [10/10] thread:first .............................. passed (0.005 sec)
.
% [1/4] thread_pool:current ......................... passed (0.002 sec)
% [2/4] thread_pool:free ............................ passed (0.005 sec)
% [3/4] thread_pool:free ............................ passed (0.004 sec)
% [4/4] thread_pool:loop ............................ passed (0.217 sec)
.
% [1/2] tmp_module:nqueens .......................... passed (0.092 sec)
% [2/2] tmp_module:current_op ....................... passed (0.334 sec)
.
% [1/6] top_sort:linear ............................. passed (0.003 sec)
% [2/6] top_sort:linear ............................. passed (0.004 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.003 sec)
% [2/3] expand_unit:foo2 ............................ passed (0.000 sec)
% [3/3] expand_unit:expand .......................... passed (0.004 sec)
..
% [1-1/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-2/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-3/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-4/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-5/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-6/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-7/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-8/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-9/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec)
% [1-10/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec)
% [1-11/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec)
% [1-12/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec)
% [1-13/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec)
% [1-14/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec)
% [1-15/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec)
% [2-1/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-2/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-3/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-4/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-5/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-6/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-7/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-8/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-9/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec)
% [2-10/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec)
% [2-11/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec)
% [2-12/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec)
% [2-13/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec)
% [2-14/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec)
% [2-15/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec)
% [3-1/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-2/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-3/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-4/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-5/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-6/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-7/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-8/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-9/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec)
% [3-10/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-11/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-12/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-13/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-14/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-15/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-16/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-17/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-18/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-19/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-20/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-21/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-22/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-23/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-24/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-25/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-26/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-27/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-28/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-29/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-30/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-31/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [3-32/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec)
% [4-1/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-2/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-3/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-4/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-5/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-6/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-7/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-8/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-9/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec)
% [4-10/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-11/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-12/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-13/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-14/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-15/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-16/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-17/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-18/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-19/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-20/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-21/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-22/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-23/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-24/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-25/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-26/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-27/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-28/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-29/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-30/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-31/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
% [4-32/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec)
.
% [1/1] varnumbers:min .............................. passed (0.000 sec)
.
% [1/8] cmp_versions:eq ............................. passed (0.000 sec)
% [2/8] cmp_versions:eq ............................. passed (0.000 sec)
% [3/8] cmp_versions:eq ............................. passed (0.000 sec)
% [4/8] cmp_versions:lt ............................. passed (0.000 sec)
% [5/8] cmp_versions:gt ............................. passed (0.000 sec)
% [6/8] cmp_versions:lt ............................. passed (0.000 sec)
% [7/8] cmp_versions:lt ............................. passed (0.000 sec)
% [8/8] cmp_versions:lt ............................. passed (0.000 sec)
.
% [1/3] when:nested_ground .......................... passed (0.000 sec)
% [2/3] when:nested_ground .......................... passed (0.000 sec)
% [3/3] when:nested_ground .......................... passed (0.000 sec)
.
% [1/42] yall_tests:call ............................ passed (0.000 sec)
% [2/42] yall_tests:call ............................ passed (0.000 sec)
% [3/42] yall_tests:call ............................ passed (0.000 sec)
% [4/42] yall_tests:call ............................ passed (0.000 sec)
% [5/42] yall_tests:disjunction ..................... passed (0.000 sec)
% [6/42] yall_tests:free ............................ passed (0.000 sec)
% [7/42] yall_tests:maplist ......................... passed (0.000 sec)
% [8/42] yall_tests:maplist ......................... passed (0.000 sec)
% [9/42] yall_tests:maplist ......................... passed (0.000 sec)
% [10/42] yall_tests:maplist ........................ passed (0.000 sec)
% [11/42] yall_tests:maplist ........................ passed (0.000 sec)
% [12/42] yall_tests:maplist ........................ passed (0.000 sec)
% [13/42] yall_tests:maplist ........................ passed (0.000 sec)
% [14/42] yall_tests:maplist ........................ passed (0.000 sec)
% [15/42] yall_tests:maplist ........................ passed (0.000 sec)
% [16/42] yall_tests:maplist ........................ passed (0.000 sec)
% [17/42] yall_tests:maplist ........................ passed (0.000 sec)
% [18/42] yall_tests:include ........................ passed (0.000 sec)
% [19/42] yall_tests:include ........................ passed (0.000 sec)
% [20/42] yall_tests:include ........................ passed (0.000 sec)
% [21/42] yall_tests:include ........................ passed (0.000 sec)
% [22/42] yall_tests:trivial ........................ passed (0.000 sec)
% [23/42] yall_tests:trivial ........................ passed (0.000 sec)
% [24/42] yall_tests:trivial ........................ passed (0.000 sec)
% [25/42] yall_tests:trivial ........................ passed (0.000 sec)
% [26/42] yall_tests:fold_left_in_disguise .......... passed (0.000 sec)
% [27/42] yall_tests:fold_left_in_disguise .......... passed (0.000 sec)
% [28/42] yall_tests:fold_left_in_disguise .......... passed (0.000 sec)
% [29/42] yall_tests:dif ............................ passed (0.000 sec)
% [30/42] yall_tests:dif ............................ passed (0.000 sec)
% [31/42] yall_tests:carlo_capelli_example .......... passed (0.000 sec)
% [32/42] yall_tests:setof .......................... passed (0.000 sec)
% [33/42] yall_tests:distances ...................... passed (0.000 sec)
% [34/42] yall_tests:distances ...................... passed (0.000 sec)
% [35/42] yall_tests:sum_squares .................... passed (0.000 sec)
% [36/42] yall_tests:sum_squares .................... passed (0.000 sec)
% [37/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [38/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [39/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [40/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [41/42] yall_tests:dcgs ........................... passed (0.000 sec)
% [42/42] yall_tests:dcgs ........................... passed (0.000 sec)
. done
Running scripts from compile
% [1/1] autoload:not_from_user ...................... passed (0.001 sec)
. done
Running scripts from charset . done
Running scripts from eclipse
% Running ECLiPSe tests from file /data/gannet/ripley/R/packages/tests-devel/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/eclipse/format.tst
.................................................................................................................................................................................................
% Finished tests from file /data/gannet/ripley/R/packages/tests-devel/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/eclipse/format.tst
% 193 tests found.
% 193 tests succeeded.
% Running ECLiPSe tests from file /data/gannet/ripley/R/packages/tests-devel/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/eclipse/format_strings.tst
...
% Finished tests from file /data/gannet/ripley/R/packages/tests-devel/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/eclipse/format_strings.tst
% 3 tests found.
% 3 tests succeeded.
% Running ECLiPSe tests from file /data/gannet/ripley/R/packages/tests-devel/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/eclipse/string_tests.tst
........................................................................................................................................................................
% Finished tests from file /data/gannet/ripley/R/packages/tests-devel/rswipl.Rcheck/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.006 sec)
% [2/6] file_names:2 ................................ passed (0.005 sec)
% [3/6] file_names:3 ................................ passed (0.023 sec)
% [4/6] file_names:5 ................................ passed (0.050 sec)
% [5/6] file_names:4 ................................ passed (0.024 sec)
% [6/6] file_names:6 ................................ passed (0.085 sec)
.
% [1/16] files:tmp_cleanup .......................... passed (0.020 sec)
% [2/16] files:directory_files ...................... passed (0.000 sec)
% [3/16] files:directory_files ...................... passed (0.001 sec)
% [4/16] files:max_path_len ......................... passed (0.019 sec)
% [5/16] files:max_path_len ......................... passed (0.019 sec)
% [6/16] files:max_path_len ......................... passed (0.044 sec)
% [7/16] files:at_end_of_stream ..................... passed (0.000 sec)
% [8/16] files:at_end_of_stream ..................... passed (0.004 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.003 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.002 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.000 sec)
% [16/33] glob_match:glob ........................... passed (0.003 sec)
% [17/33] glob_match:glob ........................... passed (0.000 sec)
% [18/33] glob_match:glob ........................... passed (0.000 sec)
% [19/33] glob_match:glob ........................... passed (0.000 sec)
% [20/33] glob_match:glob ........................... passed (0.000 sec)
% [21/33] glob_match:glob ........................... passed (0.000 sec)
% [22/33] glob_match:glob ........................... passed (0.000 sec)
% [23/33] glob_match:glob ........................... passed (0.000 sec)
% [24/33] glob_match:glob ........................... passed (0.000 sec)
% [25/33] glob_match:glob ........................... passed (0.000 sec)
% [26/33] glob_match:glob ........................... passed (0.000 sec)
% [27/33] glob_match:glob ........................... passed (0.000 sec)
% [28/33] glob_match:glob ........................... passed (0.000 sec)
% [29/33] glob_match:glob ........................... passed (0.000 sec)
% [30/33] glob_expand:glob .......................... passed (0.001 sec)
% [31/33] glob_expand:cyrillic ...................... passed (0.000 sec)
% [32/33] glob_expand:cyrillic ...................... passed (0.001 sec)
% [33/33] glob_expand:cyrillic ...................... passed (0.001 sec)
.
% [1/4] pipe:pwd .................................... passed (0.011 sec)
% [2/4] pipe:cat1 ................................... passed (0.019 sec)
% [3/4] pipe:cat2 ................................... passed (0.009 sec)
% [4/4] pipe:timeout ................................ passed (1.017 sec)
. done
Running scripts from clp . done
Running scripts from GC
% [1/1] agc_copyterm:copy ........................... passed (0.760 sec)
..
% [1/2] ch_shift:local_st.._expansion_many_chp ...... passed (1.166 sec)
% [2/2] ch_shift:local_st..pansion_pending_chp ...... passed (0.009 sec)
..
% [1/12] cleanup_shift:gtrue ........................ passed (0.011 sec)
% [2/12] cleanup_shift:ltrue ........................ passed (0.001 sec)
% [3/12] cleanup_shift:ttrue ........................ passed (0.017 sec)
% [4/12] cleanup_shift:gfalse ....................... passed (0.011 sec)
% [5/12] cleanup_shift:lfalse ....................... passed (0.001 sec)
% [6/12] cleanup_shift:tfalse ....................... passed (0.017 sec)
% [7/12] cleanup_shift:gcut ......................... passed (0.010 sec)
% [8/12] cleanup_shift:lcut ......................... passed (0.001 sec)
% [9/12] cleanup_shift:tcut ......................... passed (0.017 sec)
% [10/12] cleanup_shift:gexcept ..................... passed (0.007 sec)
% [11/12] cleanup_shift:lexcept ..................... passed (0.004 sec)
% [12/12] cleanup_shift:texcept ..................... passed (0.018 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.007 sec)
% [7/8] queue_gc:gc ................................. passed (0.008 sec)
% [8/8] queue_gc:gc ................................. passed (0.006 sec)
....
% [1/1] queue_select:even ........................... passed (0.000 sec)
..
% [1/4] queue_timeout:relative ...................... passed (0.011 sec)
% [2/4] queue_timeout:abs ........................... passed (0.011 sec)
% [3/4] queue_timeout:abs_rel1 ...................... passed (0.010 sec)
% [4/4] queue_timeout:abs_rel2 ...................... passed (0.011 sec)
....
% [1/1] test_dynamic:retractall ..................... passed (0.022 sec)
............
% [1/5] concurrent_and:basic ........................ passed (0.021 sec)
% [2/5] concurrent_and:select ....................... passed (0.026 sec)
% [3/5] concurrent_and:cut .......................... passed (0.014 sec)
% [4/5] concurrent_and:error ........................ passed (0.021 sec)
% [5/5] concurrent_and:gen_error .................... passed (0.029 sec)
.
% [1/5] rwlocks:basic_write_lock .................... passed (0.007 sec)
% [2/5] rwlocks:basic_read_lock ..................... passed (0.000 sec)
% [3/5] rwlocks:concurrent_reads .................... passed (0.002 sec)
% [4/5] rwlocks:write_blocks_reads .................. passed (0.505 sec)
% [5/5] rwlocks:invalid_mode ........................ passed (0.001 sec)
....
Warning: [Thread 16] thread_send_message/2: thread `<thread>(7,0x7f3c8400f680)' does not exist
.
% [1/24] thread_create:alias ........................ passed (0.010 sec)
% [2/24] thread_create:anonymous .................... passed (0.001 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.005 sec)
% [6/24] thread_property:detached_false ............. passed (0.002 sec)
% [7/24] thread_property:detached_true .............. passed (0.003 sec)
% [8/24] thread_property:status_running ............. passed (0.002 sec)
% [9/24] thread_property:status_true ................ passed (0.013 sec)
% [10/24] thread_property:status_fail ............... passed (0.002 sec)
% [11/24] thread_property:status_exception .......... passed (0.002 sec)
% [12/24] thread_property:status_enum1 .............. passed (0.003 sec)
% [13/24] thread_property:status_enum2 .............. passed (0.004 sec)
% [14/24] thread_property:existence ................. passed (0.000 sec)
% [15/24] thread_property:existence ................. passed (0.000 sec)
% [16/24] mutex:lock ................................ passed (0.000 sec)
% [17/24] mutex:destroy ............................. passed (0.000 sec)
% [18/24] mutex:destroy_locked ...................... passed (0.000 sec)
% [19/24] mutex:destroy_locked_other_thread ......... passed (0.001 sec)
% [20/24] mutex_property:alias ...................... passed (0.000 sec)
% [21/24] mutex_property:generate ................... passed (0.000 sec)
% [22/24] mutex_property:locked ..................... passed (0.000 sec)
% [23/24] message_queue:max_size_prop ............... passed (0.000 sec)
% [24/24] message_queue:size_prop ................... passed (0.000 sec)
...... done
Running scripts from thread_wait
% [1/1] functor_cache:race .......................... passed (0.049 sec)
.
% [1/17] signal_api:pending ......................... passed (0.000 sec)
% [2/17] signal_api:pending ......................... passed (0.000 sec)
% [3/17] signal_api:remove .......................... passed (0.003 sec)
% [4/17] signal_api:remove .......................... passed (0.000 sec)
% [5/17] signal_api:remove .......................... passed (0.000 sec)
% [6/17] signal_api:remove .......................... passed (0.000 sec)
% [7/17] signal_api:remove .......................... passed (0.003 sec)
% [8/17] signal_api:remove .......................... passed (0.000 sec)
% [9/17] signal_api:backtrack ....................... passed (0.000 sec)
% [10/17] signal_catch:recover ...................... passed (0.003 sec)
% [11/17] signal_catch:atomic ....................... passed (0.000 sec)
% [12/17] signal_catch:cleanup ...................... passed (0.000 sec)
% [13/17] signal_catch:signal ....................... passed (0.000 sec)
% [14/17] signal_nested:nested_likely ............... passed (1.003 sec)
% [15/17] signal_nested:nested_sure ................. passed (0.000 sec)
% [16/17] signal_nested:nested_atomic ............... passed (1.001 sec)
% [17/17] signal_exceptions:chained ................. passed (0.027 sec)
.
% [1/4] thread_wait:signal .......................... passed (0.055 sec)
% [2/4] thread_wait:wakeall ......................... passed (0.051 sec)
% [3/4] thread_wait:wakeup .......................... passed (0.051 sec)
% [4/4] thread_wait:wakeup .......................... passed (0.000 sec)
. done
Running scripts from transaction .
% [1/1] transaction_deadlock:deadlock ............... passed (0.007 sec)
.
% [1/3] tr_incremental_tabling:assert ............... passed (0.001 sec)
% [2/3] tr_incremental_tabling:tmp_assert ........... passed (0.000 sec)
% [3/3] tr_incremental_tabling:retract .............. passed (0.000 sec)
.
% [1/23] transaction:assert ......................... passed (0.000 sec)
% [2/23] transaction:retract ........................ passed (0.000 sec)
% [3/23] transaction:assert_retract ................. passed (0.003 sec)
% [4/23] transaction:nested1 ........................ passed (0.000 sec)
% [5/23] transaction:nested2 ........................ passed (0.000 sec)
% [6/23] transaction:nested3 ........................ passed (0.003 sec)
% [7/23] transaction:nested4 ........................ passed (0.000 sec)
% [8/23] transaction:nested5 ........................ passed (0.000 sec)
% [9/23] transaction:nested6 ........................ passed (0.000 sec)
% [10/23] transaction:nested7 ....................... passed (0.000 sec)
% [11/23] transaction:nested8 ....................... passed (0.000 sec)
% [12/23] transaction:nested9 ....................... passed (0.000 sec)
% [13/23] transaction:update1 ....................... passed (0.000 sec)
% [14/23] transaction:update2 ....................... passed (0.000 sec)
% [15/23] transaction:update3 ....................... passed (0.000 sec)
% [16/23] thread_transaction:commit ................. passed (0.001 sec)
% [17/23] thread_transaction:discard ................ passed (0.003 sec)
% [18/23] thread_transaction:discard2 ............... passed (0.004 sec)
% [19/23] thread_transaction:isolate_assert ......... passed (0.002 sec)
% [20/23] thread_transaction:isolate_retract ........ passed (0.004 sec)
% [21/23] thread_transaction:isolate_retract2 ....... passed (0.004 sec)
% [22/23] thread_transaction:isolate_retract2b ...... passed (0.006 sec)
% [23/23] thread_transaction:isolate_retract2b ...... passed (0.002 sec)
. done
Running scripts from save
% [1/7] qlf:unicode ................................. passed (0.009 sec)
% [2/7] qlf:h_integer ............................... passed (0.024 sec)
% [3/7] qlf:b_integer ............................... passed (0.014 sec)
% [4/7] qlf:expr .................................. **FAILED (0.011 sec)
ERROR: [Thread main] /data/gannet/ripley/R/packages/tests-devel/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/save/test_qlf.pl:89:
ERROR: [Thread main] test qlf:expr:
ERROR: [Thread main] wrong answer for Found (compared using =@=)
ERROR: [Thread main] Expected: [[0,-1,1,-2147483648,2147483647,-2147483649,2147483648,-72057594037927936,72057594037927935,-72057594037927937,72057594037927936,-476462786578645564756252,476462786578645564756252]]
ERROR: [Thread main] Got: [[476462786578645564756252,0,-1,1,-2147483648,2147483647,-2147483649,2147483648,-72057594037927936,72057594037927935,-72057594037927937,72057594037927936,-476462786578645564756252,476462786578645564756252]]
% [5/7] qlf:cmp ..................................... passed (0.011 sec)
% [6/7] qlf:add_fc .................................. passed (0.015 sec)
% [7/7] qlf:rat ..................................... passed (0.020 sec)
ERROR: [Thread main] 1 test failed
Script /data/gannet/ripley/R/packages/tests-devel/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/save/test_qlf.pl failed
% [1/3] saved_state:true ............................ passed (2.783 sec)
% [2/3] saved_state:argv ............................ passed (3.006 sec)
% [3/3] saved_state:true ............................ passed (2.920 sec)
. done
Running scripts from tabling ..
% [1/2] answer_subsumption:as_with_no_as ............ passed (0.003 sec)
% [2/2] answer_subsumption:max ...................... passed (0.004 sec)
.
% [1/9] incr_answer_subsumption_1:update ............ passed (0.002 sec)
% [2/9] incr_answer_subsumption_1:keep .............. passed (0.000 sec)
% [3/9] incr_answer_subsumption_1:reeval ............ passed (0.001 sec)
% [4/9] mono_answer_subsumption_1:update ............ passed (0.000 sec)
% [5/9] mono_answer_subsumption_1:keep .............. passed (0.000 sec)
% [6/9] mono_answer_subsumption_1:reeval ............ passed (0.000 sec)
% [7/9] mono_answer_subsumption_1:reeval ............ passed (0.000 sec)
% [8/9] mono_answer_subsumption_lazy_1:update ....... passed (0.001 sec)
% [9/9] mono_answer_subsumption_lazy_1:update ....... passed (0.001 sec)
.
% [1/10] monotonic_tabling:pa1 ...................... passed (0.000 sec)
% [2/10] monotonic_tabling:pa2 ...................... passed (0.000 sec)
% [3/10] monotonic_tabling:pb ....................... passed (0.000 sec)
% [4/10] monotonic_tabling:closure .................. passed (0.004 sec)
% [5/10] monotonic_tabling:closure2 ................. passed (0.230 sec)
% [6/10] monotonic_tabling:incr_mono ................ passed (0.001 sec)
% [7/10] monotonic_tabling:incr_mono ................ passed (0.000 sec)
% [8/10] monotonic_tabling:nested_reeval_mono ....... passed (0.001 sec)
% [9/10] monotonic_tabling_2:twice_invalid .......... passed (0.001 sec)
% [10/10] monotonic_tabling_3:incr_propagate ........ passed (0.001 sec)
.
% [1/18] tabling_monotonic_lazy_1:simple ............ passed (0.001 sec)
% [2/18] tabling_monotonic_lazy_1:retract ........... passed (0.000 sec)
% [3/18] tabling_monotonic_lazy_2:mon_and_lazy ...... passed (0.000 sec)
% [4/18] tabling_monotonic_lazy_3:intermediate ...... passed (0.001 sec)
% [5/18] tabling_monotonic_lazy_4:lazy_on_eager ..... passed (0.000 sec)
% [6/18] tabling_monotonic_lazy_5:lazy_on_eager ..... passed (0.000 sec)
% [7/18] tabling_monotonic..zy_on_eager_retract ..... passed (0.001 sec)
% [8/18] tabling_monotonic_lazy_6:lazy_reeval ....... passed (0.001 sec)
% [9/18] tabling_monotonic_lazy_7:lazy_reeval ....... passed (0.001 sec)
% [10/18] tabling_monotonic..direct_lazy_retract .... passed (0.001 sec)
% [11/18] tabling_monotonic..re_new_dependencies .... passed (0.010 sec)
% [12/18] tabling_monotonic_lazy_10:false_deps ...... passed (0.001 sec)
% [13/18] tabling_monotonic_lazy_11:rollback ........ passed (0.001 sec)
% [14/18] tabling_monotonic_lazy_12:indirect ........ passed (0.000 sec)
% [15/18] tabling_monotonic..incr_propagate_lazy .... passed (0.000 sec)
% [16/18] tabling_monotonic.._14:mono_completion .... passed (0.001 sec)
% [17/18] tabling_monotonic_lazy_15:closure ......... passed (0.099 sec)
% [18/18] tabling_monotonic_lazy_16:reeval .......... passed (0.002 sec)
.
% [1/8] tabling_reeval:mutal_dependent .............. passed (0.001 sec)
% [2/8] tabling_reeval:multiple_dependents .......... passed (0.000 sec)
% [3/8] tabling_reeval_merged:only .................. passed (0.000 sec)
% [4/8] dynamic_tabled:wfs .......................... passed (0.002 sec)
% [5/8] dynamic_tabled2:wfs ......................... passed (0.001 sec)
% [6/8] dynamic_tabled2:wfs2 ........................ passed (0.001 sec)
% [7/8] dynamic_tabled3:wfs ......................... passed (0.001 sec)
% [8/8] dynamic_tabled4:wfs ......................... passed (0.000 sec)
....
% [1/1] shared_reeval:propagate_falsecount .......... passed (0.006 sec)
.
% [1/1] tabled_shortest_path:path ................... passed (0.012 sec)
.
% [1/35] tabling_ex1:ex1 ............................ passed (0.001 sec)
% [2/35] tabling_ex2:ex2 ............................ passed (0.000 sec)
% [3/35] tabling_ex3:ex3 ............................ passed (0.001 sec)
% [4/35] tabling_ex4:ex4 ............................ passed (0.001 sec)
% [5/35] tabling_ex5:ex5 ............................ passed (0.001 sec)
% [6/35] tabling_ex6:ex6 ............................ passed (0.000 sec)
% [7/35] tabling_ex7:ex7 ............................ passed (0.001 sec)
% [8/35] tabling_ex8:ex8 ............................ passed (0.000 sec)
% [9/35] tabling_ex9a:ex9a .......................... passed (0.000 sec)
% [10/35] tabling_ex9b:ex9b ......................... passed (0.000 sec)
% [11/35] tabling_ex9c:ex9c ......................... passed (0.000 sec)
% [12/35] tabling_ex9d:ex9d ......................... passed (0.000 sec)
% [13/35] tabling_ex9e:ex9d ......................... passed (0.000 sec)
% [14/35] tabling_ex10:ex10 ......................... passed (0.001 sec)
% [15/35] tabling_ex11:ex11 ......................... passed (0.000 sec)
% [16/35] tabling_ex12:ex12 ......................... passed (0.001 sec)
% [17/35] tabling_ex13:ex12 ......................... passed (0.001 sec)
% [18/35] tabling_ex14:ex14 ......................... passed (0.001 sec)
% [19/35] tabling_ex15:ex15 ......................... passed (0.001 sec)
% [20/35] tabling_ex16:ex16 ......................... passed (0.000 sec)
% [21/35] tabling_ex17:ex17 ......................... passed (0.000 sec)
% [22/35] tabling_clpfd:fib_error ................... passed (0.005 sec)
% [23/35] tabling_eruption:tabling_eruption ......... passed (0.000 sec)
% [24/35] tabling_eruption2:tabling_eruption ........ passed (0.000 sec)
% [25/35] tabling_sneezing:tabling_sneezing ......... passed (0.000 sec)
% [26/35] tabling_yappath:yappath ................... passed (0.000 sec)
% [27/35] tabling_minpath:tabling_minpath ........... passed (0.000 sec)
% [28/35] tabling_maxpath:tabling_maxpath ........... passed (0.000 sec)
% [29/35] tabling_train:tabling_train ............... passed (0.000 sec)
% [30/35] moded_tabling_path:path ................... passed (0.000 sec)
% [31/35] mode_components1:component ................ passed (0.000 sec)
% [32/35] mode_components2:component ................ passed (0.000 sec)
% [33/35] pathss:kurt ............................... passed (0.001 sec)
% [34/35] bas:bas ................................... passed (0.051 sec)
% [35/35] push_ret:push_ret ......................... passed (0.205 sec)
.
% [1/6] test_transact_incr_1:commit ................. passed (0.001 sec)
% [2/6] test_transact_incr_1:rollback ............... passed (0.000 sec)
% [3/6] test_transact_incr_1:snapshot ............... passed (0.000 sec)
% [4/6] test_transact_incr_1:snapshot ............... passed (0.000 sec)
% [5/6] test_transact_incr_1:snapshot ............... passed (0.000 sec)
% [6/6] test_transact_incr_1:snapshot ............... passed (0.000 sec)
.
% [1/7] test_transact_mono_1:commit ................. passed (0.000 sec)
% [2/7] test_transact_mono_1:rollback ............... passed (0.000 sec)
% [3/7] test_transact_mono_1:snapshot ............... passed (0.000 sec)
% [4/7] test_transact_mono_1:snapshot ............... passed (0.000 sec)
% [5/7] test_transact_mono_1:snapshot ............... passed (0.000 sec)
% [6/7] test_transact_mono_1:snapshot ............... passed (0.000 sec)
% [7/7] test_transact_mono_2:retract ................ passed (0.001 sec)
.
% [1/13] test_transact_mono_lazy_1:commit ........... passed (0.000 sec)
% [2/13] test_transact_mono_lazy_1:rollback ......... passed (0.001 sec)
% [3/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec)
% [4/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec)
% [5/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec)
% [6/13] test_transact_mono_lazy_1:snapshot ......... passed (0.004 sec)
% [7/13] test_transact_mono_lazy_2:retract .......... passed (0.000 sec)
% [8/13] test_transact_mon..zy_2:outside_assert ..... passed (0.003 sec)
% [9/13] test_transact_mono_lazy_2:mixed_assert ..... passed (0.000 sec)
% [10/13] test_transact_mon..zy_3:outside_assert .... passed (0.004 sec)
% [11/13] test_transact_mon.._4:new_dependencies .... passed (0.001 sec)
% [12/13] test_transact_mon.._5:already_forced_1 .... passed (0.001 sec)
% [13/13] test_transact_mon.._5:already_forced_2 .... passed (0.004 sec)
.
% [1/23] trie:insert_atom ........................... passed (0.000 sec)
% [2/23] trie:insert_value_term ..................... passed (0.000 sec)
% [3/23] trie:insert_two ............................ passed (0.000 sec)
% [4/23] trie:insert_compound ....................... passed (0.000 sec)
% [5/23] trie:insert_nested ......................... passed (0.000 sec)
% [6/23] trie:insert_nested2 ........................ passed (0.000 sec)
% [7/23] trie:insert_nested_get ..................... passed (0.000 sec)
% [8/23] trie:insert_vars ........................... passed (0.000 sec)
% [9/23] trie:insert_variant ........................ passed (0.000 sec)
% [10/23] trie:insert_vars .......................... passed (0.000 sec)
% [11/23] trie:rescale_cars ......................... passed (0.015 sec)
% [12/23] trie:insert_gsize ......................... passed (0.000 sec)
% [13/23] trie:insert_cycle ......................... passed (0.000 sec)
% [14/23] trie:delete ............................... passed (0.000 sec)
% [15/23] trie:gen_indirect ......................... passed (0.000 sec)
% [16/23] trie:var1 ................................. passed (0.000 sec)
% [17/23] trie:var2 ................................. passed (0.000 sec)
% [18/23] trie:var3 ................................. passed (0.000 sec)
% [19/23] trie:issue_1277 ........................... passed (0.000 sec)
% [20/23] trie:gen_compiled2_free ................... passed (0.000 sec)
% [21/23] trie:gen_compiled2_instantiated ........... passed (0.000 sec)
% [22/23] trie:gen_compiled3_free ................... passed (0.000 sec)
% [23/23] trie:gen_compiled3_cycle .................. passed (0.000 sec)
.
% [1/24] trie_attvars:simple ........................ passed (0.000 sec)
% [2/24] trie_attvars:simple_compiled ............... passed (0.000 sec)
% [3/24] trie_attvars:plain ......................... passed (0.000 sec)
% [4/24] trie_attvars:plain_compiled ................ passed (0.000 sec)
% [5/24] trie_attvars:nesting ....................... passed (0.000 sec)
% [6/24] trie_attvars:nesting_compiled .............. passed (0.000 sec)
% [7/24] trie_attvars:nesting2 ...................... passed (0.000 sec)
% [8/24] trie_attvars:nesting2_compiled ............. passed (0.000 sec)
% [9/24] trie_attvars:shared ........................ passed (0.000 sec)
% [10/24] trie_attvars:shared_compiled .............. passed (0.000 sec)
% [11/24] trie_attvars:unify_true ................... passed (0.000 sec)
% [12/24] trie_attvars:unify_true_compiled .......... passed (0.000 sec)
% [13/24] trie_attvars:unify_fail_1 ................. passed (0.000 sec)
% [14/24] trie_attvars:unify_fail_1_compiled ........ passed (0.000 sec)
% [15/24] trie_attvars:unify_fail_2 ................. passed (0.000 sec)
% [16/24] trie_attvars:unify_fail_2_compiled ........ passed (0.000 sec)
% [17/24] trie_attvars:unify_shared ................. passed (0.000 sec)
% [18/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec)
% [19/24] trie_attvars:unify_shared ................. passed (0.000 sec)
% [20/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec)
% [21/24] trie_attvars:unify_shared ................. passed (0.000 sec)
% [22/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec)
% [23/24] trie_attvars:unify_multi .................. passed (0.000 sec)
% [24/24] trie_attvars:unify_multi_compiled ......... passed (0.000 sec)
.
% [1/8] wfs_delays:delays ........................... passed (0.000 sec)
% [2/8] wfs_delays:delays ........................... passed (0.000 sec)
% [3/8] wfs_delays:delays ........................... passed (0.000 sec)
% [4/8] wfs_delays:delays ........................... passed (0.000 sec)
% [5/8] wfs_delays:delays ........................... passed (0.000 sec)
% [6/8] wfs_delays:residual ......................... passed (0.000 sec)
% [7/8] wfs_delays:as ............................... passed (0.000 sec)
% [8/8] wfs_dwin:dwin ............................... passed (0.000 sec)
. done
Running scripts from basic_tests
% [1/26] xsb_basic_tests:tsstr13 .................... passed (0.016 sec)
% [2/26] xsb_basic_tests:tsstr23 .................... passed (0.013 sec)
% [3/26] xsb_basic_tests:tsstr33 .................... passed (0.015 sec)
% [4/26] xsb_basic_tests:tstr11 ..................... passed (0.009 sec)
% [5/26] xsb_basic_tests:tstr21 ..................... passed (0.009 sec)
% [6/26] xsb_basic_tests:tstr31 ..................... passed (0.010 sec)
% [7/26] xsb_basic_tests:tstr51 ..................... passed (0.010 sec)
% [8/26] xsb_basic_tests:tstr61 ..................... passed (0.010 sec)
% [9/26] xsb_basic_tests:tstr12 ..................... passed (0.010 sec)
% [10/26] xsb_basic_tests:tstr22 .................... passed (0.010 sec)
% [11/26] xsb_basic_tests:tstr32 .................... passed (0.012 sec)
% [12/26] xsb_basic_tests:tstr52 .................... passed (0.014 sec)
% [13/26] xsb_basic_tests:tstr62 .................... passed (0.013 sec)
% [14/26] xsb_basic_tests:tstr13 .................... passed (0.034 sec)
% [15/26] xsb_basic_tests:tstr23 .................... passed (0.034 sec)
% [16/26] xsb_basic_tests:tstr33 .................... passed (0.039 sec)
% [17/26] xsb_basic_tests:tstr53 .................... passed (0.128 sec)
% [18/26] xsb_basic_tests:tstr63 .................... passed (0.129 sec)
% [19/26] xsb_basic_tests:thstr13 ................... passed (0.011 sec)
% [20/26] xsb_basic_tests:thstr43 ................... passed (0.007 sec)
% [21/26] xsb_basic_tests:thstr23 ................... passed (0.011 sec)
% [22/26] xsb_basic_tests:tcyl11 .................... passed (0.169 sec)
% [23/26] xsb_basic_tests:tcyl12 .................... passed (0.138 sec)
% [24/26] xsb_basic_tests:testsg .................... passed (0.238 sec)
% [25/26] xsb_basic_tests:interp .................... passed (0.013 sec)
% [26/26] xsb_basic_tests:tsing1 .................... passed (0.007 sec)
. done
Running scripts from ai_tests
% [1/11] xsb_ai_tests:cs_o .......................... passed (0.142 sec)
% [2/11] xsb_ai_tests:cs_r .......................... passed (0.189 sec)
% [3/11] xsb_ai_tests:disj .......................... passed (0.169 sec)
% [4/11] xsb_ai_tests:gabriel ....................... passed (0.105 sec)
% [5/11] xsb_ai_tests:kalah ......................... passed (0.112 sec)
% [6/11] xsb_ai_tests:peep .......................... passed (0.162 sec)
% [7/11] xsb_ai_tests:pg ............................ passed (0.051 sec)
% [8/11] xsb_ai_tests:plan .......................... passed (0.063 sec)
% [9/11] xsb_ai_tests:qsort ......................... passed (0.031 sec)
% [10/11] xsb_ai_tests:queens ....................... passed (0.048 sec)
% [11/11] xsb_ai_tests:read ......................... passed (0.252 sec)
. done
Running scripts from ptq
% [1/25] xsb_ptq:jtaulred ........................... passed (0.007 sec)
% [2/25] xsb_ptq:mbjfauahei ......................... passed (0.149 sec)
% [3/25] xsb_ptq:mbjfauaheilred ..................... passed (0.034 sec)
% [4/25] xsb_ptq:jtau ............................... passed (0.009 sec)
% [5/25] xsb_ptq:jdm ................................ passed (0.007 sec)
% [6/25] xsb_ptq:apr ................................ passed (0.003 sec)
% [7/25] xsb_ptq:jdh ................................ passed (0.003 sec)
% [8/25] xsb_ptq:jsau ............................... passed (0.007 sec)
% [9/25] xsb_ptq:awtra .............................. passed (0.006 sec)
% [10/25] xsb_ptq:emlaw ............................. passed (0.008 sec)
% [11/25] xsb_ptq:awsswr ............................ passed (0.005 sec)
% [12/25] xsb_ptq:jsauamsi .......................... passed (0.027 sec)
% [13/25] xsb_ptq:jdmlred ........................... passed (0.005 sec)
% [14/25] xsb_ptq:jdhlred ........................... passed (0.003 sec)
% [15/25] xsb_ptq:jwiaplred ......................... passed (0.005 sec)
% [16/25] xsb_ptq:jfaulred .......................... passed (0.005 sec)
% [17/25] xsb_ptq:jsaulred .......................... passed (0.006 sec)
% [18/25] xsb_ptq:awtralred ......................... passed (0.005 sec)
% [19/25] xsb_ptq:emlawlred ......................... passed (0.005 sec)
% [20/25] xsb_ptq:awsswrlred ........................ passed (0.004 sec)
% [21/25] xsb_ptq:jbmwwaiplred ...................... passed (0.042 sec)
% [22/25] xsb_ptq:jwfauaeilred ...................... passed (0.014 sec)
% [23/25] xsb_ptq:jtfauaweilred ..................... passed (0.012 sec)
% [24/25] xsb_ptq:emlawsslhlred ..................... passed (0.008 sec)
% [25/25] xsb_ptq:emlawaslhlred ..................... passed (0.009 sec)
. done
Running scripts from neg_tests
% [1/24] tabled_basic_negation:neg1 ................. passed (0.008 sec)
% [2/24] tabled_basic_negation:neg2 ................. passed (0.026 sec)
% [3/24] tabled_basic_negation:neg3 ................. passed (0.019 sec)
% [4/24] tabled_basic_negation:ullman2 .............. passed (0.013 sec)
% [5/24] tabled_lr_stratified_negation:lmod1 ........ passed (0.019 sec)
% [6/24] tabled_lr_stratified_negation:lmod2 ........ passed (0.014 sec)
% [7/24] tabled_lr_stratified_negation:lmod3 ........ passed (0.022 sec)
% [8/24] tabled_lr_stratified_negation:lmod4 ........ passed (0.019 sec)
% [9/24] tabled_lr_stratified_negation:lmod5 ........ passed (0.022 sec)
% [10/24] tabled_lr_stratified_negation:lmod6 ....... passed (0.019 sec)
% [11/24] tabled_lr_stratified_negation:lmod7 ....... passed (0.016 sec)
% [12/24] tabled_lr_stratified_negation:lmod8 ....... passed (0.022 sec)
% [13/24] tabled_lr_stratified_negation:lmod9 ....... passed (0.009 sec)
% [14/24] tabled_lr_stratified_negation:lmod10 ...... passed (0.009 sec)
% [15/24] tabled_lr_stratified_negation:lmod11 ...... passed (0.012 sec)
% [16/24] tabled_lr_stratified_negation:ullman1 ..... passed (0.019 sec)
% [17/24] tabled_dynakicall..fied_negation:przy2 .... passed (0.018 sec)
% [18/24] tabled_dynakicall..negation:ldynstrat0 .... passed (0.017 sec)
% [19/24] tabled_dynakicall..negation:ldynstrat1 .... passed (0.018 sec)
% [20/24] tabled_dynakicall..negation:ldynstrat2 .... passed (0.016 sec)
% [21/24] tabled_dynakicall..negation:ldynstrat3 .... passed (0.019 sec)
% [22/24] tabled_dynakicall..negation:ldynstrat4 .... passed (0.016 sec)
% [23/24] tabled_stratified_negation:mod1 ........... passed (0.008 sec)
% [24/24] tabled_misc_negation:q7 ................... passed (0.895 sec)
. done
Running scripts from delay_tests
% [1/87] delay_dynstrat:dynstrat1 ................... passed (0.056 sec)
% [2/87] delay_dynstrat:dynstrat2 ................... passed (0.030 sec)
% [3/87] delay_dynstrat:dynstrat3 ................... passed (0.022 sec)
% [4/87] delay_dynstrat:dynstrat4 ................... passed (0.020 sec)
% [5/87] delay_dynstrat:dynstrat5 ................... passed (0.011 sec)
% [6/87] delay_dynstrat:dynstrat6 ................... passed (0.009 sec)
% [7/87] delay_dynstrat:dynstrat7 ................... passed (0.009 sec)
% [8/87] delay_dynstrat:ross1 ....................... passed (0.006 sec)
% [9/87] delay_dynstrat:sel_unsusp .................. passed (0.008 sec)
% [10/87] delay_dynstrat:dl_dupl .................... passed (0.009 sec)
% [11/87] delay_dynstrat:asl_dupl ................... passed (0.009 sec)
% [12/87] delay_dynstrat:gfp ........................ passed (0.013 sec)
% [13/87] delay_old_failures:fr1 .................... passed (0.008 sec)
% [14/87] delay_old_failures:fr2 .................... passed (0.008 sec)
% [15/87] delay_old_failures:fr3 .................... passed (0.008 sec)
% [16/87] delay_old_failures:fr4 .................... passed (0.008 sec)
% [17/87] delay_old_failures:fr5 .................... passed (0.008 sec)
% [18/87] delay_old_failures:fr6 .................... passed (0.008 sec)
% [19/87] delay_old_failures:fr7 .................... passed (0.008 sec)
% [20/87] delay_old_failures:fr8 .................... passed (0.008 sec)
% [21/87] delay_old_failures:fr9 .................... passed (0.008 sec)
% [22/87] delay_old_failures:fr19 ................... passed (0.009 sec)
% [23/87] delay_old_failures:fr20 ................... passed (0.008 sec)
% [24/87] delay_old_failures:fr21 ................... passed (0.008 sec)
% [25/87] delay_old_failures:fr22 ................... passed (0.009 sec)
% [26/87] delay_old_failures:fr23 ................... passed (0.009 sec)
% [27/87] delay_old_failures:fr24 ................... passed (0.009 sec)
% [28/87] delay_old_failures:fr25 ................... passed (0.008 sec)
% [29/87] delay_old_failures:fr26 ................... passed (0.009 sec)
% [30/87] delay_old_failures:fr27 ................... passed (0.008 sec)
% [31/87] delay_old_failures:fr28 ................... passed (0.008 sec)
% [32/87] delay_old_failures:fr29 ................... passed (0.009 sec)
% [33/87] delay_old_failures:fr30 ................... passed (0.008 sec)
% [34/87] delay_old_segv:seg1 ....................... passed (0.009 sec)
% [35/87] delay_old_segv:seg2 ....................... passed (0.008 sec)
% [36/87] delay_old_segv:seg3 ....................... passed (0.009 sec)
% [37/87] delay_old_segv:seg4 ....................... passed (0.008 sec)
% [38/87] delay_old_segv:seg5 ....................... passed (0.009 sec)
% [39/87] delay_old_segv:fr24 ....................... passed (0.004 sec)
% [40/87] delay_interp:interp0 ...................... passed (0.007 sec)
% [41/87] delay_interp:interp1 ...................... passed (0.009 sec)
% [42/87] delay_interp:interp2 ...................... passed (0.009 sec)
% [43/87] delay_interp:interp4 ...................... passed (0.009 sec)
% [44/87] delay_interp:interp5 ...................... passed (0.009 sec)
% [45/87] delay_interp:interp6 ...................... passed (0.009 sec)
% [46/87] delay_interp:interp7 ...................... passed (0.009 sec)
% [47/87] delay_interp:interp8 ...................... passed (0.009 sec)
% [48/87] delay_interp:interp9 ...................... passed (0.009 sec)
% [49/87] delay_interp:interp10 ..................... passed (0.009 sec)
% [50/87] delay_interp:interp11 ..................... passed (0.012 sec)
% [51/87] delay_non_strat_neg:two_ary ............... passed (0.008 sec)
% [52/87] delay_non_strat_neg:abol_susp1 ............ passed (0.008 sec)
% [53/87] delay_non_strat_neg:abol_susp2 ............ passed (0.009 sec)
% [54/87] delay_non_strat_neg:przy1 ................. passed (0.009 sec)
% [55/87] delay_non_strat_neg:przy1_simp ............ passed (0.009 sec)
% [56/87] delay_non_strat_neg:nonstrat1 ............. passed (0.009 sec)
% [57/87] delay_non_strat_neg:nonstrat2 ............. passed (0.010 sec)
% [58/87] delay_wfs_neg:p1 .......................... passed (0.008 sec)
% [59/87] delay_wfs_neg:p2 .......................... passed (0.008 sec)
% [60/87] delay_wfs_neg:p3 .......................... passed (0.009 sec)
% [61/87] delay_wfs_neg:p4 .......................... passed (0.008 sec)
% [62/87] delay_wfs_neg:p5 .......................... passed (0.009 sec)
% [63/87] delay_wfs_neg:simpl_win ................... passed (0.008 sec)
% [64/87] delay_wfs_neg:win ......................... passed (0.009 sec)
% [65/87] delay_wfs_neg:cond_uncond ................. passed (0.011 sec)
% [66/87] delay_wfs_neg:ullman3 ..................... passed (0.012 sec)
% [67/87] delay_wfs_neg:undef1 ...................... passed (0.014 sec)
% [68/87] delay_wfs_neg:undef2 ...................... passed (0.009 sec)
% [69/87] delay_pos_simpl:pos_simpl1 ................ passed (0.009 sec)
% [70/87] delay_ac:weidong2 ......................... passed (0.008 sec)
% [71/87] delay_ac:weidong3 ......................... passed (0.008 sec)
% [72/87] delay_ac:weidong4 ......................... passed (0.009 sec)
% [73/87] delay_ac:weidong5 ......................... passed (0.008 sec)
% [74/87] delay_ac:weidong6 ......................... passed (0.008 sec)
% [75/87] delay_ac:weidong7 ......................... passed (0.010 sec)
% [76/87] delay_ac:weidong8 ......................... passed (0.009 sec)
% [77/87] delay_ac:interp12 ......................... passed (0.009 sec)
% [78/87] delay_ac:interp13 ......................... passed (0.009 sec)
% [79/87] delay_ac:interp14 ......................... passed (0.009 sec)
% [80/87] delay_ac:interp15 ......................... passed (0.009 sec)
% [81/87] delay_misc:avoid_flounder ................. passed (0.019 sec)
% [82/87] delay_misc:residual1 ...................... passed (0.033 sec)
% [83/87] delay_misc:fa ............................. passed (0.173 sec)
% [84/87] delay_misc:delay_var ...................... passed (0.225 sec)
% [85/87] delay_misc:tabsimp_seq .................... passed (0.374 sec)
% [86/87] delay_misc:wmay_winbug .................... passed (0.022 sec)
% [87/87] delay_misc:ac_tests ....................... passed (0.098 sec)
. done
Running scripts from wfs_tests
% [1/72] xsb_wfs:p06 ................................ passed (0.009 sec)
% [2/72] xsb_wfs:p07 ................................ passed (0.008 sec)
% [3/72] xsb_wfs:p08 ................................ passed (0.008 sec)
% [4/72] xsb_wfs:p09 ................................ passed (0.008 sec)
% [5/72] xsb_wfs:p10 ................................ passed (0.008 sec)
% [6/72] xsb_wfs:p11 ................................ passed (0.007 sec)
% [7/72] xsb_wfs:p12 ................................ passed (0.016 sec)
% [8/72] xsb_wfs:p13 ................................ passed (0.017 sec)
% [9/72] xsb_wfs:p14 ................................ passed (0.013 sec)
% [10/72] xsb_wfs:p15 ............................... passed (0.020 sec)
% [11/72] xsb_wfs:p16 ............................... passed (0.009 sec)
% [12/72] xsb_wfs:p17 ............................... passed (0.027 sec)
% [13/72] xsb_wfs:p18 ............................... passed (0.007 sec)
% [14/72] xsb_wfs:p19 ............................... passed (0.009 sec)
% [15/72] xsb_wfs:p20 ............................... passed (0.018 sec)
% [16/72] xsb_wfs:p21 ............................... passed (0.018 sec)
% [17/72] xsb_wfs:p22 ............................... passed (0.024 sec)
% [18/72] xsb_wfs:p23 ............................... passed (0.020 sec)
% [19/72] xsb_wfs:p24 ............................... passed (0.009 sec)
% [20/72] xsb_wfs:p25 ............................... passed (0.009 sec)
% [21/72] xsb_wfs:p26 ............................... passed (0.011 sec)
% [22/72] xsb_wfs:p27 ............................... passed (0.013 sec)
% [23/72] xsb_wfs:p29 ............................... passed (0.024 sec)
% [24/72] xsb_wfs:p30 ............................... passed (0.017 sec)
% [25/72] xsb_wfs:p31 ............................... passed (0.016 sec)
% [26/72] xsb_wfs:p32 ............................... passed (0.028 sec)
% [27/72] xsb_wfs:p33 ............................... passed (0.014 sec)
% [28/72] xsb_wfs:p34 ............................... passed (0.016 sec)
% [29/72] xsb_wfs:p35 ............................... passed (0.021 sec)
% [30/72] xsb_wfs:p36 ............................... passed (0.018 sec)
% [31/72] xsb_wfs:p37 ............................... passed (0.014 sec)
% [32/72] xsb_wfs:p39 ............................... passed (0.018 sec)
% [33/72] xsb_wfs:p40 ............................... passed (0.014 sec)
% [34/72] xsb_wfs:p42 ............................... passed (0.018 sec)
% [35/72] xsb_wfs:p43 ............................... passed (0.011 sec)
% [36/72] xsb_wfs:p44 ............................... passed (0.013 sec)
% [37/72] xsb_wfs:p45 ............................... passed (0.007 sec)
% [38/72] xsb_wfs:p46 ............................... passed (0.015 sec)
% [39/72] xsb_wfs:p47 ............................... passed (0.019 sec)
% [40/72] xsb_wfs:p48 ............................... passed (0.023 sec)
% [41/72] xsb_wfs:p49 ............................... passed (0.017 sec)
% [42/72] xsb_wfs:p50 ............................... passed (0.017 sec)
% [43/72] xsb_wfs:p51 ............................... passed (0.018 sec)
% [44/72] xsb_wfs:p52a .............................. passed (0.045 sec)
% [45/72] xsb_wfs:p52 ............................... passed (0.022 sec)
% [46/72] xsb_wfs:p53 ............................... passed (0.022 sec)
% [47/72] xsb_wfs:p54 ............................... passed (0.050 sec)
% [48/72] xsb_wfs:p55 ............................... passed (0.075 sec)
% [49/72] xsb_wfs:p56 ............................... passed (0.086 sec)
% [50/72] xsb_wfs:p57 ............................... passed (0.071 sec)
% [51/72] xsb_wfs:p58 ............................... passed (0.074 sec)
% [52/72] xsb_wfs:p59 ............................... passed (0.130 sec)
% [53/72] xsb_wfs:p60 ............................... passed (0.016 sec)
% [54/72] xsb_wfs:p62 ............................... passed (0.011 sec)
% [55/72] xsb_wfs:p63 ............................... passed (0.010 sec)
% [56/72] xsb_wfs:p64 ............................... passed (0.012 sec)
% [57/72] xsb_wfs:p65 ............................... passed (0.007 sec)
% [58/72] xsb_wfs:p66 ............................... passed (0.011 sec)
% [59/72] xsb_wfs:p67 ............................... passed (0.007 sec)
% [60/72] xsb_wfs:p77 ............................... passed (0.024 sec)
% [61/72] xsb_wfs:p78 ............................... passed (0.018 sec)
% [62/72] xsb_wfs:p79 ............................... passed (0.022 sec)
% [63/72] xsb_wfs:p80 ............................... passed (0.014 sec)
% [64/72] xsb_wfs:p81 ............................... passed (0.011 sec)
% [65/72] xsb_wfs:p82 ............................... passed (0.014 sec)
% [66/72] xsb_wfs:p83 ............................... passed (0.010 sec)
% [67/72] xsb_wfs:p84 ............................... passed (0.011 sec)
% [68/72] xsb_wfs:p85 ............................... passed (0.012 sec)
% [69/72] xsb_wfs:p86 ............................... passed (0.010 sec)
% [70/72] xsb_wfs:p89 ............................... passed (0.009 sec)
% [71/72] xsb_wfs:p90 ............................... passed (0.009 sec)
% [72/72] xsb_wfs:p91 ............................... passed (0.009 sec)
. done
Running scripts from table_tests
% [1/32] xsb_test_tables:abol_test .................. passed (0.014 sec)
% [2/32] xsb_test_tables:abol_test2 ................. passed (0.021 sec)
% [3/32] xsb_test_tables:abol_test2a ................ passed (0.011 sec)
% [4/32] xsb_test_tables:abol_test3 ................. passed (0.015 sec)
% [5/32] xsb_test_tables:abol_test3a ................ passed (0.015 sec)
% [6/32] xsb_test_tables:abol_test3b ................ passed (0.016 sec)
% [7/32] xsb_test_tables:abol_test3c ................ passed (0.049 sec)
% [8/32] xsb_test_tables:abolish_cascade ............ passed (0.097 sec)
% [9/32] xsb_test_tables:abolish_cascade_pred ....... passed (0.047 sec)
% [10/32] xsb_test_tables:abolish_cycle ............. passed (0.016 sec)
% [11/32] xsb_test_tables:abolish_dag ............... passed (0.023 sec)
% [12/32] xsb_test_tables:abolish_neg_cycle ......... passed (0.017 sec)
% [13/32] xsb_test_tables:abolish_neg_dag ........... passed (0.026 sec)
% [14/32] xsb_test_tables:atc_test .................. passed (0.069 sec)
% [15/32] xsb_test_tables:concomp ................... passed (0.446 sec)
% [16/32] xsb_test_tables:expand .................... passed (0.820 sec)
% [17/32] xsb_test_tables:ins ....................... passed (0.253 sec)
% [18/32] xsb_test_tables:large_arity_tables ........ passed (0.074 sec)
% [19/32] xsb_test_tables:lrbug ..................... passed (0.023 sec)
% [20/32] xsb_test_tables:pps ....................... passed (0.009 sec)
% [21/32] xsb_test_tables:pred_abolish_cycle ........ passed (0.063 sec)
% [22/32] xsb_test_tables:pred_abolish_dag .......... passed (0.077 sec)
% [23/32] xsb_test_tables:recursive_aboltest ........ passed (0.044 sec)
% [24/32] xsb_test_tables:tabbug1 ................... passed (0.014 sec)
% [25/32] xsb_test_tables:test_3vwfs_1 .............. passed (0.031 sec)
% [26/32] xsb_test_tables:test_calldepth ............ passed (0.030 sec)
% [27/32] xsb_test_tables:test_cyclic_tabling ....... passed (0.025 sec)
% [28/32] xsb_test_tables:t.._large_tabled_terms .... passed (0.700 sec)
% [29/32] xsb_test_tables:test_maxans_decl .......... passed (0.087 sec)
% [30/32] xsb_test_tables:test_negcycle ............. passed (0.018 sec)
% [31/32] xsb_test_tables:test_tda .................. passed (0.030 sec)
% [32/32] xsb_test_tables:test_tda_i ................ passed (0.031 sec)
. done
Running scripts from incremental_tests
% [1/15] xsb_test_incremental:incremental ........... passed (0.016 sec)
% [2/15] xsb_test_incremental:incremental1 .......... passed (0.017 sec)
% [3/15] xsb_test_incremental:inc_trie_dyn .......... passed (0.015 sec)
% [4/15] xsb_test_incremental:incremental_rule ...... passed (0.008 sec)
% [5/15] xsb_test_incremen..ncremental_rule_alt ..... passed (0.011 sec)
% [6/15] xsb_test_incremental:test_incr_depends ..... passed (0.011 sec)
% [7/15] xsb_test_incremen..test_incr_depends_2 ..... passed (0.015 sec)
% [8/15] xsb_test_incremental:test_inc_switch ....... passed (0.012 sec)
% [9/15] xsb_test_incremen..:test_sound_updates ..... passed (0.014 sec)
% [10/15] xsb_test_incremental:test_wfs_update ...... passed (0.033 sec)
% [11/15] xsb_test_incremental:incr_test_romero ..... passed (0.024 sec)
% [12/15] xsb_test_incremen..lish_nonincremental .... passed (0.028 sec)
% [13/15] xsb_test_incremental:inc_atc .............. passed (0.028 sec)
% [14/15] xsb_test_incremental:inc_atc_gc ........... passed (0.013 sec)
% [15/15] xsb_test_incremental:inc_atc_gc_tricky .... passed (0.083 sec)
. done
Running scripts from nonmt_tests
% [1/9] xsb_test_nonmt:test_iso_basic ............... passed (0.050 sec)
% [2/9] xsb_test_nonmt:test_iso_mult_visit .......... passed (0.045 sec)
% [3/9] xsb_test_nonmt:test_iso_hash ................ passed (0.027 sec)
% [4/9] xsb_test_nonmt:test_iso_undef ............... passed (0.015 sec)
% [5/9] xsb_test_nonmt:test_lazy .................... passed (0.019 sec)
% [6/9] xsb_test_nonmt:test_introspection ........... passed (0.030 sec)
% [7/9] xsb_test_nonmt:test_invalidate .............. passed (0.012 sec)
% [8/9] xsb_test_nonmt:cmu_sei_0050 ................. passed (0.010 sec)
% [9/9] xsb_test_nonmt:test_recomputable ............ passed (0.008 sec)
. done
Running scripts from sub_tests
% [1/36] xsb_sub:lrtc1 .............................. passed (0.017 sec)
% [2/36] xsb_sub:lrtc2 .............................. passed (0.015 sec)
% [3/36] xsb_sub:lrtc3 .............................. passed (0.014 sec)
% [4/36] xsb_sub:lrtc4 .............................. passed (0.017 sec)
% [5/36] xsb_sub:lrtc5 .............................. passed (0.017 sec)
% [6/36] xsb_sub:lrtc6 .............................. passed (0.013 sec)
% [7/36] xsb_sub:lrtc7 .............................. passed (0.016 sec)
% [8/36] xsb_sub:lrtc8 .............................. passed (0.016 sec)
% [9/36] xsb_sub:rrtc1 .............................. passed (0.014 sec)
% [10/36] xsb_sub:rrtc2 ............................. passed (0.013 sec)
% [11/36] xsb_sub:rrtc3 ............................. passed (0.013 sec)
% [12/36] xsb_sub:rrtc4 ............................. passed (0.014 sec)
% [13/36] xsb_sub:rrtc5 ............................. passed (0.013 sec)
% [14/36] xsb_sub:rrtc6 ............................. passed (0.014 sec)
% [15/36] xsb_sub:rrtc7 ............................. passed (0.029 sec)
% [16/36] xsb_sub:rrtc8 ............................. passed (0.017 sec)
% [17/36] xsb_sub:drtc1 ............................. passed (0.015 sec)
% [18/36] xsb_sub:drtc2 ............................. passed (0.014 sec)
% [19/36] xsb_sub:drtc3 ............................. passed (0.014 sec)
% [20/36] xsb_sub:drtc4 ............................. passed (0.016 sec)
% [21/36] xsb_sub:drtc5 ............................. passed (0.020 sec)
% [22/36] xsb_sub:drtc6 ............................. passed (0.023 sec)
% [23/36] xsb_sub:drtc7 ............................. passed (0.020 sec)
% [24/36] xsb_sub:drtc8 ............................. passed (0.021 sec)
% [25/36] xsb_sub:sg1 ............................... passed (0.016 sec)
% [26/36] xsb_sub:sg2 ............................... passed (0.015 sec)
% [27/36] xsb_sub:sg3 ............................... passed (0.015 sec)
% [28/36] xsb_sub:sg4 ............................... passed (0.020 sec)
% [29/36] xsb_sub:sg5 ............................... passed (0.016 sec)
% [30/36] xsb_sub:sg6 ............................... passed (0.016 sec)
% [31/36] xsb_sub:sg7 ............................... passed (0.018 sec)
% [32/36] xsb_sub:sg8 ............................... passed (0.019 sec)
% [33/36] xsb_sub:genome1 ........................... passed (0.016 sec)
% [34/36] xsb_sub:genome2 ........................... passed (0.016 sec)
% [35/36] xsb_sub:genome3 ........................... passed (0.023 sec)
% [36/36] xsb_sub:test_answer_abstraction ........... passed (0.034 sec)
. done
Running scripts from attv_tests
% [1/7] xsb_attv_tests:attv_test .................... passed (0.013 sec)
% [2/7] xsb_attv_tests:copyterm_attv ................ passed (0.015 sec)
% [3/7] xsb_attv_tests:fd1 .......................... passed (0.031 sec)
% [4/7] xsb_attv_tests:findall_attv ................. passed (0.019 sec)
% [5/7] xsb_attv_tests:general ...................... passed (0.025 sec)
% [6/7] xsb_attv_tests:interrupt1 ................... passed (0.020 sec)
% [7/7] xsb_attv_tests:ret_attv ..................... passed (0.017 sec)
. done
Running scripts from rational
% [1/45] ieee754:ieee_flags ......................... passed (0.000 sec)
% [2/45] ieee754:ieee_excp .......................... passed (0.000 sec)
% [3/45] ieee754:ieee_cmp ........................... passed (0.000 sec)
% [4/45] ieee754:ieee_tcmp .......................... passed (0.000 sec)
% [5/45] ieee754:ieee_minus ......................... passed (0.000 sec)
% [6/45] ieee754:ieee_add ........................... passed (0.000 sec)
% [7/45] ieee754:ieee_sub ........................... passed (0.000 sec)
% [8/45] ieee754:ieee_mul ........................... passed (0.000 sec)
% [9/45] ieee754:ieee_div ........................... passed (0.000 sec)
% [10/45] ieee754:ieee_sign ......................... passed (0.000 sec)
% [11/45] ieee754:ieee_parts ........................ passed (0.000 sec)
% [12/45] ieee754:ieee_acos ......................... passed (0.000 sec)
% [13/45] ieee754:ieee_asin ......................... passed (0.000 sec)
% [14/45] ieee754:ieee_atan ......................... passed (0.000 sec)
% [15/45] ieee754:ieee_atan2 ........................ passed (0.000 sec)
% [16/45] ieee754:ieee_cos .......................... passed (0.000 sec)
% [17/45] ieee754:ieee_sin .......................... passed (0.000 sec)
% [18/45] ieee754:ieee_tan .......................... passed (0.000 sec)
% [19/45] ieee754:ieee_acosh ........................ passed (0.000 sec)
% [20/45] ieee754:ieee_asinh ........................ passed (0.000 sec)
% [21/45] ieee754:ieee_atanh ........................ passed (0.000 sec)
% [22/45] ieee754:ieee_cosh ......................... passed (0.000 sec)
% [23/45] ieee754:ieee_sinh ......................... passed (0.000 sec)
% [24/45] ieee754:ieee_tanh ......................... passed (0.000 sec)
% [25/45] ieee754:ieee_exp .......................... passed (0.000 sec)
% [26/45] ieee754:ieee_log .......................... passed (0.000 sec)
% [27/45] ieee754:ieee_log10 ........................ passed (0.000 sec)
% [28/45] ieee754:ieee_abs .......................... passed (0.000 sec)
% [29/45] ieee754:ieee_pow .......................... passed (0.000 sec)
% [30/45] ieee754:ieee_sqrt ......................... passed (0.000 sec)
% [31/45] ieee754:ieee_erf .......................... passed (0.000 sec)
% [32/45] ieee754:ieee_erfc ......................... passed (0.000 sec)
% [33/45] ieee754:ieee_lgamma ....................... passed (0.000 sec)
% [34/45] ieee754:ieee_ceil ......................... passed (0.000 sec)
% [35/45] ieee754:ieee_floor ........................ passed (0.000 sec)
% [36/45] ieee754:ieee_round ........................ passed (0.000 sec)
% [37/45] ieee754:ieee_trunc ........................ passed (0.000 sec)
% [38/45] ieee754:ieee_copysign ..................... passed (0.000 sec)
% [39/45] ieee754:ieee_nexttoward ................... passed (0.000 sec)
% [40/45] ieee754:ieee_max .......................... passed (0.000 sec)
% [41/45] ieee754:ieee_min .......................... passed (0.000 sec)
% [42/45] ieee754:ieee_rmode ........................ passed (0.000 sec)
% [43/45] ieee754:float_to_rat ...................... passed (0.000 sec)
% [44/45] ieee754:ieee_rndto ........................ passed (0.000 sec)
% [45/45] ieee754:bounded ........................... passed (0.000 sec)
.
% [1/15] rational:filters ........................... passed (0.000 sec)
% [2/15] rational:construct ......................... passed (0.000 sec)
% [3/15] rational:compare ........................... passed (0.000 sec)
% [4/15] rational:keep_precision .................... passed (0.000 sec)
% [5/15] rational:conversion ........................ passed (0.000 sec)
% [6/15] rational:int_to_rat ........................ passed (0.000 sec)
% [7/15] rational:rat_to_rat ........................ passed (0.000 sec)
% [8/15] rational:pow_special ....................... passed (0.000 sec)
% [9/15] rational:other_arith ....................... passed (0.000 sec)
% [10/15] rational:strings .......................... passed (0.000 sec)
% [11/15] rational:io ............................... passed (0.000 sec)
% [12/15] rational:syntax_fail ...................... passed (0.000 sec)
% [13/15] rationalize:trip .......................... passed (0.000 sec)
% [14/15] rationalize:roundtrip_rational ............ passed (0.008 sec)
% [15/15] rationalize:roundtrip_rationalize ......... passed (0.011 sec)
.
% [1/5] cmpr:compare_modes .......................... passed (0.000 sec)
% [2/5] cmpr:compare_corners ........................ passed (0.000 sec)
% [3/5] cmpr:realerrors ............................. passed (0.000 sec)
% [4/5] cmpr:neg .................................... passed (0.000 sec)
% [5/5] maxminr:realmaxmin .......................... passed (0.000 sec)
. done
*** 1 tests failed ***
Saving _problems/test-rswipl-16.R
Start testing package chr:chr
Package chr:chr......................... passed 1.20 sec.
All tests passed
Start testing package sgml:sgml
Package sgml:sgml....................... passed 1.28 sec.
Start testing package sgml:sgml_write
Package sgml:sgml_write................. passed 1.24 sec.
Start testing package sgml:xsd
Package sgml:xsd........................ passed 1.27 sec.
Start testing package sgml:c14n
Package sgml:c14n....................... passed 1.29 sec.
All tests passed
[ FAIL 1 | WARN 0 | SKIP 0 | PASS 17 ]
══ Failed tests ════════════════════════════════════════════════════════════════
── Failure ('test-rswipl.R:16:3'): swipl is working ────────────────────────────
Expected `q` to equal `list()`.
Differences:
`actual` is a logical vector (FALSE)
`expected` is a list
[ FAIL 1 | WARN 0 | SKIP 0 | PASS 17 ]
Error:
! Test failures.
Execution halted
Flavor: r-devel-linux-x86_64-fedora-gcc
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