Check results for 'rswipl'

using R version 4.5.2 Patched (2026-01-31 r89382)
using platform: aarch64-apple-darwin20
R was compiled by Apple clang version 16.0.0 (clang-1600.0.26.6) GNU Fortran (GCC) 14.2.0
running under: macOS Ventura 13.7.8
using session charset: UTF-8
checking for file ‘rswipl/DESCRIPTION’ ... OK
checking extension type ... Package
this is package ‘rswipl’ version ‘10.1.6’
package encoding: UTF-8
checking package namespace information ... OK
checking package dependencies ... OK
checking if this is a source package ... OK
checking if there is a namespace ... OK
checking for executable files ... OK
checking for hidden files and directories ... OK
checking for portable file names ... OK
checking for sufficient/correct file permissions ... OK
checking whether package ‘rswipl’ can be installed ... [116s/137s] OK See the install log for details.
used C++ compiler: ‘Apple clang version 14.0.3 (clang-1403.0.22.14.1)’
used SDK: ‘MacOSX11.3.1.sdk’
checking installed package size ... INFO installed size is 39.5Mb sub-directories of 1Mb or more: swipl 39.0Mb
checking package directory ... OK
checking DESCRIPTION meta-information ... OK
checking top-level files ... OK
checking for left-over files ... OK
checking index information ... OK
checking package subdirectories ... OK
checking code files for non-ASCII characters ... OK
checking R files for syntax errors ... OK
checking whether the package can be loaded ... [0s/0s] OK
checking whether the package can be loaded with stated dependencies ... [0s/0s] OK
checking whether the package can be unloaded cleanly ... [0s/0s] OK
checking whether the namespace can be loaded with stated dependencies ... [0s/0s] OK
checking whether the namespace can be unloaded cleanly ... [0s/0s] OK
checking loading without being on the library search path ... [0s/0s] OK
checking whether startup messages can be suppressed ... [0s/0s] OK
checking dependencies in R code ... OK
checking S3 generic/method consistency ... OK
checking replacement functions ... OK
checking foreign function calls ... OK
checking R code for possible problems ... [1s/1s] OK
checking Rd files ... [0s/0s] OK
checking Rd metadata ... OK
checking Rd cross-references ... OK
checking for missing documentation entries ... OK
checking for code/documentation mismatches ... OK
checking Rd \usage sections ... OK
checking Rd contents ... OK
checking for unstated dependencies in examples ... OK
checking line endings in C/C++/Fortran sources/headers ... OK
checking line endings in Makefiles ... OK
checking compilation flags in Makevars ... OK
checking for GNU extensions in Makefiles ... INFO GNU make is a SystemRequirements.
checking for portable use of $(BLAS_LIBS) and $(LAPACK_LIBS) ... OK
checking use of PKG_*FLAGS in Makefiles ... OK
checking include directives in Makefiles ... OK
checking compiled code ... OK
checking examples ... [0s/0s] OK
checking for unstated dependencies in ‘tests’ ... OK
checking tests ... [24s/22s] ERROR Running ‘testthat.R’ [24s/22s] 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.278 sec) % [2/21] reconsult:add_clause ....................... passed (0.000 sec) % [3/21] reconsult:del_clause ....................... passed (0.000 sec) % [4/21] reconsult:del_clause_a ..................... passed (0.000 sec) % [5/21] reconsult:del_clause_z ..................... passed (0.000 sec) % [6/21] reconsult:replace_clause ................... passed (0.000 sec) % [7/21] reconsult:add_pred ......................... passed (0.000 sec) % [8/21] reconsult:del_pred ......................... passed (0.000 sec) % [9/21] reconsult:add_attr_end ..................... passed (0.000 sec) % [10/21] reconsult:del_attr_end .................... passed (0.000 sec) % [11/21] reconsult:del_dynamic ..................... passed (0.000 sec) % [12/21] reconsult:del_det ......................... passed (0.000 sec) % [13/21] reconsult:add_thread_local ................ passed (0.000 sec) % [14/21] reconsult:del_discontiguous ............... passed (0.000 sec) % [15/21] reconsult:add_meta_predicate .............. passed (0.000 sec) % [16/21] reconsult:del_meta_predicate .............. passed (0.000 sec) % [17/21] reconsult:del_export ...................... passed (0.000 sec) % [18/21] reconsult:reload_maplist .................. passed (0.001 sec) % [19/21] reconsult:mod_dynamic ..................... passed (0.001 sec) % [20/21] reconsult:goal_expansion .................. passed (0.001 sec) % [21/21] reconsult:keep_tabling .................... passed (0.001 sec) . % [1/15] sandbox:cleanup ............................ passed (0.000 sec) % [2/15] sandbox:time ............................... passed (0.000 sec) % [3/15] sandbox:setof .............................. passed (0.000 sec) % [4/15] sandbox:phrase ............................. passed (0.000 sec) % [5/15] sandbox:apply .............................. passed (0.000 sec) % [6/15] sandbox:aggregate .......................... passed (0.000 sec) % [7/15] sandbox:aggregate .......................... passed (0.000 sec) % [8/15] sandbox:dcg ................................ passed (0.000 sec) % [9/15] sandbox:contexr ............................ passed (0.000 sec) % [10/15] sandbox:assert ............................ passed (0.000 sec) % [11/15] sandbox:assert ............................ passed (0.000 sec) % [12/15] sandbox:predicate_property ................ passed (0.000 sec) % [13/15] sandbox:predicate_property ................ passed (0.000 sec) % [14/15] sandbox:flag .............................. passed (0.000 sec) % [15/15] sandbox:flag .............................. passed (0.000 sec) . done Running scripts from core % [1/52] acyclic_terms:var_is_acyclic ............... passed (0.000 sec) % [2/52] acyclic_terms:atom_is_acyclic .............. passed (0.000 sec) % [3/52] acyclic_terms:term_is_acyclic .............. passed (0.000 sec) % [4/52] acyclic_terms:sub_term_is_acyclic .......... passed (0.000 sec) % [5/52] acyclic_terms:sib..g_leaves_is_acyclic ..... passed (0.000 sec) % [6/52] acyclic_terms:sub..and_leaf_is_acyclic ..... passed (0.000 sec) % [7/52] acyclic_terms:lea.._subterm_is_acyclic ..... passed (0.000 sec) % [8/52] acyclic_terms:sib..ub_terms_is_acyclic ..... passed (0.000 sec) % [9/52] acyclic_terms:mul..ub_terms_is_acyclic ..... passed (0.000 sec) % [10/52] acyclic_terms:mul..ub_terms_is_acyclic .... passed (0.000 sec) % [11/52] acyclic_terms:shared_term_is_acyclic_1 .... passed (0.000 sec) % [12/52] acyclic_terms:shared_term_is_acyclic_2 .... passed (0.000 sec) % [13/52] acyclic_terms:shared_term_is_acyclic_3 .... passed (0.000 sec) % [14/52] acyclic_terms:shared_term_is_acyclic_4 .... passed (0.000 sec) % [15/52] acyclic_terms:zer..ity_term_is_acyclic .... passed (0.000 sec) % [16/52] acyclic_terms:zer..sub_term_is_acyclic .... passed (0.000 sec) % [17/52] acyclic_terms:zer..red_term_is_acyclic .... passed (0.000 sec) % [18/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.000 sec) % [19/52] acyclic_terms:dee..eft_term_is_acyclic .... passed (0.000 sec) % [20/52] acyclic_terms:dee..ght_term_is_acyclic .... passed (0.000 sec) % [21/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.001 sec) % [22/52] acyclic_terms:wid..ted_term_is_acyclic .... passed (0.008 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.007 sec) % [26/52] acyclic_terms:long_list_is_acyclic_2 ...... passed (0.007 sec) % [27/52] acyclic_terms:long_list_is_acyclic_3 ...... passed (0.007 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.001 sec) % [38/52] cyclic_terms:deep..ed_term_is_cyclic_2 .... passed (0.001 sec) % [39/52] cyclic_terms:wide..ed_term_is_cyclic_1 .... passed (0.008 sec) % [40/52] cyclic_terms:wide..ed_term_is_cyclic_2 .... passed (0.007 sec) % [41/52] cyclic_terms:list_is_cyclic ............... passed (0.000 sec) % [42/52] cyclic_terms:long_list_is_cyclic .......... passed (0.003 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.000 sec) % [2/14] answer:simple .............................. passed (0.000 sec) % [3/14] answer:separated ........................... passed (0.000 sec) % [4/14] answer:same ................................ passed (0.000 sec) % [5/14] answer:same ................................ passed (0.000 sec) % [6/14] answer:cycle ............................... passed (0.000 sec) % [7/14] answer:cycle ............................... passed (0.000 sec) % [8/14] answer:double_cycle ........................ passed (0.000 sec) % [9/14] answer:freeze .............................. passed (0.000 sec) % [10/14] answer:hidden1 ............................ passed (0.000 sec) % [11/14] answer:hidden2 ............................ passed (0.000 sec) % [12/14] answer:hidden3 ............................ passed (0.000 sec) % [13/14] answer:name_var ........................... passed (0.000 sec) % [14/14] answer:name_var ........................... passed (0.000 sec) . % [1/221] arith_basics:arith_1 ...................... passed (0.000 sec) % [2/221] arith_basics:arith_2 ...................... passed (0.000 sec) % [3/221] arith_basics:arith_3 ...................... passed (0.000 sec) % [4/221] arith_basics:arith_4 ...................... passed (0.000 sec) % [5/221] arith_basics:arith_5 ...................... passed (0.000 sec) % [6/221] arith_basics:arith_6 ...................... passed (0.000 sec) % [7/221] arith_basics:arith_7 ...................... passed (0.000 sec) % [8/221] arith_basics:arith_8 ...................... passed (0.000 sec) % [9/221] arith_basics:arith_9 ...................... passed (0.000 sec) % [10/221] arith_basics:arith_10 .................... passed (0.000 sec) % [11/221] arith_basics:float_fractional_part_1 ..... passed (0.000 sec) % [12/221] arith_basics:arith_11 .................... passed (0.000 sec) % [13/221] arith_basics:arith_12 .................... passed (0.000 sec) % [14/221] arith_basics:arith_13 .................... passed (0.000 sec) % [15/221] arith_basics:sign_1 ...................... passed (0.000 sec) % [16/221] arith_basics:sign_2 ...................... passed (0.000 sec) % [17/221] arith_basics:sign_3 ...................... passed (0.000 sec) % [18/221] arith_basics:copysign_1 .................. passed (0.000 sec) % [19/221] arith_basics:copysign_2 .................. passed (0.000 sec) % [20/221] arith_basics:copysign_3 .................. passed (0.000 sec) % [21/221] arith_basics:abs_1 ....................... passed (0.000 sec) % [22/221] arith_basics:floor_1 ..................... passed (0.000 sec) % [23/221] arith_basics:ceil_1 ...................... passed (0.000 sec) % [24/221] arith_basics:truncate_1 .................. passed (0.000 sec) % [25/221] arith_basics:floor_2 ..................... passed (0.000 sec) % [26/221] arith_basics:ceil_2 ...................... passed (0.000 sec) % [27/221] arith_basics:round_2 ..................... passed (0.000 sec) % [28/221] arith_basics:integer_2 ................... passed (0.000 sec) % [29/221] arith_basics:int_1 ....................... passed (0.000 sec) % [30/221] arith_basics:cmp_1 ....................... passed (0.000 sec) % [31/221] div:mod .................................. passed (0.000 sec) % [32/221] div:minint ............................... passed (0.000 sec) % [33/221] div:minint ............................... passed (0.000 sec) % [34/221] gdiv:minint .............................. passed (0.000 sec) % [35/221] rem:small ................................ passed (0.000 sec) % [36/221] rem:small_divneg ......................... passed (0.000 sec) % [37/221] rem:small_neg ............................ passed (0.000 sec) % [38/221] rem:big .................................. passed (0.000 sec) % [39/221] rem:big_neg .............................. passed (0.000 sec) % [40/221] rem:exhaust .............................. passed (0.000 sec) % [41/221] rem:big .................................. passed (0.000 sec) % [42/221] rem:allq ................................. passed (0.003 sec) % [43/221] mod:small ................................ passed (0.000 sec) % [44/221] mod:small_divneg ......................... passed (0.000 sec) % [45/221] mod:small_neg ............................ passed (0.000 sec) % [46/221] mod:big .................................. passed (0.000 sec) % [47/221] mod:big_neg .............................. passed (0.000 sec) % [48/221] mod:exhaust .............................. passed (0.000 sec) % [49/221] mod:big .................................. passed (0.000 sec) % [50/221] pow:rat .................................. passed (0.000 sec) % [51/221] pow:rat .................................. passed (0.000 sec) % [52/221] pow:rat .................................. passed (0.000 sec) % [53/221] pow:2^65 ................................. passed (0.000 sec) % [54/221] gcd:gcd .................................. passed (0.000 sec) % [55/221] gcd:gcd .................................. passed (0.000 sec) % [56/221] gcd:gcd .................................. passed (0.000 sec) % [57/221] shift:shift_right_large .................. passed (0.000 sec) % [58/221] shift:shift_right_large .................. passed (0.000 sec) % [59/221] shift:shift_right_large .................. passed (0.000 sec) % [60/221] shift:shift_right_large .................. passed (0.000 sec) % [61/221] shift:shift_left_large ................... passed (0.000 sec) % [62/221] errors:cyclic ............................ passed (0.000 sec) % [63/221] ar_builtin:a_add_fc_int .................. passed (0.000 sec) % [64/221] ar_builtin:a_add_fc_float ................ passed (0.000 sec) % [65/221] ar_builtin:a_fc_minus .................... passed (0.000 sec) % [66/221] eval:ref ................................. passed (0.000 sec) % [67/221] hyperbolic:sinh .......................... passed (0.000 sec) % [68/221] hyperbolic:cosh .......................... passed (0.000 sec) % [69/221] hyperbolic:tanh .......................... passed (0.000 sec) % [70/221] hyperbolic:asinh ......................... passed (0.000 sec) % [71/221] hyperbolic:acosh ......................... passed (0.000 sec) % [72/221] hyperbolic:atanh ......................... passed (0.000 sec) % [73/221] bigint:add_promote1 ...................... passed (0.000 sec) % [74/221] bigint:add_promote2 ...................... passed (0.000 sec) % [75/221] bigint:neg_1 ............................. passed (0.000 sec) % [76/221] bigint:neg_2 ............................. passed (0.000 sec) % [77/221] bigint:neg_promote ....................... passed (0.000 sec) % [78/221] bigint:abs_1 ............................. passed (0.000 sec) % [79/221] bigint:sign_1 ............................ passed (0.000 sec) % [80/221] bigint:floor_1 ........................... passed (0.000 sec) % [81/221] bigint:floor_2 ........................... passed (0.000 sec) % [82/221] bigint:ceil_1 ............................ passed (0.000 sec) % [83/221] bigint:ceil_2 ............................ passed (0.000 sec) % [84/221] bigint:msb_0 ............................. passed (0.000 sec) % [85/221] bigint:msb_1 ............................. passed (0.000 sec) % [86/221] bigint:msb_2 ............................. passed (0.000 sec) % [87/221] bigint:lsb_0 ............................. passed (0.000 sec) % [88/221] bigint:lsb_1 ............................. passed (0.000 sec) % [89/221] bigint:lsb_2 ............................. passed (0.000 sec) % [90/221] bigint:popcount_1 ........................ passed (0.000 sec) % [91/221] bigint:popcount_2 ........................ passed (0.000 sec) % [92/221] bigint:shift_1 ........................... passed (0.000 sec) % [93/221] bigint:shift_2 ........................... passed (0.000 sec) % [94/221] bigint:shift_3 ........................... passed (0.001 sec) % [95/221] bigint:fac_1 ............................. passed (0.000 sec) % [96/221] bigint:arith_1 ........................... passed (0.000 sec) % [97/221] bigint:pow_1 ............................. passed (0.000 sec) % [98/221] bigint:pow_2 ............................. passed (0.000 sec) % [99/221] bigint:pow_3 ............................. passed (0.000 sec) % [100/221] bigint:pow_4 ............................ passed (0.000 sec) % [101/221] bigint:pow_5 ............................ passed (0.000 sec) % [102/221] bigint:pow_6 ............................ passed (0.000 sec) % [103/221] bigint:pow_7 ............................ passed (0.000 sec) % [104/221] bigint:powm_1 ........................... passed (0.000 sec) % [105/221] bigint:powm_2 ........................... passed (0.000 sec) % [106/221] bigint:integer_1 ........................ passed (0.000 sec) % [107/221] bigint:integer_2 ........................ passed (0.000 sec) % [108/221] bigint:rational_1 ....................... passed (0.000 sec) % [109/221] bigint:rational_2 ....................... passed (0.000 sec) % [110/221] bigint:rational_3 ....................... passed (0.000 sec) % [111/221] bigint:rational_4 ....................... passed (0.000 sec) % [112/221] bigint:rationalize_1 .................... passed (0.000 sec) % [113/221] bigint:rationalize_2 .................... passed (0.000 sec) % [114/221] bigint:number_1 ......................... passed (0.000 sec) % [115/221] bigint:float_1 .......................... passed (0.000 sec) % [116/221] bigint:cmp_1 ............................ passed (0.000 sec) % [117/221] bigint:clause_1 ......................... passed (0.000 sec) % [118/221] bigint:comp_1 ........................... passed (0.001 sec) % [119/221] bigint:comp_2 ........................... passed (0.000 sec) % [120/221] bigint:rec_1 ............................ passed (0.001 sec) % [121/221] bigint:number_codes_1 ................... passed (0.000 sec) % [122/221] bigint:atom_number_1 .................... passed (0.000 sec) % [123/221] bigint:hex_1 ............................ passed (0.000 sec) % [124/221] bigint:fmtd_1 ........................... passed (0.000 sec) % [125/221] bigint:fmtd_2 ........................... passed (0.000 sec) % [126/221] bigint:fmtD_1 ........................... passed (0.000 sec) % [127/221] bigint:fmtD_2 ........................... passed (0.000 sec) % [128/221] bigint:fmtf_1 ........................... passed (0.012 sec) % [129/221] bigint:random ........................... passed (0.000 sec) % [130/221] bigint:length ........................... passed (0.000 sec) % [131/221] bigint:ar_add_ui ........................ passed (0.000 sec) % [132/221] bigint:bf_trig_alloc .................... passed (0.000 sec) % [133/221] minint:decimal .......................... passed (0.000 sec) % [134/221] minint:spaced_decimal ................... passed (0.000 sec) % [135/221] minint:binary ........................... passed (0.000 sec) % [136/221] minint:spaced_binary .................... passed (0.000 sec) % [137/221] minint:octal ............................ passed (0.000 sec) % [138/221] minint:spaced_octal ..................... passed (0.000 sec) % [139/221] minint:hexadecimal ...................... passed (0.000 sec) % [140/221] minint:spaced_hexadecimal ............... passed (0.000 sec) % [141/221] minint_promotion:decimal ................ passed (0.000 sec) % [142/221] minint_promotion:spaced_decimal ......... passed (0.000 sec) % [143/221] minint_promotion:binary ................. passed (0.000 sec) % [144/221] minint_promotion:spaced_binary .......... passed (0.000 sec) % [145/221] minint_promotion:octal .................. passed (0.000 sec) % [146/221] minint_promotion:spaced_octal ........... passed (0.000 sec) % [147/221] minint_promotion:hexadecimal ............ passed (0.000 sec) % [148/221] minint_promotion:spaced_hexadecimal ..... passed (0.000 sec) % [149/221] minint_promotion:mpz_to_int64 ........... passed (0.000 sec) % [150/221] minint_promotion:addition ............... passed (0.000 sec) % [151/221] minint_promotion:addition ............... passed (0.000 sec) % [152/221] minint_promotion:subtraction ............ passed (0.000 sec) % [153/221] minint_promotion:multiplication ......... passed (0.000 sec) % [154/221] minint_promotion:multiplication ......... passed (0.000 sec) % [155/221] minint_promotion:multiplication ......... passed (0.000 sec) % [156/221] maxint:decimal .......................... passed (0.000 sec) % [157/221] maxint:spaced_decimal ................... passed (0.000 sec) % [158/221] maxint:binary ........................... passed (0.000 sec) % [159/221] maxint:spaced_binary .................... passed (0.000 sec) % [160/221] maxint:octal ............................ passed (0.000 sec) % [161/221] maxint:spaced_octal ..................... passed (0.000 sec) % [162/221] maxint:hexadecimal ...................... passed (0.000 sec) % [163/221] maxint:spaced_hexadecimal ............... passed (0.000 sec) % [164/221] maxint_promotion:decimal ................ passed (0.000 sec) % [165/221] maxint_promotion:spaced_decimal ......... passed (0.000 sec) % [166/221] maxint_promotion:binary ................. passed (0.000 sec) % [167/221] maxint_promotion:spaced_binary .......... passed (0.000 sec) % [168/221] maxint_promotion:octal .................. passed (0.000 sec) % [169/221] maxint_promotion:spaced_octal ........... passed (0.000 sec) % [170/221] maxint_promotion:hexadecimal ............ passed (0.000 sec) % [171/221] maxint_promotion:spaced_hexadecimal ..... passed (0.000 sec) % [172/221] maxint_promotion:addition ............... passed (0.000 sec) % [173/221] maxint_promotion:addition ............... passed (0.000 sec) % [174/221] maxint_promotion:subtraction ............ passed (0.000 sec) % [175/221] maxint_promotion:multiplication ......... passed (0.000 sec) % [176/221] maxint_promotion:multiplication ......... passed (0.000 sec) % [177/221] maxint_promotion:multiplication ......... passed (0.000 sec) % [178/221] round:half_down ......................... passed (0.000 sec) % [179/221] round:nhalf_up .......................... passed (0.000 sec) % [180/221] round:maxint ............................ passed (0.000 sec) % [181/221] round:minint ............................ passed (0.000 sec) % [182/221] float_misc:float_1 ...................... passed (0.000 sec) % [183/221] float_misc:float_2 ...................... passed (0.000 sec) % [184/221] float_misc:float_3 ...................... passed (0.000 sec) % [185/221] float_misc:float_4 ...................... passed (0.000 sec) % [186/221] float_misc:float_5 ...................... passed (0.000 sec) % [187/221] float_misc:float_6 ...................... passed (0.000 sec) % [188/221] float_misc:float_7 ...................... passed (0.000 sec) % [189/221] float_misc:float_8 ...................... passed (0.000 sec) % [190/221] float_overflow:max ...................... passed (0.000 sec) % [191/221] float_overflow:add ...................... passed (0.000 sec) % [192/221] float_overflow:minus .................... passed (0.000 sec) % [193/221] float_overflow:mul ...................... passed (0.000 sec) % [194/221] float_overflow:div ...................... passed (0.000 sec) % [195/221] float_overflow:div ...................... passed (0.000 sec) % [196/221] float_zero:eq ........................... passed (0.000 sec) % [197/221] float_zero:lt ........................... passed (0.000 sec) % [198/221] float_zero:gt ........................... passed (0.000 sec) % [199/221] float_zero:eq ........................... passed (0.000 sec) % [200/221] float_zero:lt ........................... passed (0.000 sec) % [201/221] float_zero:gt ........................... passed (0.000 sec) % [202/221] float_zero:cmp .......................... passed (0.000 sec) % [203/221] float_zero:cmp .......................... passed (0.000 sec) % [204/221] float_special:cmp ....................... passed (0.000 sec) % [205/221] float_compare:max_nan ................... passed (0.000 sec) % [206/221] float_compare:max_nan ................... passed (0.000 sec) % [207/221] float_compare:min_nan ................... passed (0.000 sec) % [208/221] float_compare:min_nan ................... passed (0.000 sec) % [209/221] arith_misc:string ....................... passed (0.000 sec) % [210/221] arith_misc:float_rval ................... passed (0.000 sec) % [211/221] arith_misc:float_rval ................... passed (0.000 sec) % [212/221] max_integer_size:set .................... passed (0.000 sec) % [213/221] max_integer_size:overflow ............... passed (0.000 sec) % [214/221] moded_int:between_1 ..................... passed (0.000 sec) % [215/221] moded_int:between_2 ..................... passed (0.000 sec) % [216/221] moded_int:between_3 ..................... passed (0.000 sec) % [217/221] moded_int:between_4 ..................... passed (0.000 sec) % [218/221] moded_int:succ_1 ........................ passed (0.000 sec) % [219/221] moded_int:succ_2 ........................ passed (0.000 sec) % [220/221] moded_int:succ_3 ........................ passed (0.000 sec) % [221/221] moded_int:plus_1 ........................ passed (0.000 sec) . % [1/4] bags:nsols .................................. passed (0.000 sec) % [2/4] bags:nsols_nested ........................... passed (0.000 sec) % [3/4] bags:nsols_commit ........................... passed (0.000 sec) % [4/4] bags:agc .................................... passed (0.023 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.044 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.029 sec) . % [1/11] continuation:basic ......................... passed (0.000 sec) % [2/11] continuation:sum ........................... passed (0.000 sec) % [3/11] continuation:sum ........................... passed (0.000 sec) % [4/11] continuation:sum ........................... passed (0.000 sec) % [5/11] continuation:play .......................... passed (0.000 sec) % [6/11] continuation:transducer .................... passed (0.000 sec) % [7/11] continuation:ifthen ........................ passed (0.000 sec) % [8/11] continuation:mcall2 ........................ passed (0.000 sec) % [9/11] continuation:test_cref ..................... passed (0.001 sec) % [10/11] continuation:context ...................... passed (0.000 sec) % [11-1/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-2/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-3/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-4/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-5/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-6/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-7/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-8/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-9/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-10/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-11/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-12/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-13/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-14/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-15/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-16/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-17/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-18/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-19/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-20/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-21/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-22/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-23/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-24/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-25/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-26/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-27/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-28/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-29/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-30/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-31/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-32/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-33/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-34/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-35/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-36/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-37/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-38/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-39/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-40/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-41/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-42/11] fast_heap:fast_heap .................... passed (0.000 sec) . % [1/11] copy_term:share ............................ passed (0.000 sec) % [2/11] copy_term:cycle ............................ passed (0.000 sec) % [3/11] copy_term_4:share .......................... passed (0.000 sec) % [4/11] copy_term_4:share .......................... passed (0.000 sec) % [5/11] copy_term_4:attvar ......................... passed (0.000 sec) % [6/11] copy_term_4:attvar ......................... passed (0.000 sec) % [7/11] copy_term_4:attvar ......................... passed (0.000 sec) % [8/11] copy_term_4:attvar ......................... passed (0.000 sec) % [9/11] copy_term_4:cycle .......................... passed (0.000 sec) % [10/11] copy_term_nat_4:attvar .................... passed (0.000 sec) % [11/11] copy_term_nat_4:attvar .................... passed (0.000 sec) . % [1/12] coroutining:frozen ......................... passed (0.000 sec) % [2/12] coroutining:frozen_diff .................... passed (0.000 sec) % [3/12] coroutining:frozen_clpfd ................... passed (0.000 sec) % [4/12] coroutining:when1 .......................... passed (0.000 sec) % [5/12] coroutining:when2 .......................... passed (0.000 sec) % [6/12] coroutining:when3 .......................... passed (0.000 sec) % [7/12] coroutining:when4_inf ...................... passed (0.000 sec) % [8/12] coroutining:when5_r ........................ passed (0.000 sec) % [9/12] coroutining:when6 .......................... passed (0.000 sec) % [10/12] coroutining:when7 ......................... passed (0.000 sec) % [11/12] coroutining:when8 ......................... passed (0.000 sec) % [12/12] coroutining:when8 ......................... passed (0.000 sec) . % [1/42] expand_goal:1 .............................. passed (0.000 sec) % [2/42] expand_goal:3 .............................. passed (0.000 sec) % [3/42] expand_goal:nonlin ......................... passed (0.000 sec) % [4/42] expand_goal:nonlin ......................... passed (0.000 sec) % [5/42] expand_goal:5 .............................. passed (0.000 sec) % [6/42] expand_goal:6 .............................. passed (0.000 sec) % [7/42] expand_goal:t .............................. passed (0.000 sec) % [8/42] expand_goal:t .............................. passed (0.000 sec) % [9/42] phrase:iso_8_1_1_3 ......................... passed (0.000 sec) % [10/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) % [11/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) % [12/42] phrase:iso_8_1_1_3_OPEN ................... passed (0.000 sec) % [13/42] phrase:iso_8_1_1_3_OPEN ................... passed (0.000 sec) % [14/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) % [15/42] phrase:uniso_8_1_1_3 ...................... passed (0.000 sec) % [16/42] phrase:iso1 ............................... passed (0.000 sec) % [17/42] phrase:uwn2 ............................... passed (0.000 sec) % [18/42] phrase:uwn3 ............................... passed (0.000 sec) % [19/42] phrase:uwn4 ............................... passed (0.000 sec) % [20/42] phrase:partial_terminal ................... passed (0.000 sec) % [21/42] rule_expansions:1 ......................... passed (0.000 sec) % [22/42] rule_expansions:2 ......................... passed (0.000 sec) % [23/42] dcg_rule_expansions:1 ..................... passed (0.000 sec) % [24/42] dcg_rule_expansions:2 ..................... passed (0.000 sec) % [25/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) % [26/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) % [27/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) % [28/42] dcg_rule_expansions:meta1 ................. passed (0.000 sec) % [29/42] steadfastness:cut1_a ...................... passed (0.000 sec) % [30/42] steadfastness:cut1_b ...................... passed (0.000 sec) % [31/42] steadfastness:curlycut_a .................. passed (0.000 sec) % [32/42] steadfastness:curlycut_b .................. passed (0.000 sec) % [33/42] steadfastness:not1_a ...................... passed (0.000 sec) % [34/42] steadfastness:not1_b ...................... passed (0.000 sec) % [35/42] steadfastness:not2_a ...................... passed (0.000 sec) % [36/42] steadfastness:not2_b ...................... passed (0.000 sec) % [37/42] context:steadfastness ..................... passed (0.000 sec) % [38/42] context:generalcontext .................... passed (0.000 sec) % [39/42] context:epsilonness ....................... passed (0.000 sec) % [40/42] context:epsilonness ....................... passed (0.000 sec) % [41/42] context:vd ................................ passed (0.000 sec) % [42/42] context:forprogrammers .................... passed (0.000 sec) . % [1/2] prolog_frame_attribute:none ................. passed (0.000 sec) % [2/2] prolog_frame_attribute:foreign_choice ....... passed (0.000 sec) . % [1/22] det_decl:det ............................... passed (0.000 sec) % [2/22] det_decl:cdet .............................. passed (0.000 sec) % [3/22] det_decl:cdet2 ............................. passed (0.000 sec) % [4/22] det_decl:nondet_1 .......................... passed (0.000 sec) % [5/22] det_decl:nondet_2 .......................... passed (0.000 sec) % [6/22] det_decl:nondet_3 .......................... passed (0.000 sec) % [7/22] det_decl:fail_1 ............................ passed (0.000 sec) % [8/22] det_decl:fail_2 ............................ passed (0.000 sec) % [9/22] det_decl:fail_3 ............................ passed (0.000 sec) % [10/22] det_guard:det ............................. passed (0.000 sec) % [11/22] det_guard:ndet ............................ passed (0.000 sec) % [12/22] det_guard:ndet ............................ passed (0.000 sec) % [13/22] det_guard:fail ............................ passed (0.000 sec) % [14/22] det_guard:fail ............................ passed (0.000 sec) % [15/22] det_goal:det .............................. passed (0.000 sec) % [16/22] det_goal:ndet ............................. passed (0.000 sec) % [17/22] det_goal:ndet ............................. passed (0.000 sec) % [18/22] det_goal:fail ............................. passed (0.000 sec) % [19/22] det_goal:fail ............................. passed (0.000 sec) % [20/22] det_goal:ndetv ............................ passed (0.000 sec) % [21/22] det_goal:ndetv ............................ passed (0.000 sec) % [22/22] det_goal:ndetv ............................ passed (0.000 sec) . % [1/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [2/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [3/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [4/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [5/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [6/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [7/88] dict_create:create ......................... passed (0.003 sec) % [8/88] dict_create:convert ........................ passed (0.000 sec) % [9/88] dict_bips:is_dict/1 ........................ passed (0.000 sec) % [10/88] dict_bips:is_dict/1 ....................... passed (0.000 sec) % [11/88] dict_bips:is_dict/2 ....................... passed (0.000 sec) % [12/88] dict_bips:is_dict/2 ....................... passed (0.000 sec) % [13/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [14/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [15/88] dict_bips:dict_pairs_duplicate_key ........ passed (0.000 sec) % [16/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [17/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [18/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [19/88] dict_bips:get_dict/3 ...................... passed (0.000 sec) % [20/88] dict_bips:get_dict/3 ...................... passed (0.000 sec) % [21/88] dict_bips:get_dict/3 ...................... passed (0.000 sec) % [22/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [23/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [24/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [25/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [26/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [27/88] dict_bips:put_dict/4 ...................... passed (0.000 sec) % [28/88] dict_bips:put_dict/4 ...................... passed (0.000 sec) % [29/88] dict_bips:put_dict/4 ...................... passed (0.000 sec) % [30/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [31/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [32/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [33/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [34/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [35/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [36/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [37/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [38/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [39/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [40/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [41/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [42/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [43/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [44/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [45/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [46/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [47/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [48/88] dict_bips::</2 ............................ passed (0.000 sec) % [49/88] dict_bips::</2 ............................ passed (0.000 sec) % [50/88] dict_bips:>:</2 ........................... passed (0.000 sec) % [51/88] dict_bips:>:</2 ........................... passed (0.000 sec) % [52/88] dict_bips:>:</2 ........................... passed (0.000 sec) % [53/88] dict_bips:>:</2 ........................... passed (0.000 sec) % [54/88] dict_bips:>:</2 ........................... passed (0.000 sec) % [55/88] dict_bips:>:</2 ........................... passed (0.000 sec) % [56/88] dict_bips:put ............................. passed (0.000 sec) % [57/88] dict_bips:put ............................. passed (0.000 sec) % [58/88] dict_bips:put ............................. passed (0.000 sec) % [59/88] dict_bips:select .......................... passed (0.000 sec) % [60/88] dict_bips:select .......................... passed (0.000 sec) % [61/88] dict_bips:select .......................... passed (0.000 sec) % [62/88] dict_bips:same_keys ....................... passed (0.000 sec) % [63/88] dict_bips:same_keys ....................... passed (0.000 sec) % [64/88] dict_bips:same_keys ....................... passed (0.000 sec) % [65/88] dict_bips:same_keys ....................... passed (0.000 sec) % [66/88] dict_bips:same_keys ....................... passed (0.000 sec) % [67/88] dict_bips:same_keys ....................... passed (0.000 sec) % [68/88] dict_dot3:field ........................... passed (0.000 sec) % [69/88] dict_dot3:field ........................... passed (0.000 sec) % [70/88] dict_dot3:no_field ........................ passed (0.000 sec) % [71/88] dict_dot3:no_dict ......................... passed (0.000 sec) % [72/88] dict_overflow:put ......................... passed (0.013 sec) % [73/88] dict_overflow:select ...................... passed (0.013 sec) % [74/88] expand_functions:field .................... passed (0.000 sec) % [75/88] expand_functions:conj ..................... passed (0.000 sec) % [76/88] expand_functions:meta ..................... passed (0.000 sec) % [77/88] expand_functions:forall ................... passed (0.000 sec) % [78/88] expand_functions:findall .................. passed (0.000 sec) % [79/88] expand_functions:bagof .................... passed (0.000 sec) % [80/88] expand_functions:head ..................... passed (0.000 sec) % [81/88] expand_functions:put ...................... passed (0.000 sec) % [82/88] expand_functions:put2 ..................... passed (0.000 sec) % [83/88] expand_functions:metaarg .................. passed (0.000 sec) % [84/88] define_functions:na ....................... passed (0.000 sec) % [85/88] define_functions:aa ....................... passed (0.000 sec) % [86/88] define_functions:a2 ....................... passed (0.000 sec) % [87/88] define_functions:qna ...................... passed (0.000 sec) % [88/88] define_functions:qa2 ...................... passed (0.000 sec) . % [1/1] env:long .................................... passed (0.000 sec) . % [1/6] throw:error ................................. passed (0.000 sec) % [2/6] throw:ground ................................ passed (0.000 sec) % [3/6] throw:unbound ............................... passed (0.000 sec) % [4/6] throw:cyclic ................................ passed (0.000 sec) % [5/6] ex_coroutining:not .......................... passed (0.000 sec) % [6/6] ex_coroutining:non_unify .................... passed (0.000 sec) . % [1/8] expand:cond_dcg ............................. passed (0.000 sec) % [2/8] expand:make_dcg ............................. passed (0.000 sec) % [3/8] expand:chained_term_expansion ............... passed (0.000 sec) % [4/8] expand:meta_arg ............................. passed (0.000 sec) % [5/8] expand:goal_expansion_local_pred ............ passed (0.000 sec) % [6/8] expand:expand_once .......................... passed (0.000 sec) % [7/8] expand:ssu_body ............................. passed (0.000 sec) % [8/8] expand:ssu_guard ............................ passed (0.000 sec) . % [1/9] factorize:simple ............................ passed (0.005 sec) % [2/9] factorize:simple ............................ passed (0.000 sec) % [3/9] factorize:cyclic ............................ passed (0.000 sec) % [4/9] factorize:double ............................ passed (0.000 sec) % [5/9] factorize:double_cyclic ..................... passed (0.000 sec) % [6/9] factorize:double_cyclic ..................... passed (0.000 sec) % [7/9] factorize:double_cyclic ..................... passed (0.000 sec) % [8/9] factorize:double_cyclic ..................... passed (0.000 sec) % [9/9] factorize:fumo .............................. passed (0.000 sec) . % [1/3] fastrw:serialize ............................ passed (0.000 sec) % [2/3] fastrw:fastrw ............................... passed (0.001 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.000 sec) % [2/15] gc_leak:early_reset ........................ passed (0.000 sec) % [3/15] gc_leak:throw_gc ........................... passed (0.005 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.000 sec) % [8/15] gc_crash:c_cut ............................. passed (0.000 sec) % [9/15] gc_crash:cleanup_shift ..................... passed (0.129 sec) % [10/15] gc_crash2:cleanup ......................... passed (0.000 sec) % [11/15] gc_mark:s_list ............................ passed (0.001 sec) % [12/15] gc_mark:s_fredo ........................... passed (0.000 sec) % [13/15] gc_mark:c_ifthen .......................... passed (0.000 sec) % [14/15] gc_mark:b_neq_vv .......................... passed (0.000 sec) % [15/15] agc:usercall .............................. passed (0.002 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.002 sec) % [2/2] call_with_inference_limit:retry ............. passed (0.001 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.006 sec) . % [1/1] memberchk:memberchk ......................... passed (0.000 sec) . % [1/97] locale:current ............................. passed (0.000 sec) % [2/97] locale:property ............................ passed (0.000 sec) % [3/97] locale:property ............................ passed (0.000 sec) % [4/97] locale:property ............................ passed (0.000 sec) % [5/97] locale:create .............................. passed (0.000 sec) % [6/97] locale:group ............................... passed (0.000 sec) % [7/97] locale:group ............................... passed (0.000 sec) % [8/97] locale:group ............................... passed (0.000 sec) % [9/97] locale:group ............................... passed (0.000 sec) % [10/97] locale:group .............................. passed (0.000 sec) % [11/97] locale:group .............................. passed (0.000 sec) % [12/97] locale:group .............................. passed (0.000 sec) % [13/97] locale:group .............................. passed (0.000 sec) % [14/97] locale:group .............................. passed (0.000 sec) % [15/97] locale:group .............................. passed (0.000 sec) % [16/97] locale:group .............................. passed (0.000 sec) % [17/97] locale:group .............................. passed (0.000 sec) % [18/97] locale:group .............................. passed (0.000 sec) % [19/97] locale:group .............................. passed (0.000 sec) % [20/97] locale:group .............................. passed (0.000 sec) % [21/97] locale:group .............................. passed (0.000 sec) % [22/97] locale:group .............................. passed (0.000 sec) % [23/97] locale:group .............................. passed (0.000 sec) % [24/97] locale:group .............................. passed (0.000 sec) % [25/97] locale:group .............................. passed (0.000 sec) % [26/97] locale:group .............................. passed (0.000 sec) % [27/97] locale:group .............................. passed (0.000 sec) % [28/97] locale:group .............................. passed (0.000 sec) % [29/97] locale:group .............................. passed (0.000 sec) % [30/97] locale:group .............................. passed (0.000 sec) % [31/97] locale:group .............................. passed (0.000 sec) % [32/97] locale:group .............................. passed (0.000 sec) % [33/97] locale:group .............................. passed (0.000 sec) % [34/97] locale:group .............................. passed (0.000 sec) % [35/97] locale:group .............................. passed (0.000 sec) % [36/97] locale:group .............................. passed (0.000 sec) % [37/97] locale:group .............................. passed (0.000 sec) % [38/97] locale:group .............................. passed (0.000 sec) % [39/97] locale:group .............................. passed (0.000 sec) % [40/97] locale:group .............................. passed (0.000 sec) % [41/97] locale:group .............................. passed (0.000 sec) % [42/97] locale:group .............................. passed (0.000 sec) % [43/97] locale:group .............................. passed (0.000 sec) % [44/97] locale:group .............................. passed (0.000 sec) % [45/97] locale:group .............................. passed (0.000 sec) % [46/97] locale:group .............................. passed (0.000 sec) % [47/97] locale:group .............................. passed (0.000 sec) % [48/97] locale:group .............................. passed (0.000 sec) % [49/97] locale:group .............................. passed (0.000 sec) % [50/97] locale:group .............................. passed (0.000 sec) % [51/97] locale:group .............................. passed (0.000 sec) % [52/97] locale:group .............................. passed (0.000 sec) % [53/97] locale:group .............................. passed (0.000 sec) % [54/97] locale:group .............................. passed (0.000 sec) % [55/97] locale:group .............................. passed (0.000 sec) % [56/97] locale:group .............................. passed (0.000 sec) % [57/97] locale:group .............................. passed (0.000 sec) % [58/97] locale:group .............................. passed (0.000 sec) % [59/97] locale:group .............................. passed (0.000 sec) % [60/97] locale:group .............................. passed (0.000 sec) % [61/97] locale:group .............................. passed (0.000 sec) % [62/97] locale:group .............................. passed (0.000 sec) % [63/97] locale:group .............................. passed (0.000 sec) % [64/97] locale:group .............................. passed (0.000 sec) % [65/97] locale:group .............................. passed (0.000 sec) % [66/97] locale:group .............................. passed (0.000 sec) % [67/97] locale:group .............................. passed (0.000 sec) % [68/97] locale:group .............................. passed (0.000 sec) % [69/97] locale:group .............................. passed (0.000 sec) % [70/97] locale:group .............................. passed (0.000 sec) % [71/97] locale:group .............................. passed (0.000 sec) % [72/97] locale:group .............................. passed (0.000 sec) % [73/97] locale:group .............................. passed (0.000 sec) % [74/97] locale:group .............................. passed (0.000 sec) % [75/97] locale:group .............................. passed (0.000 sec) % [76/97] locale:group .............................. passed (0.000 sec) % [77/97] locale:group .............................. passed (0.000 sec) % [78/97] locale:group .............................. passed (0.000 sec) % [79/97] locale:group .............................. passed (0.000 sec) % [80/97] locale:group .............................. passed (0.000 sec) % [81/97] locale:group .............................. passed (0.000 sec) % [82/97] locale:group .............................. passed (0.000 sec) % [83/97] locale:group .............................. passed (0.000 sec) % [84/97] locale:group .............................. passed (0.000 sec) % [85/97] locale:group .............................. passed (0.000 sec) % [86/97] locale:group .............................. passed (0.000 sec) % [87/97] locale:group .............................. passed (0.000 sec) % [88/97] locale:group .............................. passed (0.000 sec) % [89/97] locale:group .............................. passed (0.000 sec) % [90/97] locale:group .............................. passed (0.000 sec) % [91/97] locale:group .............................. passed (0.000 sec) % [92/97] locale:group .............................. passed (0.000 sec) % [93/97] locale:group .............................. passed (0.000 sec) % [94/97] locale:group .............................. passed (0.000 sec) % [95/97] locale:group .............................. passed (0.000 sec) % [96/97] locale:group .............................. passed (0.000 sec) % [97/97] locale:group .............................. passed (0.000 sec) . % [1/10] meta_predicate:qualify ..................... passed (0.000 sec) % [2/10] meta_predicate:qualify ..................... passed (0.000 sec) % [3/10] meta_predicate:qualify ..................... passed (0.000 sec) % [4/10] meta_predicate:qualify ..................... passed (0.000 sec) % [5/10] meta_predicate:qualify ..................... passed (0.000 sec) % [6/10] meta_predicate:qualify ..................... passed (0.000 sec) % [7/10] meta_predicate:alias ....................... passed (0.000 sec) % [8/10] meta_predicate:alias2 ...................... passed (0.000 sec) % [9/10] meta_predicate:i_departm ................... passed (0.000 sec) % [10/10] meta_predicate:backtrack .................. passed (0.000 sec) . % [1/3] misc:read_only_flag ......................... passed (0.000 sec) % [2/3] misc:cut_to ................................. passed (0.000 sec) % [3/3] misc:cut_to_cleanup ......................... passed (0.000 sec) . % [1/12] moved_unify_ubody:h_list_ff ................ passed (0.000 sec) % [2/12] moved_decompile:decom1 ..................... passed (0.000 sec) % [3/12] moved_decompile:decomp2 .................... passed (0.000 sec) % [4/12] moved_decompile:decomp3 .................... passed (0.000 sec) % [5/12] moved_decompile:decomp4 .................... passed (0.000 sec) % [6/12] moved_decompile:decomp5 .................... passed (0.000 sec) % [7/12] moved_decompile:decomp6 .................... passed (0.000 sec) % [8/12] moved_decompile:decomp7 .................... passed (0.000 sec) % [9/12] moved_decompile:decomp8 .................... passed (0.000 sec) % [10/12] moved_decompile:decomp9 ................... passed (0.000 sec) % [11/12] moved_decompile:run9 ...................... passed (0.000 sec) % [12/12] moved_decompile:decomp9 ................... passed (0.000 sec) . % [1/9] unify_with_occurs_check:simple_1 ............ passed (0.000 sec) % [2/9] unify_with_occurs_check:simple_2 ............ passed (0.000 sec) % [3/9] unify_with_occurs_check:attvar_1 ............ passed (0.000 sec) % [4/9] unify_with_occurs_check:attvar_2 ............ passed (0.000 sec) % [5/9] unify_with_occurs_check:attvar_3 ............ passed (0.000 sec) % [6/9] unify_with_occurs_check:attvar_4 ............ passed (0.000 sec) % [7/9] occurs_check_fail:unify ..................... passed (0.000 sec) % [8/9] occurs_check_fail:unify ..................... passed (0.000 sec) % [9/9] occurs_check_fail:unifiable ................. passed (0.000 sec) . % [1/11] current_op:plus ............................ passed (0.000 sec) % [2/11] current_op:no_atom ......................... passed (0.000 sec) % [3/11] current_op:no_atom ......................... passed (0.000 sec) % [4/11] current_op:bad_type ........................ passed (0.000 sec) % [5/11] current_op:bad_precedence .................. passed (0.000 sec) % [6/11] current_op:bad_precedence .................. passed (0.000 sec) % [7/11] current_op:inherit ......................... passed (0.000 sec) % [8/11] op_syntax:parse ............................ passed (0.000 sec) % [9/11] op_syntax:parse ............................ passed (0.000 sec) % [10/11] op_syntax:parse ........................... passed (0.000 sec) % [11/11] op_syntax:parse ........................... passed (0.000 sec) . % [1/15] prolog_flags:type .......................... passed (0.000 sec) % [2/15] prolog_flags:invalid ....................... passed (0.000 sec) % [3/15] prolog_flags:preset_bool ................... passed (0.000 sec) % [4/15] prolog_flags:preset_new_flag ............... passed (0.000 sec) % [5/15] prolog_flags:preset_to_bool ................ passed (0.000 sec) % [6/15] prolog_flags:preset_to_float ............... passed (0.000 sec) % [7/15] prolog_flags:preset_oneof_1 ................ passed (0.000 sec) % [8/15] prolog_flags:preset_oneof_2 ................ passed (0.000 sec) % [9/15] prolog_flags:preset_oneof_3 ................ passed (0.000 sec) % [10/15] prolog_flags:preset_atom_to_int ........... passed (0.000 sec) % [11/15] prolog_flags:preset_bool_to_term .......... passed (0.000 sec) % [12/15] thread_prolog_fla..ate_local_in_thread .... passed (0.000 sec) % [13/15] thread_prolog_fla..set_local_in_thread .... passed (0.000 sec) % [14/15] thread_prolog_fla..et_global_in_thread .... passed (0.000 sec) % [15/15] thread_prolog_fla.._global_in_thread_2 .... passed (0.000 sec) . % [1/6] prolog_listen:at_exit_option ................ passed (0.000 sec) % [2/6] prolog_listen:local_at_exit_event ........... passed (0.000 sec) % [3/6] prolog_listen:global_at_exit_event .......... passed (0.013 sec) % [4/6] prolog_listen:erase_clause .................. passed (0.000 sec) % [5/6] prolog_listen:erase_record .................. passed (0.000 sec) % [6/6] prolog_listen:update ........................ passed (0.000 sec) . % [1/15] qualified_calls:colon ...................... passed (0.000 sec) % [2/15] qualified_calls:colonc ..................... passed (0.000 sec) % [3/15] qualified_calls:colonv ..................... passed (0.000 sec) % [4/15] qualified_calls:coloncv .................... passed (0.000 sec) % [5/15] qualified_calls:at ......................... passed (0.000 sec) % [6/15] qualified_calls:vat ........................ passed (0.000 sec) % [7/15] qualified_calls:atv ........................ passed (0.000 sec) % [8/15] qualified_calls:atvv ....................... passed (0.000 sec) % [9/15] qualified_calls:atvvv ...................... passed (0.000 sec) % [10/15] qualified_calls:atvvv ..................... passed (0.000 sec) % [11/15] qualified_calls:localv .................... passed (0.000 sec) % [12/15] qualified_calls:localv .................... passed (0.000 sec) % [13/15] qualified_calls:local_argvar .............. passed (0.000 sec) % [14/15] qualified_calls:local_argvar .............. passed (0.000 sec) % [15/15] qualified_calls:lproc ..................... passed (0.000 sec) . % [1/2] quasi_quotations:simple ..................... passed (0.000 sec) % [2/2] quasi_quotations:error ...................... passed (0.000 sec) . % [1/3] random:state ................................ passed (0.000 sec) % [2-1/3] random:random_subseq ...................... passed (0.000 sec) % [2-2/3] random:random_subseq ...................... passed (0.000 sec) % [2-3/3] random:random_subseq ...................... passed (0.000 sec) % [2-4/3] random:random_subseq ...................... passed (0.000 sec) % [2-5/3] random:random_subseq ...................... passed (0.000 sec) % [2-6/3] random:random_subseq ...................... passed (0.000 sec) % [2-7/3] random:random_subseq ...................... passed (0.000 sec) % [3-1/3] random:random_numlist ..................... passed (0.000 sec) % [3-2/3] random:random_numlist ..................... passed (0.000 sec) % [3-3/3] random:random_numlist ..................... passed (0.000 sec) % [3-4/3] random:random_numlist ..................... passed (0.000 sec) % [3-5/3] random:random_numlist ..................... passed (0.000 sec) % [3-6/3] random:random_numlist ..................... passed (0.000 sec) % [3-7/3] random:random_numlist ..................... passed (0.000 sec) . % [1/28] read_term:singletons ....................... passed (0.000 sec) % [2/28] read_term:warn_singletons .................. passed (0.000 sec) % [3/28] read_term:position ......................... passed (0.000 sec) % [4/28] read_term:valid_position_var ............... passed (0.000 sec) % [5/28] read_term:valid_position_atom .............. passed (0.000 sec) % [6/28] read_term:valid_position_number1 ........... passed (0.000 sec) % [7/28] read_term:valid_position_number2 ........... passed (0.000 sec) % [8/28] read_term:valid_position_string_string ..... passed (0.000 sec) % [9/28] read_term:valid_position_string_codes ...... passed (0.000 sec) % [10/28] read_term:valid_position_string_chars ..... passed (0.000 sec) % [11/28] read_term:valid_position_string_atom ...... passed (0.000 sec) % [12/28] read_term:valid_position_nil .............. passed (0.000 sec) % [13/28] read_term:valid_position_braces ........... passed (0.000 sec) % [14/28] read_term:valid_position_braces1 .......... passed (0.000 sec) % [15/28] read_term:valid_position_braces2 .......... passed (0.000 sec) % [16/28] read_term:valid_position_braces3 .......... passed (0.000 sec) % [17/28] read_term:valid_position_term1 ............ passed (0.000 sec) % [18/28] read_term:valid_position_term2 ............ passed (0.000 sec) % [19/28] read_term:valid_position_term2 ............ passed (0.000 sec) % [20/28] read_term:valid_position_dict1 ............ passed (0.000 sec) % [21/28] read_term:valid_position_dict2 ............ passed (0.000 sec) % [22/28] read_term:valid_position_dict3 ............ passed (0.000 sec) % [23/28] read_op:modify ............................ passed (0.000 sec) % [24/28] read_op:minus_block ....................... passed (0.000 sec) % [25/28] read_op:modify_block ...................... passed (0.000 sec) % [26/28] read_op:pos_block ......................... passed (0.000 sec) % [27/28] read_numbers:float_overflow ............... passed (0.000 sec) % [28/28] read_numbers:float_overflow ............... passed (0.000 sec) . % [1/9] test_read_attvar:attr ....................... passed (0.000 sec) % [2/9] test_read_attvar:attr ....................... passed (0.000 sec) % [3/9] test_read_attvar:attr ....................... passed (0.000 sec) % [4/9] test_read_attvar:attr ....................... passed (0.000 sec) % [5/9] test_read_labeled:label ..................... passed (0.000 sec) % [6/9] test_read_labeled:label ..................... passed (0.000 sec) % [7/9] test_read_labeled:label ..................... passed (0.000 sec) % [8/9] test_read_failure:fail ...................... passed (0.000 sec) % [9/9] test_read_failure:fail ...................... passed (0.000 sec) . % [1/7] resource_error:local ........................ passed (0.001 sec) % [2/7] resource_error:global ....................... passed (0.001 sec) % [3/7] resource_error:string ....................... passed (0.019 sec) % [4/7] resource_error:string ....................... passed (0.011 sec) % [5/7] resource_error:length ....................... passed (0.000 sec) % [6/7] resource_error:tight_stacks ................. passed (0.001 sec) % [7/7] resource_error:cleanup_handler .............. passed (0.000 sec) . % [1/12] scan_options:process ....................... passed (0.000 sec) % [2/12] scan_options:implicit_true ................. passed (0.000 sec) % [3/12] scan_options:no_option ..................... passed (0.000 sec) % [4/12] scan_options:bad_value_type ................ passed (0.000 sec) % [5/12] scan_options:bad_type ...................... passed (0.000 sec) % [6/12] scan_options:bad_type ...................... passed (0.000 sec) % [7/12] scan_options:instantiation ................. passed (0.000 sec) % [8/12] scan_options:instantiation ................. passed (0.000 sec) % [9/12] scan_options:instantiation ................. passed (0.000 sec) % [10/12] dict_option:process ....................... passed (0.000 sec) % [11/12] dict_option:bad_value_type ................ passed (0.000 sec) % [12/12] dict_option:no_option ..................... passed (0.000 sec) . % [1/1] signals:sync ................................ passed (0.000 sec) . % [1/9] skip_list:empty_list ........................ passed (0.000 sec) % [2/9] skip_list:proper_list_small ................. passed (0.000 sec) % [3/9] skip_list:proper_list_long .................. passed (0.000 sec) % [4/9] skip_list:partial_list ...................... passed (0.000 sec) % [5/9] skip_list:cyclic_list ....................... passed (0.000 sec) % [6/9] skip_list:cyclic_list_long .................. passed (0.000 sec) % [7/9] skip_list:not_a_list_1 ...................... passed (0.000 sec) % [8/9] skip_list:not_a_list_2 ...................... passed (0.000 sec) % [9/9] skip_list:not_a_list_3 ...................... passed (0.000 sec) . % [1/36] sort:empty ................................. passed (0.000 sec) % [2/36] sort:unique ................................ passed (0.000 sec) % [3/36] sort:instantiation ......................... passed (0.000 sec) % [4/36] sort:type .................................. passed (0.000 sec) % [5/36] sort:cyclic ................................ passed (0.000 sec) % [6/36] sort:reserved .............................. passed (0.000 sec) % [7/36] msort:empty ................................ passed (0.000 sec) % [8/36] msort:unique ............................... passed (0.000 sec) % [9/36] msort:instantiation ........................ passed (0.000 sec) % [10/36] msort:type ................................ passed (0.000 sec) % [11/36] msort:cyclic .............................. passed (0.000 sec) % [12/36] keysort:empty ............................. passed (0.000 sec) % [13/36] keysort:instantiation ..................... passed (0.000 sec) % [14/36] keysort:type .............................. passed (0.000 sec) % [15/36] keysort:cyclic ............................ passed (0.000 sec) % [16/36] keysort:element ........................... passed (0.000 sec) % [17/36] keysort:element ........................... passed (0.000 sec) % [18/36] sort4:zero ................................ passed (0.000 sec) % [19/36] sort4:zero ................................ passed (0.000 sec) % [20/36] sort4:zero ................................ passed (0.000 sec) % [21/36] sort4:zero ................................ passed (0.000 sec) % [22/36] sort4:one ................................. passed (0.000 sec) % [23/36] sort4:one ................................. passed (0.000 sec) % [24/36] sort4:one ................................. passed (0.000 sec) % [25/36] sort4:list ................................ passed (0.000 sec) % [26/36] sort4:list ................................ passed (0.000 sec) % [27/36] sort4:list ................................ passed (0.000 sec) % [28/36] sort4:dict ................................ passed (0.000 sec) % [29/36] sort4:key ................................. passed (0.000 sec) % [30/36] sort4:key ................................. passed (0.000 sec) % [31/36] sort4:order ............................... passed (0.000 sec) % [32/36] sort4:order ............................... passed (0.000 sec) % [33/36] sort4:list ................................ passed (0.000 sec) % [34/36] sort4:list ................................ passed (0.000 sec) % [35/36] sort4:dict ................................ passed (0.000 sec) % [36/36] sort4:dict ................................ passed (0.000 sec) . % [1/27] string:number_string ....................... passed (0.000 sec) % [2/27] string:number_string ....................... passed (0.000 sec) % [3/27] string:number_string ....................... passed (0.000 sec) % [4/27] string:number_string ....................... passed (0.000 sec) % [5/27] string:number_string ....................... passed (0.000 sec) % [6/27] string:string_codes ........................ passed (0.000 sec) % [7/27] string:string_codes ........................ passed (0.000 sec) % [8/27] string:string_chars ........................ passed (0.000 sec) % [9/27] string:split_string ........................ passed (0.000 sec) % [10/27] string:split_string ....................... passed (0.000 sec) % [11/27] string:split_string ....................... passed (0.000 sec) % [12/27] string:split_string ....................... passed (0.000 sec) % [13/27] string:string_lower ....................... passed (0.000 sec) % [14/27] string:string_upper ....................... passed (0.000 sec) % [15/27] string:string_upper ....................... passed (0.000 sec) % [16/27] string_bytes:aap .......................... passed (0.000 sec) % [17/27] string_bytes:aap .......................... passed (0.000 sec) % [18/27] string_bytes:aap .......................... passed (0.000 sec) % [19/27] string_bytes:aap .......................... passed (0.000 sec) % [20/27] string_bytes:aap .......................... passed (0.000 sec) % [21/27] string_bytes:aap .......................... passed (0.000 sec) % [22/27] string_bytes:hello ........................ passed (0.000 sec) % [23/27] string_bytes:hello ........................ passed (0.000 sec) % [24/27] string_bytes:hello ........................ passed (0.000 sec) % [25/27] string_bytes:hello ........................ passed (0.000 sec) % [26/27] string_bytes:hello ........................ passed (0.000 sec) % [27/27] string_bytes:hello ........................ passed (0.000 sec) . % [1/19] subsumes:simple_true ....................... passed (0.000 sec) % [2/19] subsumes:simple_false ...................... passed (0.000 sec) % [3/19] subsumes:double ............................ passed (0.000 sec) % [4/19] subsumes:shared_true ....................... passed (0.000 sec) % [5/19] subsumes:shared_false ...................... passed (0.000 sec) % [6/19] subsumes:shared_false_2 .................... passed (0.000 sec) % [7/19] subsumes:shared_false_3 .................... passed (0.000 sec) % [8/19] subsumes:shared_false_4 .................... passed (0.000 sec) % [9/19] subsumes:shared_true_4 ..................... passed (0.000 sec) % [10/19] subsumes:cyclic1 .......................... passed (0.000 sec) % [11/19] subsumes:cyclic2 .......................... passed (0.000 sec) % [12/19] subsumes:cyclic_fail ...................... passed (0.000 sec) % [13/19] subsumes:cyclic_fail_1 .................... passed (0.000 sec) % [14/19] subsumes:cyclic_fail_2 .................... passed (0.000 sec) % [15/19] subsumes:shared_g_s_1 ..................... passed (0.000 sec) % [16/19] subsumes_term:simple ...................... passed (0.000 sec) % [17/19] subsumes_term:min ......................... passed (0.000 sec) % [18/19] subsumes_term:sharing ..................... passed (0.000 sec) % [19/19] subsumes_term:occurs ...................... passed (0.000 sec) . % [1/38] syntax:op_1 ................................ passed (0.000 sec) % [2/38] syntax:op_2 ................................ passed (0.000 sec) % [3/38] syntax:op_3 ................................ passed (0.000 sec) % [4/38] syntax:op_4 ................................ passed (0.000 sec) % [5/38] syntax:op_5 ................................ passed (0.000 sec) % [6/38] syntax:op_6 ................................ passed (0.000 sec) % [7/38] syntax:op_7 ................................ passed (0.000 sec) % [8/38] syntax:op_8 ................................ passed (0.000 sec) % [9/38] syntax:atom_1 .............................. passed (0.000 sec) % [10/38] syntax:char_1 ............................. passed (0.000 sec) % [11/38] syntax:char_2 ............................. passed (0.000 sec) % [12/38] syntax:char_3 ............................. passed (0.000 sec) % [13/38] syntax:char_4 ............................. passed (0.000 sec) % [14/38] syntax:cannot_start_term_1 ................ passed (0.000 sec) % [15/38] syntax:string_1 ........................... passed (0.000 sec) % [16/38] syntax:string_2 ........................... passed (0.000 sec) % [17/38] syntax:quote_1 ............................ passed (0.000 sec) % [18/38] syntax:quote_2 ............................ passed (0.000 sec) % [19/38] syntax:quote_3 ............................ passed (0.000 sec) % [20/38] syntax:quote_4 ............................ passed (0.000 sec) % [21/38] syntax:quote_5 ............................ passed (0.000 sec) % [22/38] syntax:quote_6 ............................ passed (0.000 sec) % [23/38] syntax:quote_7 ............................ passed (0.000 sec) % [24/38] syntax:base_1 ............................. passed (0.000 sec) % [25/38] syntax:base_2 ............................. passed (0.000 sec) % [26/38] syntax:base_3 ............................. passed (0.000 sec) % [27/38] syntax:base_4 ............................. passed (0.000 sec) % [28/38] syntax:base_5 ............................. passed (0.000 sec) % [29/38] syntax:number_2 ........................... passed (0.000 sec) % [30/38] syntax:neg_base ........................... passed (0.000 sec) % [31/38] syntax:zero_1 ............................. passed (0.000 sec) % [32/38] syntax:latin_1 ............................ passed (0.000 sec) % [33/38] iso_op_table_6:r1 ......................... passed (0.000 sec) % [34/38] iso_op_table_6:r2 ......................... passed (0.000 sec) % [35/38] iso_op_table_6:r3 ......................... passed (0.000 sec) % [36/38] iso_op_table_6:r4 ......................... passed (0.000 sec) % [37/38] iso_op_table_6:r5 ......................... passed (0.000 sec) % [38/38] iso_op_table_6:r6 ......................... passed (0.000 sec) . % [1/55] numbervars:single .......................... passed (0.000 sec) % [2/55] numbervars:single_s ........................ passed (0.000 sec) % [3/55] numbervars:single_offset ................... passed (0.000 sec) % [4/55] numbervars:single_lr ....................... passed (0.000 sec) % [5/55] numbervars:single_lr ....................... passed (0.000 sec) % [6/55] numbervars:neg ............................. passed (0.000 sec) % [7/55] numbervars:shared .......................... passed (0.000 sec) % [8/55] numbervars:shared_s ........................ passed (0.000 sec) % [9/55] numbervars:cyclic .......................... passed (0.000 sec) % [10/55] numbervars:cyclic_s ....................... passed (0.000 sec) % [11/55] numbervars:twice_singleton ................ passed (0.000 sec) % [12/55] numbervars:shift .......................... passed (0.002 sec) % [13/55] variant:simple ............................ passed (0.000 sec) % [14/55] variant:shared ............................ passed (0.000 sec) % [15/55] variant:shared ............................ passed (0.000 sec) % [16/55] variant:shared ............................ passed (0.000 sec) % [17/55] variant:shared ............................ passed (0.000 sec) % [18/55] variant:shared ............................ passed (0.000 sec) % [19/55] variant:dubious ........................... passed (0.000 sec) % [20/55] variant:common ............................ passed (0.000 sec) % [21/55] variant:common ............................ passed (0.000 sec) % [22/55] variant:common ............................ passed (0.000 sec) % [23/55] variant:cyclic ............................ passed (0.000 sec) % [24/55] variant:cyclic ............................ passed (0.000 sec) % [25/55] variant:cyclic ............................ passed (0.000 sec) % [26/55] variant:cyclic ............................ passed (0.000 sec) % [27/55] variant:shared ............................ passed (0.000 sec) % [28/55] variant:cycle ............................. passed (0.000 sec) % [29/55] variant:symmetry .......................... passed (0.000 sec) % [30/55] variant:symmetry .......................... passed (0.000 sec) % [31/55] variant:ground ............................ passed (0.000 sec) % [32/55] variant:sharing_cycles .................... passed (0.000 sec) % [33/55] variant:cycle_with_prefix ................. passed (0.000 sec) % [34/55] variant:attvar ............................ passed (0.000 sec) % [35/55] variant:attvar ............................ passed (0.000 sec) % [36/55] compound:functor .......................... passed (0.000 sec) % [37/55] compound:=.. .............................. passed (0.000 sec) % [38/55] compound:=.. .............................. passed (0.000 sec) % [39/55] compound:compound_name_arity .............. passed (0.000 sec) % [40/55] compound:compound_name_arity .............. passed (0.000 sec) % [41/55] compound:compound_name_arity .............. passed (0.000 sec) % [42/55] compound:compound_name_arity .............. passed (0.000 sec) % [43/55] compound:compound_name_arguments .......... passed (0.000 sec) % [44/55] compound:compound_name_arguments .......... passed (0.000 sec) % [45/55] zero_arity_compound:clause ................ passed (0.000 sec) % [46/55] zero_arity_compound:clause ................ passed (0.000 sec) % [47/55] zero_arity_compound:clause ................ passed (0.000 sec) % [48/55] zero_arity_compound:clause ................ passed (0.000 sec) % [49/55] zero_arity_compound:clause ................ passed (0.000 sec) % [50/55] term_singletons:out ....................... passed (0.000 sec) % [51/55] term_singletons:out ....................... passed (0.000 sec) % [52/55] term_singletons:out ....................... passed (0.000 sec) % [53/55] term_singletons:out ....................... passed (0.000 sec) % [54/55] term_singletons:out ....................... passed (0.000 sec) % [55/55] term_singletons:out ....................... passed (0.000 sec) . % [1/75] char_code:ascii ............................ passed (0.000 sec) % [2/75] char_code:ascii ............................ passed (0.000 sec) % [3/75] char_code:wide ............................. passed (0.000 sec) % [4/75] char_code:wide ............................. passed (0.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.001 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.001 sec) . % [1/8] varprops:simple ............................. passed (0.000 sec) % [2/8] varprops:not ................................ passed (0.000 sec) % [3/8] varprops:not ................................ passed (0.000 sec) % [4/8] varprops:disjunct ........................... passed (0.000 sec) % [5/8] varprops:disjunct ........................... passed (0.000 sec) % [6/8] varprops:disjunct ........................... passed (0.000 sec) % [7/8] varprops:disjunct ........................... passed (0.000 sec) % [8/8] varprops:disjunct ........................... passed (0.000 sec) . % [1/85] portray:exception .......................... passed (0.000 sec) % [2/85] portray:blob ............................... passed (0.000 sec) % [3/85] write_op:nodict ............................ passed (0.000 sec) % [4/85] write_canonical:numbervars ................. passed (0.000 sec) % [5/85] write_canonical:numbervars ................. passed (0.000 sec) % [6/85] write_canonical:numbervars ................. passed (0.000 sec) % [7/85] write_canonical:dot_in_atom ................ passed (0.000 sec) % [8/85] write_canonical:dot_in_atom ................ passed (0.000 sec) % [9/85] write_canonical:varname .................... passed (0.000 sec) % [10/85] write_canonical:braceterm ................. passed (0.000 sec) % [11/85] write_canonical:braceterm ................. passed (0.000 sec) % [12/85] write_canonical:quote ..................... passed (0.000 sec) % [13/85] write_canonical:quote ..................... passed (0.001 sec) % [14/85] write_quoted:comment ...................... passed (0.000 sec) % [15/85] write_quoted:comment ...................... passed (0.000 sec) % [16/85] write_quoted:comment ...................... passed (0.000 sec) % [17/85] write_quoted:comment ...................... passed (0.000 sec) % [18/85] write_quoted:escape ....................... passed (0.000 sec) % [19/85] write_quoted:escape ....................... passed (0.000 sec) % [20/85] write_quoted:escape ....................... passed (0.000 sec) % [21/85] write_quoted:escape ....................... passed (0.000 sec) % [22/85] write_quoted:space ........................ passed (0.000 sec) % [23/85] write_quoted:backslash .................... passed (0.000 sec) % [24/85] write_quoted:backslash .................... passed (0.000 sec) % [25/85] write_variable_names:variable_names ....... passed (0.000 sec) % [26/85] write_variable_names:variable_names ....... passed (0.000 sec) % [27/85] write_variable_names:variable_names ....... passed (0.000 sec) % [28/85] write_variable_names:variable_names ....... passed (0.000 sec) % [29/85] write_variable_names:variable_names ....... passed (0.000 sec) % [30/85] write_variable_names:variable_names ....... passed (0.000 sec) % [31/85] write_variable_names:variable_names ....... passed (0.000 sec) % [32/85] write_variable_names:variable_names ....... passed (0.000 sec) % [33/85] write_float:nan ........................... passed (0.000 sec) % [34/85] write_misc:q_1 ............................ passed (0.000 sec) % [35/85] write_misc:q_2 ............................ passed (0.000 sec) % [36/85] write_misc:q_3 ............................ passed (0.000 sec) % [37/85] write_misc:q_4 ............................ passed (0.000 sec) % [38/85] write_misc:q_5 ............................ passed (0.000 sec) % [39/85] write_misc:q_6 ............................ passed (0.000 sec) % [40/85] write_misc:q_7 ............................ passed (0.000 sec) % [41/85] write_misc:q_8 ............................ passed (0.000 sec) % [42/85] write_misc:q_9 ............................ passed (0.000 sec) % [43/85] write_misc:op_1 ........................... passed (0.000 sec) % [44/85] write_misc:op_2 ........................... passed (0.000 sec) % [45/85] write_misc:op_3 ........................... passed (0.000 sec) % [46/85] write_misc:c_1 ............................ passed (0.000 sec) % [47/85] write_misc:s_1 ............................ passed (0.000 sec) % [48/85] max_text:string ........................... passed (0.000 sec) % [49/85] max_text:string ........................... passed (0.000 sec) % [50/85] max_text:string ........................... passed (0.000 sec) % [51/85] max_text:string ........................... passed (0.000 sec) % [52/85] max_text:string ........................... passed (0.000 sec) % [53/85] max_text:string ........................... passed (0.000 sec) % [54/85] max_text:atom ............................. passed (0.000 sec) % [55/85] max_text:atom ............................. passed (0.000 sec) % [56/85] max_text:atom ............................. passed (0.000 sec) % [57/85] max_text:atom ............................. passed (0.000 sec) % [58/85] max_text:atom ............................. passed (0.000 sec) % [59/85] write_size:atom ........................... passed (0.000 sec) % [60/85] write_size:compound ....................... passed (0.000 sec) % [61/85] write_size:empty_atom ..................... passed (0.000 sec) % [62/85] write_size:empty_atom_unquoted ............ passed (0.000 sec) % [63/85] write_size:trailing_newline ............... passed (0.000 sec) % [64/85] write_size:newline ........................ passed (0.000 sec) % [65/85] write_size:newlines ....................... passed (0.000 sec) % [66/85] write_size:max_width_exact ................ passed (0.000 sec) % [67/85] write_size:max_width_overflow ............. passed (0.000 sec) % [68/85] write_size:max_width_loose ................ passed (0.000 sec) % [69/85] write_size:max_height_single .............. passed (0.000 sec) % [70/85] write_size:max_height_exact ............... passed (0.000 sec) % [71/85] write_size:max_height_overflow ............ passed (0.000 sec) % [72/85] write_size:combining ...................... passed (0.000 sec) % [73/85] write_size:combining_stack ................ passed (0.000 sec) % [74/85] write_size:cjk ............................ passed (0.000 sec) % [75/85] write_size:cjk_pair ....................... passed (0.000 sec) % [76/85] write_size:emoji_vs16 ................... **FAILED (0.000 sec) ERROR: [Thread main] /Volumes/Builds/packages/big-sur-arm64/results/4.5/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/core/test_write.pl:367: ERROR: [Thread main] test write_size:emoji_vs16: ERROR: [Thread main] wrong answer (compared using ==) ERROR: [Thread main] Expected: 2-1 ERROR: [Thread main] Got: 0-0 % [77/85] write_size:mixed .......................... passed (0.000 sec) % [78/85] write_size:long ........................... passed (0.000 sec) % [79/85] write_size:long_max_exact ................. passed (0.000 sec) % [80/85] write_size:long_max_overflow .............. passed (0.000 sec) % [81/85] write_size:long_multiline ................. passed (0.000 sec) % [82/85] write_size:long_m..max_height_overflow .... passed (0.000 sec) % [83/85] write_size:surrogate_split .............. **FAILED (0.000 sec) ERROR: [Thread main] /Volumes/Builds/packages/big-sur-arm64/results/4.5/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/core/test_write.pl:412: ERROR: [Thread main] test write_size:surrogate_split: ERROR: [Thread main] wrong answer (compared using ==) ERROR: [Thread main] Expected: 101-1 ERROR: [Thread main] Got: 99-1 % [84/85] write_size:surrogate_split_max_exact .... **FAILED (0.000 sec) ERROR: [Thread main] /Volumes/Builds/packages/big-sur-arm64/results/4.5/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/core/test_write.pl:417: ERROR: [Thread main] test write_size:surrogate_split_max_exact: ERROR: [Thread main] wrong answer (compared using ==) ERROR: [Thread main] Expected: 101-1 ERROR: [Thread main] Got: 99-1 % [85/85] write_size:surrog.._split_max_overflow .. **FAILED (0.000 sec) ERROR: [Thread main] /Volumes/Builds/packages/big-sur-arm64/results/4.5/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/core/test_write.pl:422: ERROR: [Thread main] test write_size:surrogate_split_max_overflow: succeeded ERROR: [Thread main] 4 tests failed Script /Volumes/Builds/packages/big-sur-arm64/results/4.5/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/core/test_write.pl failed 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.027 sec) % [9/18] call_residue_vars:modify ................... passed (0.000 sec) % [10/18] call_residue_vars:trail ................... passed (0.000 sec) % [11/18] call_residue_vars:frozen_stacks ........... passed (0.000 sec) % [12/18] call_residue_vars:copy_term ............... passed (0.002 sec) % [13/18] call_residue_vars:copy_term ............... passed (0.000 sec) % [14/18] call_residue_vars:copy_term ............... passed (0.000 sec) % [15/18] call_residue_vars:record .................. passed (0.000 sec) % [16/18] call_residue_vars:record .................. passed (0.000 sec) % [17/18] call_residue_vars:record .................. passed (0.000 sec) % [18/18] call_residue_vars:early_reset ............. passed (0.000 sec) . % [1/24] dif:1 ...................................... passed (0.000 sec) % [2/24] dif:2 ...................................... passed (0.000 sec) % [3/24] dif:3 ...................................... passed (0.000 sec) % [4/24] dif:4 ...................................... passed (0.000 sec) % [5/24] dif:5 ...................................... passed (0.000 sec) % [6/24] dif:6 ...................................... passed (0.000 sec) % [7/24] dif:7 ...................................... passed (0.000 sec) % [8/24] dif:7b ..................................... passed (0.000 sec) % [9/24] dif:8 ...................................... passed (0.000 sec) % [10/24] dif:9 ..................................... passed (0.000 sec) % [11/24] dif:10 .................................... passed (0.000 sec) % [12/24] dif:res1 .................................. passed (0.000 sec) % [13/24] dif:11 .................................... passed (0.000 sec) % [14/24] dif:12 .................................... passed (0.000 sec) % [15/24] dif:13 .................................... passed (0.000 sec) % [16/24] dif:14 .................................... passed (0.000 sec) % [17/24] dif:15 .................................... passed (0.000 sec) % [18/24] dif:16 .................................... passed (0.000 sec) % [19/24] dif:no_dup ................................ passed (0.001 sec) % [20/24] dif:17 .................................... passed (0.000 sec) % [21/24] dif:other_atts ............................ passed (0.000 sec) % [22/24] dif:issue122 .............................. passed (0.000 sec) % [23/24] dif:issue109 .............................. passed (0.000 sec) % [24/24] dif:issue122 .............................. passed (0.000 sec) . done Running scripts from debug % [1/2] d_break:call ................................ passed (0.000 sec) % [2/2] d_break:t_break ............................. passed (0.062 sec) .......................... % [1/1] interrupt:copy_stream_data .................. passed (0.160 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.000 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.000 sec) % [14/16] assoc:random_max .......................... passed (0.000 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.001 sec) % [2/8] csv_read_file_row:emptyline ................. passed (0.000 sec) % [3/8] csv_read_file_row:quoted .................... passed (0.000 sec) % [4/8] csv_read_file_row:quoted_ignored ............ passed (0.000 sec) % [5/8] csv_read_file_row:quoted_lf ................. passed (0.000 sec) % [6/8] csv_read_file_row:quoted_lf_ignored ......... passed (0.000 sec) % [7/8] csv_read_file_row:quoted_crlf ............... passed (0.000 sec) % [8/8] csv_read_file_row:quoted_crlf_ignored ....... passed (0.000 sec) . % [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.000 sec) % [6/7] evaluable_property:iso ...................... passed (0.000 sec) % [7/7] evaluable_property:error .................... passed (0.000 sec) . % [1/8] hashtable:rfill ............................. passed (0.002 sec) % [2/8] hashtable:rdel .............................. passed (0.003 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.000 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.000 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.000 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.000 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.001 sec) % [18/23] read_pending_input:octet .................. passed (0.001 sec) % [19/23] read_pending_input:iso_latin_1 ............ passed (0.001 sec) % [20/23] read_pending_input:utf8 ................... passed (0.001 sec) % [21/23] read_pending_input:utf16be ................ passed (0.001 sec) % [22/23] read_pending_input:utf16le ................ passed (0.001 sec) % [23/23] read_pending_input:wchar_t ................ passed (0.001 sec) . % [1/7] prolog_clause:t0 ............................ passed (0.000 sec) % [2/7] prolog_clause:t1 ............................ passed (0.000 sec) % [3/7] prolog_clause:t2 ............................ passed (0.000 sec) % [4/7] prolog_clause:t3 ............................ passed (0.000 sec) % [5/7] prolog_clause:t4 ............................ passed (0.000 sec) % [6/7] prolog_clause:t5 ............................ passed (0.000 sec) % [7/7] prolog_clause:t6 ............................ passed (0.000 sec) . % [1/1] prolog_colour:function ...................... passed (0.015 sec) . % [1/145] rbtrees:keys .............................. passed (0.000 sec) % [2/145] rbtrees:clone3 ............................ passed (0.000 sec) % [3/145] rbtrees:pos ............................... passed (0.005 sec) % [4/145] rbtrees:neg ............................... passed (0.005 sec) % [5/145] rbtrees:empty1 ............................ passed (0.000 sec) % [6/145] rbtrees:empty2 ............................ passed (0.000 sec) % [7/145] rbtrees:lookup1 ........................... passed (0.000 sec) % [8/145] rbtrees:lookup2 ........................... passed (0.000 sec) % [9/145] rbtrees:update1 ........................... passed (0.000 sec) % [10/145] rbtrees:update2 .......................... passed (0.000 sec) % [11/145] rbtrees:update3 .......................... passed (0.000 sec) % [12/145] rbtrees:apply1 ........................... passed (0.000 sec) % [13/145] rbtrees:apply2 ........................... passed (0.000 sec) % [14/145] rbtrees:insert1 .......................... passed (0.000 sec) % [15/145] rbtrees:insert2 .......................... passed (0.000 sec) % [16/145] rbtrees:insert3 .......................... passed (0.000 sec) % [17/145] rbtrees:delete1 .......................... passed (0.000 sec) % [18/145] rbtrees:delete2 .......................... passed (0.000 sec) % [19/145] rbtrees:delete3 .......................... passed (0.000 sec) % [20/145] rbtrees:sequence ......................... passed (0.000 sec) % [21/145] rbtrees:keys1 ............................ passed (0.000 sec) % [22/145] rbtrees:keys2 ............................ passed (0.000 sec) % [23/145] rbtrees:map1 ............................. passed (0.000 sec) % [24/145] rbtrees:map1a ............................ passed (0.000 sec) % [25/145] rbtrees:map2 ............................. passed (0.000 sec) % [26/145] rbtrees:map3 ............................. passed (0.000 sec) % [27/145] rbtrees:map3b ............................ passed (0.000 sec) % [28/145] rbtrees:map4 ............................. passed (0.000 sec) % [29/145] rbtrees:map5 ............................. passed (0.000 sec) % [30/145] rbtrees:fold ............................. passed (0.000 sec) % [31/145] rbtrees:clone ............................ passed (0.000 sec) % [32/145] rbtrees:size_min_max ..................... passed (0.000 sec) % [33/145] rbtrees:del_min1 ......................... passed (0.000 sec) % [34/145] rbtrees:del_min2 ......................... passed (0.000 sec) % [35/145] rbtrees:del_min3 ......................... passed (0.000 sec) % [36/145] rbtrees:del_max1 ......................... passed (0.000 sec) % [37/145] rbtrees:del_max2 ......................... passed (0.000 sec) % [38/145] rbtrees:del_max3 ......................... passed (0.000 sec) % [39/145] rbtrees:rb_min1 .......................... passed (0.000 sec) % [40/145] rbtrees:rb_max1 .......................... passed (0.000 sec) % [41/145] rbtrees:next1 ............................ passed (0.000 sec) % [42/145] rbtrees:next2 ............................ passed (0.000 sec) % [43/145] rbtrees:previous1 ........................ passed (0.000 sec) % [44/145] rbtrees:previous2 ........................ passed (0.000 sec) % [45/145] rbtrees:in1 .............................. passed (0.000 sec) % [46/145] rbtrees:in2 .............................. passed (0.000 sec) % [47/145] rbtrees:in3 .............................. passed (0.000 sec) % [48/145] rbtrees:in4 .............................. passed (0.000 sec) % [49/145] rbtrees:in5a ............................. passed (0.000 sec) % [50/145] rbtrees:in5b ............................. passed (0.000 sec) % [51/145] rbtrees:steadfast_rb_visit ............... passed (0.000 sec) % [52/145] rbtrees:steadfast_empty_1a ............... passed (0.000 sec) % [53/145] rbtrees:steadfast_empty_1b ............... passed (0.000 sec) % [54/145] rbtrees:steadfast_new_1a ................. passed (0.000 sec) % [55/145] rbtrees:steadfast_new_1b ................. passed (0.000 sec) % [56/145] rbtrees:steadfast_lookup_3 ............... passed (0.000 sec) % [57/145] rbtrees:steadfast_update_4a .............. passed (0.000 sec) % [58/145] rbtrees:steadfast_update_5a .............. passed (0.000 sec) % [59/145] rbtrees:steadfast_apply_4 ................ passed (0.000 sec) % [60/145] rbtrees:steadfast_insert_4 ............... passed (0.000 sec) % [61/145] rbtrees:steadfast_insert_new_4 ........... passed (0.000 sec) % [62/145] rbtrees:steadfast_delete_3 ............... passed (0.000 sec) % [63/145] rbtrees:steadfast_delete_4 ............... passed (0.000 sec) % [64/145] rbtrees:steadfast_keys_2 ................. passed (0.000 sec) % [65/145] rbtrees:steadfast_map_3 .................. passed (0.000 sec) % [66/145] rbtrees:steadfast_min .................... passed (0.000 sec) % [67/145] rbtrees:steadfast_max .................... passed (0.000 sec) % [68/145] rbtrees:steadfast_next ................... passed (0.000 sec) % [69/145] rbtrees:steadfast_previous ............... passed (0.000 sec) % [70/145] rbtrees:steadfast_list_to_rbtree ......... passed (0.000 sec) % [71/145] rbtrees:steadfast_size ................... passed (0.000 sec) % [72/145] rbtrees:steadfast_in ..................... passed (0.000 sec) % [73/145] rbtrees:instantiation_visit_2 ............ passed (0.000 sec) % [74/145] rbtrees:instantiation_lookup_3a .......... passed (0.000 sec) % [75/145] rbtrees:instantiation_lookup_3b .......... passed (0.000 sec) % [76/145] rbtrees:instantiation_lookup_3c .......... passed (0.000 sec) % [77/145] rbtrees:instantiation_lookup_3d .......... passed (0.000 sec) % [78/145] rbtrees:instantiation_update_4a .......... passed (0.000 sec) % [79/145] rbtrees:instantiation_update_4b .......... passed (0.000 sec) % [80/145] rbtrees:instantiation_update_4c .......... passed (0.000 sec) % [81/145] rbtrees:instantiation_update_5a .......... passed (0.000 sec) % [82/145] rbtrees:instantiation_update_5b .......... passed (0.000 sec) % [83/145] rbtrees:instantiation_update_5c .......... passed (0.000 sec) % [84/145] rbtrees:instantiation_update_5d .......... passed (0.000 sec) % [85/145] rbtrees:instantiation_apply_4a ........... passed (0.000 sec) % [86/145] rbtrees:instantiation_apply_4b ........... passed (0.000 sec) % [87/145] rbtrees:instantiation_apply_4c ........... passed (0.000 sec) % [88/145] rbtrees:instantiation_insert_4a .......... passed (0.000 sec) % [89/145] rbtrees:instantiation_insert_4b .......... passed (0.000 sec) % [90/145] rbtrees:instantiation_insert_new_4a ...... passed (0.000 sec) % [91/145] rbtrees:instantiation_insert_new_4a ...... passed (0.000 sec) % [92/145] rbtrees:instantiation_delete_3a .......... passed (0.000 sec) % [93/145] rbtrees:instantiation_delete_3b .......... passed (0.000 sec) % [94/145] rbtrees:instantiation_delete_3c .......... passed (0.000 sec) % [95/145] rbtrees:instantiation_delete_4a .......... passed (0.000 sec) % [96/145] rbtrees:instantiation_delete_4b .......... passed (0.000 sec) % [97/145] rbtrees:instantiation_keys_2 ............. passed (0.000 sec) % [98/145] rbtrees:instantiation_map_2a ............. passed (0.000 sec) % [99/145] rbtrees:instantiation_map_2b ............. passed (0.000 sec) % [100/145] rbtrees:instantiation_map_2c ............ passed (0.000 sec) % [101/145] rbtrees:instantiation_map_3a ............ passed (0.000 sec) % [102/145] rbtrees:instantiation_map_3b ............ passed (0.000 sec) % [103/145] rbtrees:instantiation_map_3c ............ passed (0.000 sec) % [104/145] rbtrees:instantiation_partial_map_4 ..... passed (0.000 sec) % [105/145] rbtrees:instantiation_fold_4 ............ passed (0.000 sec) % [106/145] rbtrees:instantiation_clone_3 ........... passed (0.000 sec) % [107/145] rbtrees:instantiation_min_3 ............. passed (0.000 sec) % [108/145] rbtrees:instantiation_max_3 ............. passed (0.000 sec) % [109/145] rbtrees:instantiation_del_min_4 ......... passed (0.000 sec) % [110/145] rbtrees:instantiation_del_max_4 ......... passed (0.000 sec) % [111/145] rbtrees:instantiation_min_3 ............. passed (0.000 sec) % [112/145] rbtrees:instantiation_next_4 ............ passed (0.000 sec) % [113/145] rbtrees:instantiation_previous_4 ........ passed (0.000 sec) % [114/145] rbtrees:instantiation_list_to_rbtree_2 .. passed (0.000 sec) % [115/145] rbtrees:instantia..rd_list_to_rbtree_2 .. passed (0.000 sec) % [116/145] rbtrees:instantiation_is_rbtree_1 ....... passed (0.000 sec) % [117/145] rbtrees:not_tree_visit_2 ................ passed (0.000 sec) % [118/145] rbtrees:not_tree_lookup_3 ............... passed (0.000 sec) % [119/145] rbtrees:not_tree_update_4 ............... passed (0.000 sec) % [120/145] rbtrees:not_tree_update_5 ............... passed (0.000 sec) % [121/145] rbtrees:not_tree_apply_4 ................ passed (0.000 sec) % [122/145] rbtrees:not_tree_insert_4 ............... passed (0.000 sec) % [123/145] rbtrees:not_tree_insert_new_4 ........... passed (0.000 sec) % [124/145] rbtrees:not_tree_delete_3 ............... passed (0.000 sec) % [125/145] rbtrees:not_tree_delete_4 ............... passed (0.000 sec) % [126/145] rbtrees:not_tree_keys_2 ................. passed (0.000 sec) % [127/145] rbtrees:not_tree_map_2 .................. passed (0.000 sec) % [128/145] rbtrees:not_tree_map_3 .................. passed (0.000 sec) % [129/145] rbtrees:not_tree_partial_map_4 .......... passed (0.000 sec) % [130/145] rbtrees:not_tree_fold_4 ................. passed (0.000 sec) % [131/145] rbtrees:not_tree_clone_3 ................ passed (0.000 sec) % [132/145] rbtrees:not_tree_min_3 .................. passed (0.000 sec) % [133/145] rbtrees:not_tree_max_3 .................. passed (0.000 sec) % [134/145] rbtrees:not_tree_del_min_4 .............. passed (0.000 sec) % [135/145] rbtrees:not_tree_del_max_4 .............. passed (0.000 sec) % [136/145] rbtrees:not_tree_min_3 .................. passed (0.000 sec) % [137/145] rbtrees:not_tree_next_4 ................. passed (0.000 sec) % [138/145] rbtrees:not_tree_previous_4 ............. passed (0.000 sec) % [139/145] rbtrees:not_tree_is_rbtree_1 ............ passed (0.000 sec) % [140/145] rbtrees:is_rbtree_1a .................... passed (0.000 sec) % [141/145] rbtrees:is_rbtree_1b .................... passed (0.000 sec) % [142/145] rbtrees:is_rbtree_1c .................... passed (0.000 sec) % [143/145] rbtrees:is_rbtree_1c .................... passed (0.000 sec) % [144/145] rbtrees:instantiation_size_2 ............ passed (0.000 sec) % [145/145] rbtrees:instantiation_in_3 .............. passed (0.000 sec) . % [1/18] record:record_type ......................... passed (0.000 sec) % [2/18] record:record_type ......................... passed (0.000 sec) % [3/18] record:record_type ......................... passed (0.000 sec) % [4/18] record:list_type ........................... passed (0.000 sec) % [5/18] record:list_type ........................... passed (0.000 sec) % [6/18] record:record_no_type ...................... passed (0.000 sec) % [7/18] record:point ............................... passed (0.000 sec) % [8/18] record:point ............................... passed (0.000 sec) % [9/18] record:point ............................... passed (0.000 sec) % [10/18] record:point .............................. passed (0.000 sec) % [11/18] record:point .............................. passed (0.000 sec) % [12/18] record:point .............................. passed (0.000 sec) % [13/18] record:point .............................. passed (0.000 sec) % [14/18] record:point .............................. passed (0.000 sec) % [15/18] record:point .............................. passed (0.000 sec) % [16/18] record:point .............................. passed (0.000 sec) % [17/18] record:point .............................. passed (0.000 sec) % [18/18] record:point .............................. passed (0.000 sec) . % [1/5] settings:get ................................ passed (0.000 sec) % [2/5] settings:ch_default ......................... passed (0.000 sec) % [3/5] settings:save_default ....................... passed (0.001 sec) % [4/5] settings:restore_default .................... passed (0.000 sec) % [5/5] settings:arith .............................. passed (0.000 sec) . % [1/7] test_solution_sequences:distinct ............ passed (0.000 sec) % [2/7] test_solution_sequences:limit ............... passed (0.000 sec) % [3/7] test_solution_sequences:offset .............. passed (0.000 sec) % [4/7] test_solution_sequences:a ................... passed (0.000 sec) % [5/7] test_solution_sequences:d ................... passed (0.000 sec) % [6/7] test_solution_sequences:ad .................. passed (0.000 sec) % [7/7] test_solution_sequences:group_by ............ passed (0.000 sec) . % [1/10] source_info:hu1/1 .......................... passed (0.001 sec) % [2/10] source_info:hu2/1 .......................... passed (0.000 sec) % [3/10] source_info:hu3/1 .......................... passed (0.000 sec) % [4/10] source_info:ssu1/1 ......................... passed (0.000 sec) % [5/10] source_info:nsu1/1 ......................... passed (0.000 sec) % [6/10] source_info:ssu2/1 ......................... passed (0.000 sec) % [7/10] source_info:ssu3/1 ......................... passed (0.000 sec) % [8/10] source_info:ssu4/1 ......................... passed (0.000 sec) % [9/10] source_info:ssu5/1 ......................... passed (0.000 sec) % [10/10] source_info:ssu6/2 ........................ passed (0.000 sec) . % [1/56] strings:plain .............................. passed (0.000 sec) % [2/56] strings:interpolate ........................ passed (0.000 sec) % [3/56] strings:interpolate ........................ passed (0.000 sec) % [4/56] strings:interpolate ........................ passed (0.000 sec) % [5/56] strings:dedent ............................. passed (0.000 sec) % [6/56] strings:dedent ............................. passed (0.000 sec) % [7/56] strings:dedent ............................. passed (0.000 sec) % [8/56] strings:splitlines ......................... passed (0.000 sec) % [9/56] strings:splitlines ......................... passed (0.000 sec) % [10/56] strings:splitlines ........................ passed (0.000 sec) % [11/56] strings:splitlines ........................ passed (0.000 sec) % [12/56] strings:string_lines ...................... passed (0.000 sec) % [13/56] strings:string_lines ...................... passed (0.000 sec) % [14/56] strings:string_lines ...................... passed (0.000 sec) % [15/56] strings:string_lines ...................... passed (0.000 sec) % [16/56] strings:string_lines ...................... passed (0.000 sec) % [17/56] strings:string_lines ...................... passed (0.000 sec) % [18/56] strings:string_lines ...................... passed (0.000 sec) % [19/56] strings:string_lines ...................... passed (0.000 sec) % [20/56] strings:string_lines ...................... passed (0.000 sec) % [21/56] strings:string_lines ...................... passed (0.000 sec) % [22/56] strings:string_lines ...................... passed (0.000 sec) % [23/56] strings:string_lines ...................... passed (0.000 sec) % [24/56] strings:string_lines ...................... passed (0.000 sec) % [25/56] strings:string_lines ...................... passed (0.000 sec) % [26/56] strings:string_lines ...................... passed (0.000 sec) % [27/56] strings:string_lines ...................... passed (0.000 sec) % [28/56] strings:string_lines ...................... passed (0.000 sec) % [29/56] strings:string_lines ...................... passed (0.000 sec) % [30/56] strings:string_lines ...................... passed (0.000 sec) % [31/56] strings:dedent_nomargin ................... passed (0.000 sec) % [32/56] strings:dedent_nomargin ................... passed (0.000 sec) % [33/56] strings:dedent_nomargin ................... passed (0.000 sec) % [34/56] strings:dedent_nomargin ................... passed (0.000 sec) % [35/56] strings:dedent_even ....................... passed (0.000 sec) % [36/56] strings:dedent_even ....................... passed (0.000 sec) % [37/56] strings:dedent_even ....................... passed (0.000 sec) % [38/56] strings:dedent_uneven ..................... passed (0.000 sec) % [39/56] strings:dedent_uneven ..................... passed (0.000 sec) % [40/56] strings:dedent_uneven ..................... passed (0.000 sec) % [41/56] strings:dedent_declining .................. passed (0.000 sec) % [42/56] strings:dedent_declining .................. passed (0.000 sec) % [43/56] strings:dedent_declining .................. passed (0.000 sec) % [44/56] strings:dedent_preserve_internal_tabs ..... passed (0.000 sec) % [45/56] strings:dedent_preserve_margin_tabs ....... passed (0.000 sec) % [46/56] strings:dedent_preserve_margin_tabs ....... passed (0.000 sec) % [47/56] strings:dedent_preserve_margin_tabs ....... passed (0.000 sec) % [48/56] strings:indent_nomargin_default ........... passed (0.000 sec) % [49/56] strings:indent_nomargin_all_lines ......... passed (0.000 sec) % [50/56] strings:indent_no_lines ................... passed (0.000 sec) % [51/56] strings:roundtrip_spaces .................. passed (0.000 sec) % [52/56] strings:roundtrip_tabs .................... passed (0.000 sec) % [53/56] strings:roundtrip_mixed ................... passed (0.000 sec) % [54/56] strings:indent_default .................... passed (0.000 sec) % [55/56] strings:indent_all_lines .................. passed (0.000 sec) % [56/56] strings:indent_empty_lines ................ passed (0.000 sec) . % [1/10] thread:true ................................ passed (0.000 sec) % [2/10] thread:unify ............................... passed (0.000 sec) % [3/10] thread:unify ............................... passed (0.000 sec) % [4/10] thread:fail ................................ passed (0.000 sec) % [5/10] thread:error ............................... passed (0.000 sec) % [6/10] thread:concur .............................. passed (0.003 sec) % [7/10] thread:first ............................... passed (0.000 sec) % [8/10] thread:first ............................... passed (1.005 sec) % [9/10] thread:first ............................... passed (0.016 sec) % [10/10] thread:first .............................. passed (0.000 sec) . % [1/4] thread_pool:current ......................... passed (0.000 sec) % [2/4] thread_pool:free ............................ passed (0.000 sec) % [3/4] thread_pool:free ............................ passed (0.000 sec) % [4/4] thread_pool:loop ............................ passed (0.221 sec) . % [1/2] tmp_module:nqueens .......................... passed (0.008 sec) % [2/2] tmp_module:current_op ....................... passed (0.203 sec) . % [1/6] top_sort:linear ............................. passed (0.000 sec) % [2/6] top_sort:linear ............................. passed (0.000 sec) % [3/6] top_sort:multi .............................. passed (0.000 sec) % [4/6] top_sort:multi .............................. passed (0.000 sec) % [5/6] top_sort:disconnected ....................... passed (0.000 sec) % [6/6] top_sort:cyclic ............................. passed (0.000 sec) . % [1/3] expand_unit:foo1 ............................ passed (0.000 sec) % [2/3] expand_unit:foo2 ............................ passed (0.000 sec) % [3/3] expand_unit:expand .......................... passed (0.000 sec) .. % [1-1/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec) % [1-2/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec) % [1-3/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec) % [1-4/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec) % [1-5/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec) % [1-6/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec) % [1-7/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec) % [1-8/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec) % [1-9/4] utf8:unicode_code_point_to_utf8 ........... passed (0.000 sec) % [1-10/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec) % [1-11/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec) % [1-12/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec) % [1-13/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec) % [1-14/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec) % [1-15/4] utf8:unicode_code_point_to_utf8 .......... passed (0.000 sec) % [2-1/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec) % [2-2/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec) % [2-3/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec) % [2-4/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec) % [2-5/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec) % [2-6/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec) % [2-7/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec) % [2-8/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec) % [2-9/4] utf8:utf8_to_unicode_code_point ........... passed (0.000 sec) % [2-10/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec) % [2-11/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec) % [2-12/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec) % [2-13/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec) % [2-14/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec) % [2-15/4] utf8:utf8_to_unicode_code_point .......... passed (0.000 sec) % [3-1/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec) % [3-2/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec) % [3-3/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec) % [3-4/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec) % [3-5/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec) % [3-6/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec) % [3-7/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec) % [3-8/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec) % [3-9/4] utf8:unicode_string_to_utf8 ............... passed (0.000 sec) % [3-10/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-11/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-12/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-13/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-14/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-15/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-16/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-17/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-18/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-19/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-20/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-21/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-22/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-23/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-24/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-25/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-26/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-27/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-28/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-29/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-30/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-31/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [3-32/4] utf8:unicode_string_to_utf8 .............. passed (0.000 sec) % [4-1/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec) % [4-2/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec) % [4-3/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec) % [4-4/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec) % [4-5/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec) % [4-6/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec) % [4-7/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec) % [4-8/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec) % [4-9/4] utf8:utf8_to_unicode_string ............... passed (0.000 sec) % [4-10/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-11/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-12/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-13/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-14/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-15/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-16/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-17/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-18/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-19/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-20/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-21/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-22/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-23/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-24/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-25/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-26/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-27/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-28/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-29/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-30/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-31/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) % [4-32/4] utf8:utf8_to_unicode_string .............. passed (0.000 sec) . % [1/1] varnumbers:min .............................. passed (0.000 sec) . % [1/8] cmp_versions:eq ............................. passed (0.000 sec) % [2/8] cmp_versions:eq ............................. passed (0.000 sec) % [3/8] cmp_versions:eq ............................. passed (0.000 sec) % [4/8] cmp_versions:lt ............................. passed (0.000 sec) % [5/8] cmp_versions:gt ............................. passed (0.000 sec) % [6/8] cmp_versions:lt ............................. passed (0.000 sec) % [7/8] cmp_versions:lt ............................. passed (0.000 sec) % [8/8] cmp_versions:lt ............................. passed (0.000 sec) . % [1/4] when:nested_ground .......................... passed (0.000 sec) % [2/4] when:nested_ground .......................... passed (0.000 sec) % [3/4] when:nested_ground .......................... passed (0.000 sec) % [4/4] clp_gc:ndet_foreign_wakeup .................. passed (0.000 sec) . % [1/42] yall_tests:call ............................ passed (0.000 sec) % [2/42] yall_tests:call ............................ passed (0.000 sec) % [3/42] yall_tests:call ............................ passed (0.000 sec) % [4/42] yall_tests:call ............................ passed (0.000 sec) % [5/42] yall_tests:disjunction ..................... passed (0.000 sec) % [6/42] yall_tests:free ............................ passed (0.000 sec) % [7/42] yall_tests:maplist ......................... passed (0.000 sec) % [8/42] yall_tests:maplist ......................... passed (0.000 sec) % [9/42] yall_tests:maplist ......................... passed (0.000 sec) % [10/42] yall_tests:maplist ........................ passed (0.000 sec) % [11/42] yall_tests:maplist ........................ passed (0.000 sec) % [12/42] yall_tests:maplist ........................ passed (0.000 sec) % [13/42] yall_tests:maplist ........................ passed (0.000 sec) % [14/42] yall_tests:maplist ........................ passed (0.000 sec) % [15/42] yall_tests:maplist ........................ passed (0.000 sec) % [16/42] yall_tests:maplist ........................ passed (0.000 sec) % [17/42] yall_tests:maplist ........................ passed (0.000 sec) % [18/42] yall_tests:include ........................ passed (0.000 sec) % [19/42] yall_tests:include ........................ passed (0.000 sec) % [20/42] yall_tests:include ........................ passed (0.000 sec) % [21/42] yall_tests:include ........................ passed (0.000 sec) % [22/42] yall_tests:trivial ........................ passed (0.000 sec) % [23/42] yall_tests:trivial ........................ passed (0.000 sec) % [24/42] yall_tests:trivial ........................ passed (0.000 sec) % [25/42] yall_tests:trivial ........................ passed (0.000 sec) % [26/42] yall_tests:fold_left_in_disguise .......... passed (0.000 sec) % [27/42] yall_tests:fold_left_in_disguise .......... passed (0.000 sec) % [28/42] yall_tests:fold_left_in_disguise .......... passed (0.000 sec) % [29/42] yall_tests:dif ............................ passed (0.000 sec) % [30/42] yall_tests:dif ............................ passed (0.000 sec) % [31/42] yall_tests:carlo_capelli_example .......... passed (0.000 sec) % [32/42] yall_tests:setof .......................... passed (0.000 sec) % [33/42] yall_tests:distances ...................... passed (0.000 sec) % [34/42] yall_tests:distances ...................... passed (0.000 sec) % [35/42] yall_tests:sum_squares .................... passed (0.000 sec) % [36/42] yall_tests:sum_squares .................... passed (0.000 sec) % [37/42] yall_tests:dcgs ........................... passed (0.000 sec) % [38/42] yall_tests:dcgs ........................... passed (0.000 sec) % [39/42] yall_tests:dcgs ........................... passed (0.000 sec) % [40/42] yall_tests:dcgs ........................... passed (0.000 sec) % [41/42] yall_tests:dcgs ........................... passed (0.000 sec) % [42/42] yall_tests:dcgs ........................... passed (0.000 sec) . done Running scripts from compile % [1/1] autoload:not_from_user ...................... passed (0.000 sec) . done Running scripts from charset . done Running scripts from eclipse % Running ECLiPSe tests from file /Volumes/Builds/packages/big-sur-arm64/results/4.5/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/eclipse/format.tst ................................................................................................................................................................................................. % Finished tests from file /Volumes/Builds/packages/big-sur-arm64/results/4.5/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/eclipse/format.tst % 193 tests found. % 193 tests succeeded. % Running ECLiPSe tests from file /Volumes/Builds/packages/big-sur-arm64/results/4.5/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/eclipse/format_strings.tst ... % Finished tests from file /Volumes/Builds/packages/big-sur-arm64/results/4.5/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/eclipse/format_strings.tst % 3 tests found. % 3 tests succeeded. % Running ECLiPSe tests from file /Volumes/Builds/packages/big-sur-arm64/results/4.5/rswipl.Rcheck/rswipl/swipl/lib/swipl/test/eclipse/string_tests.tst ........................................................................................................................................................................ % Finished tests from file /Volumes/Builds/packages/big-sur-arm64/results/4.5/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.002 sec) % [2/6] file_names:2 ................................ passed (0.001 sec) % [3/6] file_names:3 ................................ passed (0.006 sec) % [4/6] file_names:5 ................................ passed (0.010 sec) % [5/6] file_names:4 ................................ passed (0.005 sec) % [6/6] file_names:6 ................................ passed (0.011 sec) . % [1/16] files:tmp_cleanup .......................... passed (0.004 sec) % [2/16] files:directory_files ...................... passed (0.000 sec) % [3/16] files:directory_files ...................... passed (0.000 sec) % [4/16] files:max_path_len ......................... passed (0.002 sec) % [5/16] files:max_path_len ......................... passed (0.003 sec) % [6/16] files:max_path_len ......................... passed (0.003 sec) % [7/16] files:at_end_of_stream ..................... passed (0.000 sec) % [8/16] files:at_end_of_stream ..................... passed (0.000 sec) % [9/16] files:at_end_of_stream ..................... passed (0.000 sec) % [10/16] files:file_directory_name ................. passed (0.000 sec) % [11/16] files:file_directory_name ................. passed (0.000 sec) % [12/16] files:file_directory_name ................. passed (0.000 sec) % [13/16] files:file_base_name ...................... passed (0.000 sec) % [14/16] files:file_base_name ...................... passed (0.000 sec) % [15/16] files:file_base_name ...................... passed (0.000 sec) % [16/16] files:file_base_name ...................... passed (0.000 sec) . % [1/33] glob_match:glob ............................ passed (0.000 sec) % [2/33] glob_match:glob ............................ passed (0.000 sec) % [3/33] glob_match:glob ............................ passed (0.000 sec) % [4/33] glob_match:glob ............................ passed (0.000 sec) % [5/33] glob_match:glob ............................ passed (0.000 sec) % [6/33] glob_match:glob ............................ passed (0.000 sec) % [7/33] glob_match:glob ............................ passed (0.000 sec) % [8/33] glob_match:glob ............................ passed (0.000 sec) % [9/33] glob_match:glob ............................ passed (0.000 sec) % [10/33] glob_match:glob ........................... passed (0.000 sec) % [11/33] glob_match:glob ........................... passed (0.000 sec) % [12/33] glob_match:glob ........................... passed (0.000 sec) % [13/33] glob_match:glob ........................... passed (0.000 sec) % [14/33] glob_match:glob ........................... passed (0.000 sec) % [15/33] glob_match:glob ........................... passed (0.000 sec) % [16/33] glob_match:glob ........................... passed (0.000 sec) % [17/33] glob_match:glob ........................... passed (0.000 sec) % [18/33] glob_match:glob ........................... passed (0.000 sec) % [19/33] glob_match:glob ........................... passed (0.000 sec) % [20/33] glob_match:glob ........................... passed (0.000 sec) % [21/33] glob_match:glob ........................... passed (0.000 sec) % [22/33] glob_match:glob ........................... passed (0.000 sec) % [23/33] glob_match:glob ........................... passed (0.000 sec) % [24/33] glob_match:glob ........................... passed (0.000 sec) % [25/33] glob_match:glob ........................... passed (0.000 sec) % [26/33] glob_match:glob ........................... passed (0.000 sec) % [27/33] glob_match:glob ........................... passed (0.000 sec) % [28/33] glob_match:glob ........................... passed (0.000 sec) % [29/33] glob_match:glob ........................... passed (0.000 sec) % [30/33] glob_expand:glob .......................... passed (0.000 sec) % [31/33] glob_expand:cyrillic ...................... passed (0.000 sec) % [32/33] glob_expand:cyrillic ...................... passed (0.000 sec) % [33/33] glob_expand:cyrillic ...................... passed (0.000 sec) . % [1/4] pipe:pwd .................................... passed (0.002 sec) % [2/4] pipe:cat1 ................................... passed (0.004 sec) % [3/4] pipe:cat2 ................................... passed (0.002 sec) % [4/4] pipe:timeout ................................ passed (1.008 sec) . done Running scripts from clp . done Running scripts from GC % [1/1] agc_copyterm:copy ........................... passed (0.082 sec) .. % [1/2] ch_shift:local_st.._expansion_many_chp ...... passed (0.478 sec) % [2/2] ch_shift:local_st..pansion_pending_chp ...... passed (0.001 sec) .. % [1/12] cleanup_shift:gtrue ........................ passed (0.001 sec) % [2/12] cleanup_shift:ltrue ........................ passed (0.000 sec) % [3/12] cleanup_shift:ttrue ........................ passed (0.002 sec) % [4/12] cleanup_shift:gfalse ....................... passed (0.001 sec) % [5/12] cleanup_shift:lfalse ....................... passed (0.000 sec) % [6/12] cleanup_shift:tfalse ....................... passed (0.002 sec) % [7/12] cleanup_shift:gcut ......................... passed (0.001 sec) % [8/12] cleanup_shift:lcut ......................... passed (0.000 sec) % [9/12] cleanup_shift:tcut ......................... passed (0.001 sec) % [10/12] cleanup_shift:gexcept ..................... passed (0.001 sec) % [11/12] cleanup_shift:lexcept ..................... passed (0.000 sec) % [12/12] cleanup_shift:texcept ..................... passed (0.001 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.000 sec) % [7/8] queue_gc:gc ................................. passed (0.000 sec) % [8/8] queue_gc:gc ................................. passed (0.000 sec) .... % [1/1] queue_select:even ........................... passed (0.000 sec) .. % [1/4] queue_timeout:relative ...................... passed (0.013 sec) % [2/4] queue_timeout:abs ........................... passed (0.013 sec) % [3/4] queue_timeout:abs_rel1 ...................... passed (0.012 sec) % [4/4] queue_timeout:abs_rel2 ...................... passed (0.013 sec) .... % [1/1] test_dynamic:retractall ..................... passed (0.002 sec) ............ % [1/5] concurrent_and:basic ........................ passed (0.002 sec) % [2/5] concurrent_and:select ....................... passed (0.001 sec) % [3/5] concurrent_and:cut .......................... passed (0.001 sec) % [4/5] concurrent_and:error ........................ passed (0.001 sec) % [5/5] concurrent_and:gen_error .................... passed (0.001 sec) . % [1/5] rwlocks:basic_write_lock .................... passed (0.000 sec) % [2/5] rwlocks:basic_read_lock ..................... passed (0.000 sec) % [3/5] rwlocks:concurrent_reads .................... passed (0.000 sec) % [4/5] rwlocks:write_blocks_reads .................. passed (0.501 sec) % [5/5] rwlocks:invalid_mode ........................ passed (0.000 sec) ..... % [1/24] thread_create:alias ........................ passed (0.000 sec) % [2/24] thread_create:anonymous .................... passed (0.000 sec) % [3/24] thread_errors:null ......................... passed (0.000 sec) % [4/24] thread_errors:null ......................... passed (0.000 sec) % [5/24] thread_property:alias ...................... passed (0.000 sec) % [6/24] thread_property:detached_false ............. passed (0.000 sec) % [7/24] thread_property:detached_true .............. passed (0.000 sec) % [8/24] thread_property:status_running ............. passed (0.000 sec) % [9/24] thread_property:status_true ................ passed (0.013 sec) % [10/24] thread_property:status_fail ............... passed (0.000 sec) % [11/24] thread_property:status_exception .......... passed (0.000 sec) % [12/24] thread_property:status_enum1 .............. passed (0.000 sec) % [13/24] thread_property:status_enum2 .............. passed (0.000 sec) % [14/24] thread_property:existence ................. passed (0.000 sec) % [15/24] thread_property:existence ................. passed (0.000 sec) % [16/24] mutex:lock ................................ passed (0.000 sec) % [17/24] mutex:destroy ............................. passed (0.000 sec) % [18/24] mutex:destroy_locked ...................... passed (0.000 sec) % [19/24] mutex:destroy_locked_other_thread ......... passed (0.000 sec) % [20/24] mutex_property:alias ...................... passed (0.000 sec) % [21/24] mutex_property:generate ................... passed (0.000 sec) % [22/24] mutex_property:locked ..................... passed (0.000 sec) % [23/24] message_queue:max_size_prop ............... passed (0.000 sec) % [24/24] message_queue:size_prop ................... passed (0.000 sec) ...... done Running scripts from thread_wait % [1/1] functor_cache:race .......................... passed (0.004 sec) . % [1/17] signal_api:pending ......................... passed (0.000 sec) % [2/17] signal_api:pending ......................... passed (0.000 sec) % [3/17] signal_api:remove .......................... passed (0.000 sec) % [4/17] signal_api:remove .......................... passed (0.000 sec) % [5/17] signal_api:remove .......................... passed (0.000 sec) % [6/17] signal_api:remove .......................... passed (0.000 sec) % [7/17] signal_api:remove .......................... passed (0.000 sec) % [8/17] signal_api:remove .......................... passed (0.000 sec) % [9/17] signal_api:backtrack ....................... passed (0.000 sec) % [10/17] signal_catch:recover ...................... passed (0.000 sec) % [11/17] signal_catch:atomic ....................... passed (0.000 sec) % [12/17] signal_catch:cleanup ...................... passed (0.000 sec) % [13/17] signal_catch:signal ....................... passed (0.000 sec) % [14/17] signal_nested:nested_likely ............... passed (1.005 sec) % [15/17] signal_nested:nested_sure ................. passed (0.000 sec) % [16/17] signal_nested:nested_atomic ............... passed (1.005 sec) % [17/17] signal_exceptions:chained ................. passed (0.073 sec) . % [1/4] thread_wait:signal .......................... passed (0.063 sec) % [2/4] thread_wait:wakeall ......................... passed (0.055 sec) % [3/4] thread_wait:wakeup .......................... passed (0.055 sec) % [4/4] thread_wait:wakeup .......................... passed (0.000 sec) . done Running scripts from transaction . % [1/1] transaction_deadlock:deadlock ............... passed (0.004 sec) . % [1/3] tr_incremental_tabling:assert ............... passed (0.000 sec) % [2/3] tr_incremental_tabling:tmp_assert ........... passed (0.000 sec) % [3/3] tr_incremental_tabling:retract .............. passed (0.000 sec) . % [1/23] transaction:assert ......................... passed (0.000 sec) % [2/23] transaction:retract ........................ passed (0.000 sec) % [3/23] transaction:assert_retract ................. passed (0.000 sec) % [4/23] transaction:nested1 ........................ passed (0.000 sec) % [5/23] transaction:nested2 ........................ passed (0.000 sec) % [6/23] transaction:nested3 ........................ passed (0.000 sec) % [7/23] transaction:nested4 ........................ passed (0.000 sec) % [8/23] transaction:nested5 ........................ passed (0.000 sec) % [9/23] transaction:nested6 ........................ passed (0.000 sec) % [10/23] transaction:nested7 ....................... passed (0.000 sec) % [11/23] transaction:nested8 ....................... passed (0.000 sec) % [12/23] transaction:nested9 ....................... passed (0.000 sec) % [13/23] transaction:update1 ....................... passed (0.000 sec) % [14/23] transaction:update2 ....................... passed (0.000 sec) % [15/23] transaction:update3 ....................... passed (0.000 sec) % [16/23] thread_transaction:commit ................. passed (0.000 sec) % [17/23] thread_transaction:discard ................ passed (0.000 sec) % [18/23] thread_transaction:discard2 ............... passed (0.000 sec) % [19/23] thread_transaction:isolate_assert ......... passed (0.000 sec) % [20/23] thread_transaction:isolate_retract ........ passed (0.000 sec) % [21/23] thread_transaction:isolate_retract2 ....... passed (0.000 sec) % [22/23] thread_transaction:isolate_retract2b ...... passed (0.000 sec) % [23/23] thread_transaction:isolate_retract2b ...... passed (0.000 sec) . done Running scripts from save % [1/7] qlf:unicode ................................. passed (0.001 sec) % [2/7] qlf:h_integer ............................... passed (0.002 sec) % [3/7] qlf:b_integer ............................... passed (0.002 sec) % [4/7] qlf:expr .................................... passed (0.002 sec) % [5/7] qlf:cmp ..................................... passed (0.002 sec) % [6/7] qlf:add_fc .................................. passed (0.002 sec) % [7/7] qlf:rat ..................................... passed (0.002 sec) . % [1/3] saved_state:true ............................ passed (0.392 sec) % [2/3] saved_state:argv ............................ passed (0.394 sec) % [3/3] saved_state:true ............................ passed (0.388 sec) . done Running scripts from tabling .. % [1/2] answer_subsumption:as_with_no_as ............ passed (0.000 sec) % [2/2] answer_subsumption:max ...................... passed (0.000 sec) . % [1/9] incr_answer_subsumption_1:update ............ passed (0.000 sec) % [2/9] incr_answer_subsumption_1:keep .............. passed (0.000 sec) % [3/9] incr_answer_subsumption_1:reeval ............ passed (0.000 sec) % [4/9] mono_answer_subsumption_1:update ............ passed (0.000 sec) % [5/9] mono_answer_subsumption_1:keep .............. passed (0.000 sec) % [6/9] mono_answer_subsumption_1:reeval ............ passed (0.000 sec) % [7/9] mono_answer_subsumption_1:reeval ............ passed (0.000 sec) % [8/9] mono_answer_subsumption_lazy_1:update ....... passed (0.000 sec) % [9/9] mono_answer_subsumption_lazy_1:update ....... passed (0.000 sec) . % [1/10] monotonic_tabling:pa1 ...................... passed (0.000 sec) % [2/10] monotonic_tabling:pa2 ...................... passed (0.000 sec) % [3/10] monotonic_tabling:pb ....................... passed (0.000 sec) % [4/10] monotonic_tabling:closure .................. passed (0.001 sec) % [5/10] monotonic_tabling:closure2 ................. passed (0.029 sec) % [6/10] monotonic_tabling:incr_mono ................ passed (0.000 sec) % [7/10] monotonic_tabling:incr_mono ................ passed (0.000 sec) % [8/10] monotonic_tabling:nested_reeval_mono ....... passed (0.000 sec) % [9/10] monotonic_tabling_2:twice_invalid .......... passed (0.000 sec) % [10/10] monotonic_tabling_3:incr_propagate ........ passed (0.000 sec) . % [1/18] tabling_monotonic_lazy_1:simple ............ passed (0.000 sec) % [2/18] tabling_monotonic_lazy_1:retract ........... passed (0.000 sec) % [3/18] tabling_monotonic_lazy_2:mon_and_lazy ...... passed (0.000 sec) % [4/18] tabling_monotonic_lazy_3:intermediate ...... passed (0.000 sec) % [5/18] tabling_monotonic_lazy_4:lazy_on_eager ..... passed (0.000 sec) % [6/18] tabling_monotonic_lazy_5:lazy_on_eager ..... passed (0.000 sec) % [7/18] tabling_monotonic..zy_on_eager_retract ..... passed (0.000 sec) % [8/18] tabling_monotonic_lazy_6:lazy_reeval ....... passed (0.000 sec) % [9/18] tabling_monotonic_lazy_7:lazy_reeval ....... passed (0.000 sec) % [10/18] tabling_monotonic..direct_lazy_retract .... passed (0.000 sec) % [11/18] tabling_monotonic..re_new_dependencies .... passed (0.000 sec) % [12/18] tabling_monotonic_lazy_10:false_deps ...... passed (0.000 sec) % [13/18] tabling_monotonic_lazy_11:rollback ........ passed (0.000 sec) % [14/18] tabling_monotonic_lazy_12:indirect ........ passed (0.000 sec) % [15/18] tabling_monotonic..incr_propagate_lazy .... passed (0.000 sec) % [16/18] tabling_monotonic.._14:mono_completion .... passed (0.000 sec) % [17/18] tabling_monotonic_lazy_15:closure ......... passed (0.010 sec) % [18/18] tabling_monotonic_lazy_16:reeval .......... passed (0.000 sec) . % [1/8] tabling_reeval:mutal_dependent .............. passed (0.000 sec) % [2/8] tabling_reeval:multiple_dependents .......... passed (0.000 sec) % [3/8] tabling_reeval_merged:only .................. passed (0.000 sec) % [4/8] dynamic_tabled:wfs .......................... passed (0.000 sec) % [5/8] dynamic_tabled2:wfs ......................... passed (0.000 sec) % [6/8] dynamic_tabled2:wfs2 ........................ passed (0.000 sec) % [7/8] dynamic_tabled3:wfs ......................... passed (0.000 sec) % [8/8] dynamic_tabled4:wfs ......................... passed (0.000 sec) .... % [1/1] shared_reeval:propagate_falsecount .......... passed (0.000 sec) . % [1/1] tabled_shortest_path:path ................... passed (0.001 sec) . % [1/35] tabling_ex1:ex1 ............................ passed (0.000 sec) % [2/35] tabling_ex2:ex2 ............................ passed (0.000 sec) % [3/35] tabling_ex3:ex3 ............................ passed (0.000 sec) % [4/35] tabling_ex4:ex4 ............................ passed (0.000 sec) % [5/35] tabling_ex5:ex5 ............................ passed (0.000 sec) % [6/35] tabling_ex6:ex6 ............................ passed (0.000 sec) % [7/35] tabling_ex7:ex7 ............................ passed (0.000 sec) % [8/35] tabling_ex8:ex8 ............................ passed (0.000 sec) % [9/35] tabling_ex9a:ex9a .......................... passed (0.000 sec) % [10/35] tabling_ex9b:ex9b ......................... passed (0.000 sec) % [11/35] tabling_ex9c:ex9c ......................... passed (0.000 sec) % [12/35] tabling_ex9d:ex9d ......................... passed (0.000 sec) % [13/35] tabling_ex9e:ex9d ......................... passed (0.000 sec) % [14/35] tabling_ex10:ex10 ......................... passed (0.000 sec) % [15/35] tabling_ex11:ex11 ......................... passed (0.000 sec) % [16/35] tabling_ex12:ex12 ......................... passed (0.000 sec) % [17/35] tabling_ex13:ex12 ......................... passed (0.000 sec) % [18/35] tabling_ex14:ex14 ......................... passed (0.000 sec) % [19/35] tabling_ex15:ex15 ......................... passed (0.000 sec) % [20/35] tabling_ex16:ex16 ......................... passed (0.000 sec) % [21/35] tabling_ex17:ex17 ......................... passed (0.000 sec) % [22/35] tabling_clpfd:fib_error ................... passed (0.001 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.000 sec) % [34/35] bas:bas ................................... passed (0.010 sec) % [35/35] push_ret:push_ret ......................... passed (0.015 sec) . % [1/6] test_transact_incr_1:commit ................. passed (0.000 sec) % [2/6] test_transact_incr_1:rollback ............... passed (0.000 sec) % [3/6] test_transact_incr_1:snapshot ............... passed (0.000 sec) % [4/6] test_transact_incr_1:snapshot ............... passed (0.000 sec) % [5/6] test_transact_incr_1:snapshot ............... passed (0.000 sec) % [6/6] test_transact_incr_1:snapshot ............... passed (0.000 sec) . % [1/7] test_transact_mono_1:commit ................. passed (0.000 sec) % [2/7] test_transact_mono_1:rollback ............... passed (0.000 sec) % [3/7] test_transact_mono_1:snapshot ............... passed (0.000 sec) % [4/7] test_transact_mono_1:snapshot ............... passed (0.000 sec) % [5/7] test_transact_mono_1:snapshot ............... passed (0.000 sec) % [6/7] test_transact_mono_1:snapshot ............... passed (0.000 sec) % [7/7] test_transact_mono_2:retract ................ passed (0.000 sec) . % [1/13] test_transact_mono_lazy_1:commit ........... passed (0.000 sec) % [2/13] test_transact_mono_lazy_1:rollback ......... passed (0.000 sec) % [3/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec) % [4/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec) % [5/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec) % [6/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec) % [7/13] test_transact_mono_lazy_2:retract .......... passed (0.000 sec) % [8/13] test_transact_mon..zy_2:outside_assert ..... passed (0.000 sec) % [9/13] test_transact_mono_lazy_2:mixed_assert ..... passed (0.000 sec) % [10/13] test_transact_mon..zy_3:outside_assert .... passed (0.000 sec) % [11/13] test_transact_mon.._4:new_dependencies .... passed (0.000 sec) % [12/13] test_transact_mon.._5:already_forced_1 .... passed (0.000 sec) % [13/13] test_transact_mon.._5:already_forced_2 .... passed (0.000 sec) . % [1/23] trie:insert_atom ........................... passed (0.000 sec) % [2/23] trie:insert_value_term ..................... passed (0.000 sec) % [3/23] trie:insert_two ............................ passed (0.000 sec) % [4/23] trie:insert_compound ....................... passed (0.000 sec) % [5/23] trie:insert_nested ......................... passed (0.000 sec) % [6/23] trie:insert_nested2 ........................ passed (0.000 sec) % [7/23] trie:insert_nested_get ..................... passed (0.000 sec) % [8/23] trie:insert_vars ........................... passed (0.000 sec) % [9/23] trie:insert_variant ........................ passed (0.000 sec) % [10/23] trie:insert_vars .......................... passed (0.000 sec) % [11/23] trie:rescale_cars ......................... passed (0.003 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.002 sec) % [2/26] xsb_basic_tests:tsstr23 .................... passed (0.002 sec) % [3/26] xsb_basic_tests:tsstr33 .................... passed (0.002 sec) % [4/26] xsb_basic_tests:tstr11 ..................... passed (0.001 sec) % [5/26] xsb_basic_tests:tstr21 ..................... passed (0.001 sec) % [6/26] xsb_basic_tests:tstr31 ..................... passed (0.001 sec) % [7/26] xsb_basic_tests:tstr51 ..................... passed (0.001 sec) % [8/26] xsb_basic_tests:tstr61 ..................... passed (0.001 sec) % [9/26] xsb_basic_tests:tstr12 ..................... passed (0.001 sec) % [10/26] xsb_basic_tests:tstr22 .................... passed (0.001 sec) % [11/26] xsb_basic_tests:tstr32 .................... passed (0.002 sec) % [12/26] xsb_basic_tests:tstr52 .................... passed (0.002 sec) % [13/26] xsb_basic_tests:tstr62 .................... passed (0.002 sec) % [14/26] xsb_basic_tests:tstr13 .................... passed (0.005 sec) % [15/26] xsb_basic_tests:tstr23 .................... passed (0.005 sec) % [16/26] xsb_basic_tests:tstr33 .................... passed (0.006 sec) % [17/26] xsb_basic_tests:tstr53 .................... passed (0.017 sec) % [18/26] xsb_basic_tests:tstr63 .................... passed (0.015 sec) % [19/26] xsb_basic_tests:thstr13 ................... passed (0.001 sec) % [20/26] xsb_basic_tests:thstr43 ................... passed (0.001 sec) % [21/26] xsb_basic_tests:thstr23 ................... passed (0.001 sec) % [22/26] xsb_basic_tests:tcyl11 .................... passed (0.018 sec) % [23/26] xsb_basic_tests:tcyl12 .................... passed (0.010 sec) % [24/26] xsb_basic_tests:testsg .................... passed (0.018 sec) % [25/26] xsb_basic_tests:interp .................... passed (0.002 sec) % [26/26] xsb_basic_tests:tsing1 .................... passed (0.001 sec) . done Running scripts from ai_tests % [1/11] xsb_ai_tests:cs_o .......................... passed (0.018 sec) % [2/11] xsb_ai_tests:cs_r .......................... passed (0.019 sec) % [3/11] xsb_ai_tests:disj .......................... passed (0.011 sec) % [4/11] xsb_ai_tests:gabriel ....................... passed (0.009 sec) % [5/11] xsb_ai_tests:kalah ......................... passed (0.016 sec) % [6/11] xsb_ai_tests:peep .......................... passed (0.019 sec) % [7/11] xsb_ai_tests:pg ............................ passed (0.006 sec) % [8/11] xsb_ai_tests:plan .......................... passed (0.006 sec) % [9/11] xsb_ai_tests:qsort ......................... passed (0.002 sec) % [10/11] xsb_ai_tests:queens ....................... passed (0.003 sec) % [11/11] xsb_ai_tests:read ......................... passed (0.027 sec) . done Running scripts from ptq % [1/25] xsb_ptq:jtaulred ........................... passed (0.001 sec) % [2/25] xsb_ptq:mbjfauahei ......................... passed (0.019 sec) % [3/25] xsb_ptq:mbjfauaheilred ..................... passed (0.006 sec) % [4/25] xsb_ptq:jtau ............................... passed (0.001 sec) % [5/25] xsb_ptq:jdm ................................ passed (0.001 sec) % [6/25] xsb_ptq:apr ................................ passed (0.000 sec) % [7/25] xsb_ptq:jdh ................................ passed (0.001 sec) % [8/25] xsb_ptq:jsau ............................... passed (0.001 sec) % [9/25] xsb_ptq:awtra .............................. passed (0.001 sec) % [10/25] xsb_ptq:emlaw ............................. passed (0.001 sec) % [11/25] xsb_ptq:awsswr ............................ passed (0.001 sec) % [12/25] xsb_ptq:jsauamsi .......................... passed (0.004 sec) % [13/25] xsb_ptq:jdmlred ........................... passed (0.001 sec) % [14/25] xsb_ptq:jdhlred ........................... passed (0.000 sec) % [15/25] xsb_ptq:jwiaplred ......................... passed (0.001 sec) % [16/25] xsb_ptq:jfaulred .......................... passed (0.001 sec) % [17/25] xsb_ptq:jsaulred .......................... passed (0.001 sec) % [18/25] xsb_ptq:awtralred ......................... passed (0.001 sec) % [19/25] xsb_ptq:emlawlred ......................... passed (0.001 sec) % [20/25] xsb_ptq:awsswrlred ........................ passed (0.001 sec) % [21/25] xsb_ptq:jbmwwaiplred ...................... passed (0.008 sec) % [22/25] xsb_ptq:jwfauaeilred ...................... passed (0.002 sec) % [23/25] xsb_ptq:jtfauaweilred ..................... passed (0.002 sec) % [24/25] xsb_ptq:emlawsslhlred ..................... passed (0.001 sec) % [25/25] xsb_ptq:emlawaslhlred ..................... passed (0.001 sec) . done Running scripts from neg_tests % [1/24] tabled_basic_negation:neg1 ................. passed (0.001 sec) % [2/24] tabled_basic_negation:neg2 ................. passed (0.002 sec) % [3/24] tabled_basic_negation:neg3 ................. passed (0.001 sec) % [4/24] tabled_basic_negation:ullman2 .............. passed (0.001 sec) % [5/24] tabled_lr_stratified_negation:lmod1 ........ passed (0.001 sec) % [6/24] tabled_lr_stratified_negation:lmod2 ........ passed (0.001 sec) % [7/24] tabled_lr_stratified_negation:lmod3 ........ passed (0.001 sec) % [8/24] tabled_lr_stratified_negation:lmod4 ........ passed (0.001 sec) % [9/24] tabled_lr_stratified_negation:lmod5 ........ passed (0.001 sec) % [10/24] tabled_lr_stratified_negation:lmod6 ....... passed (0.001 sec) % [11/24] tabled_lr_stratified_negation:lmod7 ....... passed (0.001 sec) % [12/24] tabled_lr_stratified_negation:lmod8 ....... passed (0.001 sec) % [13/24] tabled_lr_stratified_negation:lmod9 ....... passed (0.001 sec) % [14/24] tabled_lr_stratified_negation:lmod10 ...... passed (0.001 sec) % [15/24] tabled_lr_stratified_negation:lmod11 ...... passed (0.002 sec) % [16/24] tabled_lr_stratified_negation:ullman1 ..... passed (0.001 sec) % [17/24] tabled_dynakicall..fied_negation:przy2 .... passed (0.001 sec) % [18/24] tabled_dynakicall..negation:ldynstrat0 .... passed (0.001 sec) % [19/24] tabled_dynakicall..negation:ldynstrat1 .... passed (0.001 sec) % [20/24] tabled_dynakicall..negation:ldynstrat2 .... passed (0.001 sec) % [21/24] tabled_dynakicall..negation:ldynstrat3 .... passed (0.001 sec) % [22/24] tabled_dynakicall..negation:ldynstrat4 .... passed (0.001 sec) % [23/24] tabled_stratified_negation:mod1 ........... passed (0.001 sec) % [24/24] tabled_misc_negation:q7 ................... passed (0.078 sec) . done Running scripts from delay_tests % [1/87] delay_dynstrat:dynstrat1 ................... passed (0.005 sec) % [2/87] delay_dynstrat:dynstrat2 ................... passed (0.001 sec) % [3/87] delay_dynstrat:dynstrat3 ................... passed (0.001 sec) % [4/87] delay_dynstrat:dynstrat4 ................... passed (0.001 sec) % [5/87] delay_dynstrat:dynstrat5 ................... passed (0.001 sec) % [6/87] delay_dynstrat:dynstrat6 ................... passed (0.001 sec) % [7/87] delay_dynstrat:dynstrat7 ................... passed (0.001 sec) % [8/87] delay_dynstrat:ross1 ....................... passed (0.001 sec) % [9/87] delay_dynstrat:sel_unsusp .................. passed (0.001 sec) % [10/87] delay_dynstrat:dl_dupl .................... passed (0.001 sec) % [11/87] delay_dynstrat:asl_dupl ................... passed (0.001 sec) % [12/87] delay_dynstrat:gfp ........................ passed (0.002 sec) % [13/87] delay_old_failures:fr1 .................... passed (0.001 sec) % [14/87] delay_old_failures:fr2 .................... passed (0.001 sec) % [15/87] delay_old_failures:fr3 .................... passed (0.001 sec) % [16/87] delay_old_failures:fr4 .................... passed (0.001 sec) % [17/87] delay_old_failures:fr5 .................... passed (0.001 sec) % [18/87] delay_old_failures:fr6 .................... passed (0.001 sec) % [19/87] delay_old_failures:fr7 .................... passed (0.001 sec) % [20/87] delay_old_failures:fr8 .................... passed (0.001 sec) % [21/87] delay_old_failures:fr9 .................... passed (0.001 sec) % [22/87] delay_old_failures:fr19 ................... passed (0.001 sec) % [23/87] delay_old_failures:fr20 ................... passed (0.001 sec) % [24/87] delay_old_failures:fr21 ................... passed (0.001 sec) % [25/87] delay_old_failures:fr22 ................... passed (0.001 sec) % [26/87] delay_old_failures:fr23 ................... passed (0.001 sec) % [27/87] delay_old_failures:fr24 ................... passed (0.001 sec) % [28/87] delay_old_failures:fr25 ................... passed (0.001 sec) % [29/87] delay_old_failures:fr26 ................... passed (0.001 sec) % [30/87] delay_old_failures:fr27 ................... passed (0.001 sec) % [31/87] delay_old_failures:fr28 ................... passed (0.001 sec) % [32/87] delay_old_failures:fr29 ................... passed (0.001 sec) % [33/87] delay_old_failures:fr30 ................... passed (0.001 sec) % [34/87] delay_old_segv:seg1 ....................... passed (0.001 sec) % [35/87] delay_old_segv:seg2 ....................... passed (0.001 sec) % [36/87] delay_old_segv:seg3 ....................... passed (0.001 sec) % [37/87] delay_old_segv:seg4 ....................... passed (0.001 sec) % [38/87] delay_old_segv:seg5 ....................... passed (0.001 sec) % [39/87] delay_old_segv:fr24 ....................... passed (0.000 sec) % [40/87] delay_interp:interp0 ...................... passed (0.001 sec) % [41/87] delay_interp:interp1 ...................... passed (0.001 sec) % [42/87] delay_interp:interp2 ...................... passed (0.001 sec) % [43/87] delay_interp:interp4 ...................... passed (0.001 sec) % [44/87] delay_interp:interp5 ...................... passed (0.001 sec) % [45/87] delay_interp:interp6 ...................... passed (0.001 sec) % [46/87] delay_interp:interp7 ...................... passed (0.001 sec) % [47/87] delay_interp:interp8 ...................... passed (0.001 sec) % [48/87] delay_interp:interp9 ...................... passed (0.001 sec) % [49/87] delay_interp:interp10 ..................... passed (0.001 sec) % [50/87] delay_interp:interp11 ..................... passed (0.001 sec) % [51/87] delay_non_strat_neg:two_ary ............... passed (0.001 sec) % [52/87] delay_non_strat_neg:abol_susp1 ............ passed (0.001 sec) % [53/87] delay_non_strat_neg:abol_susp2 ............ passed (0.001 sec) % [54/87] delay_non_strat_neg:przy1 ................. passed (0.001 sec) % [55/87] delay_non_strat_neg:przy1_simp ............ passed (0.001 sec) % [56/87] delay_non_strat_neg:nonstrat1 ............. passed (0.001 sec) % [57/87] delay_non_strat_neg:nonstrat2 ............. passed (0.001 sec) % [58/87] delay_wfs_neg:p1 .......................... passed (0.001 sec) % [59/87] delay_wfs_neg:p2 .......................... passed (0.001 sec) % [60/87] delay_wfs_neg:p3 .......................... passed (0.001 sec) % [61/87] delay_wfs_neg:p4 .......................... passed (0.001 sec) % [62/87] delay_wfs_neg:p5 .......................... passed (0.001 sec) % [63/87] delay_wfs_neg:simpl_win ................... passed (0.001 sec) % [64/87] delay_wfs_neg:win ......................... passed (0.001 sec) % [65/87] delay_wfs_neg:cond_uncond ................. passed (0.001 sec) % [66/87] delay_wfs_neg:ullman3 ..................... passed (0.002 sec) % [67/87] delay_wfs_neg:undef1 ...................... passed (0.001 sec) % [68/87] delay_wfs_neg:undef2 ...................... passed (0.001 sec) % [69/87] delay_pos_simpl:pos_simpl1 ................ passed (0.001 sec) % [70/87] delay_ac:weidong2 ......................... passed (0.001 sec) % [71/87] delay_ac:weidong3 ......................... passed (0.001 sec) % [72/87] delay_ac:weidong4 ......................... passed (0.001 sec) % [73/87] delay_ac:weidong5 ......................... passed (0.001 sec) % [74/87] delay_ac:weidong6 ......................... passed (0.001 sec) % [75/87] delay_ac:weidong7 ......................... passed (0.001 sec) % [76/87] delay_ac:weidong8 ......................... passed (0.001 sec) % [77/87] delay_ac:interp12 ......................... passed (0.001 sec) % [78/87] delay_ac:interp13 ......................... passed (0.001 sec) % [79/87] delay_ac:interp14 ......................... passed (0.001 sec) % [80/87] delay_ac:interp15 ......................... passed (0.001 sec) % [81/87] delay_misc:avoid_flounder ................. passed (0.002 sec) % [82/87] delay_misc:residual1 ...................... passed (0.004 sec) % [83/87] delay_misc:fa ............................. passed (0.021 sec) % [84/87] delay_misc:delay_var ...................... passed (0.039 sec) % [85/87] delay_misc:tabsimp_seq .................... passed (0.040 sec) % [86/87] delay_misc:wmay_winbug .................... passed (0.004 sec) % [87/87] delay_misc:ac_tests ....................... passed (0.012 sec) . done Running scripts from wfs_tests % [1/72] xsb_wfs:p06 ................................ passed (0.001 sec) % [2/72] xsb_wfs:p07 ................................ passed (0.001 sec) % [3/72] xsb_wfs:p08 ................................ passed (0.001 sec) % [4/72] xsb_wfs:p09 ................................ passed (0.001 sec) % [5/72] xsb_wfs:p10 ................................ passed (0.001 sec) % [6/72] xsb_wfs:p11 ................................ passed (0.001 sec) % [7/72] xsb_wfs:p12 ................................ passed (0.001 sec) % [8/72] xsb_wfs:p13 ................................ passed (0.001 sec) % [9/72] xsb_wfs:p14 ................................ passed (0.001 sec) % [10/72] xsb_wfs:p15 ............................... passed (0.001 sec) % [11/72] xsb_wfs:p16 ............................... passed (0.001 sec) % [12/72] xsb_wfs:p17 ............................... passed (0.003 sec) % [13/72] xsb_wfs:p18 ............................... passed (0.001 sec) % [14/72] xsb_wfs:p19 ............................... passed (0.001 sec) % [15/72] xsb_wfs:p20 ............................... passed (0.001 sec) % [16/72] xsb_wfs:p21 ............................... passed (0.002 sec) % [17/72] xsb_wfs:p22 ............................... passed (0.001 sec) % [18/72] xsb_wfs:p23 ............................... passed (0.002 sec) % [19/72] xsb_wfs:p24 ............................... passed (0.001 sec) % [20/72] xsb_wfs:p25 ............................... passed (0.001 sec) % [21/72] xsb_wfs:p26 ............................... passed (0.002 sec) % [22/72] xsb_wfs:p27 ............................... passed (0.001 sec) % [23/72] xsb_wfs:p29 ............................... passed (0.001 sec) % [24/72] xsb_wfs:p30 ............................... passed (0.001 sec) % [25/72] xsb_wfs:p31 ............................... passed (0.001 sec) % [26/72] xsb_wfs:p32 ............................... passed (0.001 sec) % [27/72] xsb_wfs:p33 ............................... passed (0.001 sec) % [28/72] xsb_wfs:p34 ............................... passed (0.001 sec) % [29/72] xsb_wfs:p35 ............................... passed (0.001 sec) % [30/72] xsb_wfs:p36 ............................... passed (0.001 sec) % [31/72] xsb_wfs:p37 ............................... passed (0.001 sec) % [32/72] xsb_wfs:p39 ............................... passed (0.001 sec) % [33/72] xsb_wfs:p40 ............................... passed (0.001 sec) % [34/72] xsb_wfs:p42 ............................... passed (0.002 sec) % [35/72] xsb_wfs:p43 ............................... passed (0.001 sec) % [36/72] xsb_wfs:p44 ............................... passed (0.001 sec) % [37/72] xsb_wfs:p45 ............................... passed (0.001 sec) % [38/72] xsb_wfs:p46 ............................... passed (0.001 sec) % [39/72] xsb_wfs:p47 ............................... passed (0.001 sec) % [40/72] xsb_wfs:p48 ............................... passed (0.001 sec) % [41/72] xsb_wfs:p49 ............................... passed (0.001 sec) % [42/72] xsb_wfs:p50 ............................... passed (0.001 sec) % [43/72] xsb_wfs:p51 ............................... passed (0.001 sec) % [44/72] xsb_wfs:p52a .............................. passed (0.003 sec) % [45/72] xsb_wfs:p52 ............................... passed (0.003 sec) % [46/72] xsb_wfs:p53 ............................... passed (0.003 sec) % [47/72] xsb_wfs:p54 ............................... passed (0.003 sec) % [48/72] xsb_wfs:p55 ............................... passed (0.004 sec) % [49/72] xsb_wfs:p56 ............................... passed (0.005 sec) % [50/72] xsb_wfs:p57 ............................... passed (0.005 sec) % [51/72] xsb_wfs:p58 ............................... passed (0.007 sec) % [52/72] xsb_wfs:p59 ............................... passed (0.008 sec) % [53/72] xsb_wfs:p60 ............................... passed (0.001 sec) % [54/72] xsb_wfs:p62 ............................... passed (0.002 sec) % [55/72] xsb_wfs:p63 ............................... passed (0.001 sec) % [56/72] xsb_wfs:p64 ............................... passed (0.001 sec) % [57/72] xsb_wfs:p65 ............................... passed (0.001 sec) % [58/72] xsb_wfs:p66 ............................... passed (0.001 sec) % [59/72] xsb_wfs:p67 ............................... passed (0.001 sec) % [60/72] xsb_wfs:p77 ............................... passed (0.001 sec) % [61/72] xsb_wfs:p78 ............................... passed (0.001 sec) % [62/72] xsb_wfs:p79 ............................... passed (0.002 sec) % [63/72] xsb_wfs:p80 ............................... passed (0.001 sec) % [64/72] xsb_wfs:p81 ............................... passed (0.001 sec) % [65/72] xsb_wfs:p82 ............................... passed (0.002 sec) % [66/72] xsb_wfs:p83 ............................... passed (0.001 sec) % [67/72] xsb_wfs:p84 ............................... passed (0.001 sec) % [68/72] xsb_wfs:p85 ............................... passed (0.002 sec) % [69/72] xsb_wfs:p86 ............................... passed (0.001 sec) % [70/72] xsb_wfs:p89 ............................... passed (0.001 sec) % [71/72] xsb_wfs:p90 ............................... passed (0.001 sec) % [72/72] xsb_wfs:p91 ............................... passed (0.001 sec) . done Running scripts from table_tests % [1/32] xsb_test_tables:abol_test .................. passed (0.002 sec) % [2/32] xsb_test_tables:abol_test2 ................. passed (0.002 sec) % [3/32] xsb_test_tables:abol_test2a ................ passed (0.001 sec) % [4/32] xsb_test_tables:abol_test3 ................. passed (0.002 sec) % [5/32] xsb_test_tables:abol_test3a ................ passed (0.002 sec) % [6/32] xsb_test_tables:abol_test3b ................ passed (0.002 sec) % [7/32] xsb_test_tables:abol_test3c ................ passed (0.003 sec) % [8/32] xsb_test_tables:abolish_cascade ............ passed (0.005 sec) % [9/32] xsb_test_tables:abolish_cascade_pred ....... passed (0.003 sec) % [10/32] xsb_test_tables:abolish_cycle ............. passed (0.002 sec) % [11/32] xsb_test_tables:abolish_dag ............... passed (0.002 sec) % [12/32] xsb_test_tables:abolish_neg_cycle ......... passed (0.002 sec) % [13/32] xsb_test_tables:abolish_neg_dag ........... passed (0.003 sec) % [14/32] xsb_test_tables:atc_test .................. passed (0.007 sec) % [15/32] xsb_test_tables:concomp ................... passed (0.045 sec) % [16/32] xsb_test_tables:expand .................... passed (0.099 sec) % [17/32] xsb_test_tables:ins ....................... passed (0.017 sec) % [18/32] xsb_test_tables:large_arity_tables ........ passed (0.004 sec) % [19/32] xsb_test_tables:lrbug ..................... passed (0.002 sec) % [20/32] xsb_test_tables:pps ....................... passed (0.001 sec) % [21/32] xsb_test_tables:pred_abolish_cycle ........ passed (0.003 sec) % [22/32] xsb_test_tables:pred_abolish_dag .......... passed (0.004 sec) % [23/32] xsb_test_tables:recursive_aboltest ........ passed (0.003 sec) % [24/32] xsb_test_tables:tabbug1 ................... passed (0.001 sec) % [25/32] xsb_test_tables:test_3vwfs_1 .............. passed (0.002 sec) % [26/32] xsb_test_tables:test_calldepth ............ passed (0.002 sec) % [27/32] xsb_test_tables:test_cyclic_tabling ....... passed (0.001 sec) % [28/32] xsb_test_tables:t.._large_tabled_terms .... passed (0.076 sec) % [29/32] xsb_test_tables:test_maxans_decl .......... passed (0.014 sec) % [30/32] xsb_test_tables:test_negcycle ............. passed (0.002 sec) % [31/32] xsb_test_tables:test_tda .................. passed (0.004 sec) % [32/32] xsb_test_tables:test_tda_i ................ passed (0.004 sec) . done Running scripts from incremental_tests % [1/15] xsb_test_incremental:incremental ........... passed (0.002 sec) % [2/15] xsb_test_incremental:incremental1 .......... passed (0.002 sec) % [3/15] xsb_test_incremental:inc_trie_dyn .......... passed (0.002 sec) % [4/15] xsb_test_incremental:incremental_rule ...... passed (0.001 sec) % [5/15] xsb_test_incremen..ncremental_rule_alt ..... passed (0.001 sec) % [6/15] xsb_test_incremental:test_incr_depends ..... passed (0.002 sec) % [7/15] xsb_test_incremen..test_incr_depends_2 ..... passed (0.002 sec) % [8/15] xsb_test_incremental:test_inc_switch ....... passed (0.002 sec) % [9/15] xsb_test_incremen..:test_sound_updates ..... passed (0.002 sec) % [10/15] xsb_test_incremental:test_wfs_update ...... passed (0.003 sec) % [11/15] xsb_test_incremental:incr_test_romero ..... passed (0.002 sec) % [12/15] xsb_test_incremen..lish_nonincremental .... passed (0.002 sec) % [13/15] xsb_test_incremental:inc_atc .............. passed (0.002 sec) % [14/15] xsb_test_incremental:inc_atc_gc ........... passed (0.001 sec) % [15/15] xsb_test_incremental:inc_atc_gc_tricky .... passed (0.006 sec) . done Running scripts from nonmt_tests % [1/9] xsb_test_nonmt:test_iso_basic ............... passed (0.005 sec) % [2/9] xsb_test_nonmt:test_iso_mult_visit .......... passed (0.006 sec) % [3/9] xsb_test_nonmt:test_iso_hash ................ passed (0.003 sec) % [4/9] xsb_test_nonmt:test_iso_undef ............... passed (0.002 sec) % [5/9] xsb_test_nonmt:test_lazy .................... passed (0.003 sec) % [6/9] xsb_test_nonmt:test_introspection ........... passed (0.002 sec) % [7/9] xsb_test_nonmt:test_invalidate .............. passed (0.002 sec) % [8/9] xsb_test_nonmt:cmu_sei_0050 ................. passed (0.001 sec) % [9/9] xsb_test_nonmt:test_recomputable ............ passed (0.001 sec) . done Running scripts from sub_tests % [1/36] xsb_sub:lrtc1 .............................. passed (0.003 sec) % [2/36] xsb_sub:lrtc2 .............................. passed (0.002 sec) % [3/36] xsb_sub:lrtc3 .............................. passed (0.002 sec) % [4/36] xsb_sub:lrtc4 .............................. passed (0.002 sec) % [5/36] xsb_sub:lrtc5 .............................. passed (0.003 sec) % [6/36] xsb_sub:lrtc6 .............................. passed (0.003 sec) % [7/36] xsb_sub:lrtc7 .............................. passed (0.003 sec) % [8/36] xsb_sub:lrtc8 .............................. passed (0.003 sec) % [9/36] xsb_sub:rrtc1 .............................. passed (0.002 sec) % [10/36] xsb_sub:rrtc2 ............................. passed (0.003 sec) % [11/36] xsb_sub:rrtc3 ............................. passed (0.003 sec) % [12/36] xsb_sub:rrtc4 ............................. passed (0.002 sec) % [13/36] xsb_sub:rrtc5 ............................. passed (0.002 sec) % [14/36] xsb_sub:rrtc6 ............................. passed (0.002 sec) % [15/36] xsb_sub:rrtc7 ............................. passed (0.002 sec) % [16/36] xsb_sub:rrtc8 ............................. passed (0.003 sec) % [17/36] xsb_sub:drtc1 ............................. passed (0.002 sec) % [18/36] xsb_sub:drtc2 ............................. passed (0.002 sec) % [19/36] xsb_sub:drtc3 ............................. passed (0.002 sec) % [20/36] xsb_sub:drtc4 ............................. passed (0.002 sec) % [21/36] xsb_sub:drtc5 ............................. passed (0.002 sec) % [22/36] xsb_sub:drtc6 ............................. passed (0.002 sec) % [23/36] xsb_sub:drtc7 ............................. passed (0.002 sec) % [24/36] xsb_sub:drtc8 ............................. passed (0.003 sec) % [25/36] xsb_sub:sg1 ............................... passed (0.002 sec) % [26/36] xsb_sub:sg2 ............................... passed (0.002 sec) % [27/36] xsb_sub:sg3 ............................... passed (0.002 sec) % [28/36] xsb_sub:sg4 ............................... passed (0.002 sec) % [29/36] xsb_sub:sg5 ............................... passed (0.002 sec) % [30/36] xsb_sub:sg6 ............................... passed (0.002 sec) % [31/36] xsb_sub:sg7 ............................... passed (0.002 sec) % [32/36] xsb_sub:sg8 ............................... passed (0.002 sec) % [33/36] xsb_sub:genome1 ........................... passed (0.002 sec) % [34/36] xsb_sub:genome2 ........................... passed (0.002 sec) % [35/36] xsb_sub:genome3 ........................... passed (0.002 sec) % [36/36] xsb_sub:test_answer_abstraction ........... passed (0.002 sec) . done Running scripts from attv_tests % [1/7] xsb_attv_tests:attv_test .................... passed (0.002 sec) % [2/7] xsb_attv_tests:copyterm_attv ................ passed (0.002 sec) % [3/7] xsb_attv_tests:fd1 .......................... passed (0.003 sec) % [4/7] xsb_attv_tests:findall_attv ................. passed (0.001 sec) % [5/7] xsb_attv_tests:general ...................... passed (0.001 sec) % [6/7] xsb_attv_tests:interrupt1 ................... passed (0.001 sec) % [7/7] xsb_attv_tests:ret_attv ..................... passed (0.001 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.002 sec) % [15/15] rationalize:roundtrip_rationalize ......... passed (0.002 sec) . % [1/5] cmpr:compare_modes .......................... passed (0.000 sec) % [2/5] cmpr:compare_corners ........................ passed (0.000 sec) % [3/5] cmpr:realerrors ............................. passed (0.000 sec) % [4/5] cmpr:neg .................................... passed (0.000 sec) % [5/5] maxminr:realmaxmin .......................... passed (0.000 sec) . done *** 1 tests failed *** Saving _problems/test-rswipl-16.R Start testing package chr:chr Package chr:chr......................... passed 0.16 sec. All tests passed Start testing package sgml:sgml Package sgml:sgml....................... passed 0.72 sec. Start testing package sgml:sgml_write Package sgml:sgml_write................. passed 0.18 sec. Start testing package sgml:xsd Package sgml:xsd........................ passed 0.16 sec. Start testing package sgml:c14n Package sgml:c14n....................... passed 0.18 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
checking PDF version of manual ... [2s/2s] OK
DONE Status: 1 ERROR
using check arguments '--no-clean-on-error '