* using log directory 'd:/Rcompile/CRANpkg/local/4.6/rswipl.Rcheck' * using R version 4.6.0 (2026-04-24 ucrt) * using platform: x86_64-w64-mingw32 * R was compiled by gcc.exe (GCC) 14.3.0 GNU Fortran (GCC) 14.3.0 * running under: Windows Server 2022 x64 (build 20348) * using session charset: UTF-8 * current time: 2026-06-06 14:02:03 UTC * checking for file 'rswipl/DESCRIPTION' ... OK * checking extension type ... Package * this is package 'rswipl' version '10.1.8' * 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 hidden files and directories ... OK * checking for portable file names ... OK * checking whether package 'rswipl' can be installed ... OK * used C++ compiler: 'g++.exe (GCC) 14.3.0' * checking installed package size ... INFO installed size is 58.0Mb sub-directories of 1Mb or more: libs 1.1Mb swipl 56.7Mb * 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 ... [1s] OK * checking whether the package can be loaded with stated dependencies ... [0s] OK * checking whether the package can be unloaded cleanly ... [1s] OK * checking whether the namespace can be loaded with stated dependencies ... [0s] OK * checking whether the namespace can be unloaded cleanly ... [1s] OK * checking loading without being on the library search path ... [1s] OK * checking whether startup messages can be suppressed ... [1s] OK * checking use of S3 registration ... 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 ... [2s] OK * checking Rd files ... [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 pragmas in C/C++ headers and code ... OK * checking compiled code ... OK * checking examples ... [1s] OK * checking for unstated dependencies in 'tests' ... OK * checking tests ... [39s] ERROR Running 'testthat.R' [39s] Running the tests in 'tests/testthat.R' failed. Complete output: > library(testthat) > library(rswipl) > > test_check("rswipl") Running test set "arithmetic_functions" done. Running test set "chars" .. done. Running test set "wchars" .. done. Running test set "depth_limit" ..... done. Running test set "type_test" .... done. Running test set "meta" ............... done. Running test set "avar" .......................... done. Running test set "gvar" ..... done. Running test set "copy_term" .............. done. Running test set "term_hash" done. Running test set "cyclic" done. Running test set "cleanup" ............. done. Running test set "term" ........... done. Running test set "list" ........... done. Running test set "sets" ......... done. Running test set "atom_handling" ........................ done. Running test set "string_handling" ..... done. Running test set "proc" ........ done. Running test set "cl" ........... done. Running test set "record" ....... done. Running test set "compiler" ....... done. Running test set "flag" . done. Running test set "update" ... done. Running test set "gc" ........ done. Running test set "control" ......... done. Running test set "exception" ...... done. Running test set "term_atom" .. done. Running test set "os" .. done. Running test set "io" .. done. Running test set "timeout" done. Running test set "file" ............. done. Running test set "unicode_file" .... done. Running test set "seek" . done. Running test set "load_program" . done. Running test set "ctype" ...... done. Running test set "wctype" . done. Running test set "thread" ....... done. Running test set "engines" done. Running test set "mutex" ... done. Running scripts from unprotected % [1/21] reconsult:simple ........................... passed (0.020 sec) % [2/21] reconsult:add_clause ....................... passed (0.002 sec) % [3/21] reconsult:del_clause ....................... passed (0.002 sec) % [4/21] reconsult:del_clause_a ..................... passed (0.002 sec) % [5/21] reconsult:del_clause_z ..................... passed (0.002 sec) % [6/21] reconsult:replace_clause ................... passed (0.002 sec) % [7/21] reconsult:add_pred ......................... passed (0.002 sec) % [8/21] reconsult:del_pred ......................... passed (0.002 sec) % [9/21] reconsult:add_attr_end ..................... passed (0.002 sec) % [10/21] reconsult:del_attr_end .................... passed (0.002 sec) % [11/21] reconsult:del_dynamic ..................... passed (0.002 sec) % [12/21] reconsult:del_det ......................... passed (0.002 sec) % [13/21] reconsult:add_thread_local ................ passed (0.002 sec) % [14/21] reconsult:del_discontiguous ............... passed (0.002 sec) % [15/21] reconsult:add_meta_predicate .............. passed (0.002 sec) % [16/21] reconsult:del_meta_predicate .............. passed (0.002 sec) % [17/21] reconsult:del_export ...................... passed (0.002 sec) % [18/21] reconsult:reload_maplist .................. passed (0.009 sec) % [19/21] reconsult:mod_dynamic ..................... passed (0.003 sec) % [20/21] reconsult:goal_expansion .................. passed (0.006 sec) % [21/21] reconsult:keep_tabling .................... passed (0.004 sec) . % [1/15] sandbox:cleanup ............................ passed (0.000 sec) % [2/15] sandbox:time ............................... passed (0.001 sec) % [3/15] sandbox:setof .............................. passed (0.000 sec) % [4/15] sandbox:phrase ............................. passed (0.000 sec) % [5/15] sandbox:apply .............................. passed (0.000 sec) % [6/15] sandbox:aggregate .......................... passed (0.000 sec) % [7/15] sandbox:aggregate .......................... passed (0.000 sec) % [8/15] sandbox:dcg ................................ passed (0.000 sec) % [9/15] sandbox:contexr ............................ passed (0.000 sec) % [10/15] sandbox:assert ............................ passed (0.000 sec) % [11/15] sandbox:assert ............................ passed (0.000 sec) % [12/15] sandbox:predicate_property ................ passed (0.000 sec) % [13/15] sandbox:predicate_property ................ passed (0.000 sec) % [14/15] sandbox:flag .............................. passed (0.000 sec) % [15/15] sandbox:flag .............................. passed (0.000 sec) . done Running scripts from core % [1/52] acyclic_terms:var_is_acyclic ............... passed (0.000 sec) % [2/52] acyclic_terms:atom_is_acyclic .............. passed (0.000 sec) % [3/52] acyclic_terms:term_is_acyclic .............. passed (0.000 sec) % [4/52] acyclic_terms:sub_term_is_acyclic .......... passed (0.000 sec) % [5/52] acyclic_terms:sib..g_leaves_is_acyclic ..... passed (0.000 sec) % [6/52] acyclic_terms:sub..and_leaf_is_acyclic ..... passed (0.000 sec) % [7/52] acyclic_terms:lea.._subterm_is_acyclic ..... passed (0.000 sec) % [8/52] acyclic_terms:sib..ub_terms_is_acyclic ..... passed (0.000 sec) % [9/52] acyclic_terms:mul..ub_terms_is_acyclic ..... passed (0.000 sec) % [10/52] acyclic_terms:mul..ub_terms_is_acyclic .... passed (0.000 sec) % [11/52] acyclic_terms:shared_term_is_acyclic_1 .... passed (0.000 sec) % [12/52] acyclic_terms:shared_term_is_acyclic_2 .... passed (0.000 sec) % [13/52] acyclic_terms:shared_term_is_acyclic_3 .... passed (0.000 sec) % [14/52] acyclic_terms:shared_term_is_acyclic_4 .... passed (0.000 sec) % [15/52] acyclic_terms:zer..ity_term_is_acyclic .... passed (0.000 sec) % [16/52] acyclic_terms:zer..sub_term_is_acyclic .... passed (0.000 sec) % [17/52] acyclic_terms:zer..red_term_is_acyclic .... passed (0.000 sec) % [18/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.000 sec) % [19/52] acyclic_terms:dee..eft_term_is_acyclic .... passed (0.000 sec) % [20/52] acyclic_terms:dee..ght_term_is_acyclic .... passed (0.000 sec) % [21/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.002 sec) % [22/52] acyclic_terms:wid..ted_term_is_acyclic .... passed (0.025 sec) % [23/52] acyclic_terms:list_is_acyclic ............. passed (0.000 sec) % [24/52] acyclic_terms:empty_list_is_acyclic ....... passed (0.000 sec) % [25/52] acyclic_terms:long_list_is_acyclic_1 ...... passed (0.024 sec) % [26/52] acyclic_terms:long_list_is_acyclic_2 ...... passed (0.024 sec) % [27/52] acyclic_terms:long_list_is_acyclic_3 ...... passed (0.024 sec) % [28/52] cyclic_terms:term_is_cyclic ............... passed (0.000 sec) % [29/52] cyclic_terms:sub_term_is_acyclic .......... passed (0.000 sec) % [30/52] cyclic_terms:sub_.._and_leaf_is_cyclic .... passed (0.000 sec) % [31/52] cyclic_terms:leaf..d_subterm_is_cyclic .... passed (0.000 sec) % [32/52] cyclic_terms:mult..sub_terms_is_cyclic .... passed (0.000 sec) % [33/52] cyclic_terms:mult..sub_terms_is_cyclic .... passed (0.000 sec) % [34/52] cyclic_terms:deep..sted_term_is_cyclic .... passed (0.000 sec) % [35/52] cyclic_terms:deep..left_term_is_cyclic .... passed (0.000 sec) % [36/52] cyclic_terms:deep..ight_term_is_cyclic .... passed (0.000 sec) % [37/52] cyclic_terms:deep..ed_term_is_cyclic_1 .... passed (0.003 sec) % [38/52] cyclic_terms:deep..ed_term_is_cyclic_2 .... passed (0.003 sec) % [39/52] cyclic_terms:wide..ed_term_is_cyclic_1 .... passed (0.030 sec) % [40/52] cyclic_terms:wide..ed_term_is_cyclic_2 .... passed (0.021 sec) % [41/52] cyclic_terms:list_is_cyclic ............... passed (0.000 sec) % [42/52] cyclic_terms:long_list_is_cyclic .......... passed (0.006 sec) % [43/52] cyclic_misc:term_hash_1 ................... passed (0.000 sec) % [44/52] cyclic_misc:streq_1 ....................... passed (0.000 sec) % [45/52] cyclic_misc:test_1 ........................ passed (0.000 sec) % [46/52] cyclic_misc:test_2 ........................ passed (0.000 sec) % [47/52] cyclic_misc:test_3 ........................ passed (0.000 sec) % [48/52] cyclic_misc:test_4 ........................ passed (0.000 sec) % [49/52] cyclic_misc:test_5 ........................ passed (0.000 sec) % [50/52] cyclic_misc:test_6 ........................ passed (0.000 sec) % [51/52] cyclic_misc:list_1 ........................ passed (0.000 sec) % [52/52] cyclic_misc:sort_1 ........................ passed (0.000 sec) .Skipped toplevel answer tests; requires library(unix) from clib . % [1/221] arith_basics:arith_1 ...................... passed (0.000 sec) % [2/221] arith_basics:arith_2 ...................... passed (0.000 sec) % [3/221] arith_basics:arith_3 ...................... passed (0.000 sec) % [4/221] arith_basics:arith_4 ...................... passed (0.000 sec) % [5/221] arith_basics:arith_5 ...................... passed (0.000 sec) % [6/221] arith_basics:arith_6 ...................... passed (0.000 sec) % [7/221] arith_basics:arith_7 ...................... passed (0.000 sec) % [8/221] arith_basics:arith_8 ...................... passed (0.000 sec) % [9/221] arith_basics:arith_9 ...................... passed (0.000 sec) % [10/221] arith_basics:arith_10 .................... passed (0.000 sec) % [11/221] arith_basics:float_fractional_part_1 ..... passed (0.000 sec) % [12/221] arith_basics:arith_11 .................... passed (0.000 sec) % [13/221] arith_basics:arith_12 .................... passed (0.000 sec) % [14/221] arith_basics:arith_13 .................... passed (0.000 sec) % [15/221] arith_basics:sign_1 ...................... passed (0.000 sec) % [16/221] arith_basics:sign_2 ...................... passed (0.000 sec) % [17/221] arith_basics:sign_3 ...................... passed (0.000 sec) % [18/221] arith_basics:copysign_1 .................. passed (0.000 sec) % [19/221] arith_basics:copysign_2 .................. passed (0.000 sec) % [20/221] arith_basics:copysign_3 .................. passed (0.000 sec) % [21/221] arith_basics:abs_1 ....................... passed (0.000 sec) % [22/221] arith_basics:floor_1 ..................... passed (0.000 sec) % [23/221] arith_basics:ceil_1 ...................... passed (0.000 sec) % [24/221] arith_basics:truncate_1 .................. passed (0.000 sec) % [25/221] arith_basics:floor_2 ..................... passed (0.000 sec) % [26/221] arith_basics:ceil_2 ...................... passed (0.000 sec) % [27/221] arith_basics:round_2 ..................... passed (0.000 sec) % [28/221] arith_basics:integer_2 ................... passed (0.000 sec) % [29/221] arith_basics:int_1 ....................... passed (0.000 sec) % [30/221] arith_basics:cmp_1 ....................... passed (0.000 sec) % [31/221] div:mod .................................. passed (0.000 sec) % [32/221] div:minint ............................... passed (0.000 sec) % [33/221] div:minint ............................... passed (0.000 sec) % [34/221] gdiv:minint .............................. passed (0.000 sec) % [35/221] rem:small ................................ passed (0.000 sec) % [36/221] rem:small_divneg ......................... passed (0.000 sec) % [37/221] rem:small_neg ............................ passed (0.000 sec) % [38/221] rem:big .................................. passed (0.000 sec) % [39/221] rem:big_neg .............................. passed (0.000 sec) % [40/221] rem:exhaust .............................. passed (0.000 sec) % [41/221] rem:big .................................. passed (0.000 sec) % [42/221] rem:allq ................................. passed (0.005 sec) % [43/221] mod:small ................................ passed (0.000 sec) % [44/221] mod:small_divneg ......................... passed (0.000 sec) % [45/221] mod:small_neg ............................ passed (0.000 sec) % [46/221] mod:big .................................. passed (0.000 sec) % [47/221] mod:big_neg .............................. passed (0.000 sec) % [48/221] mod:exhaust .............................. passed (0.000 sec) % [49/221] mod:big .................................. passed (0.000 sec) % [50/221] pow:rat .................................. passed (0.000 sec) % [51/221] pow:rat .................................. passed (0.000 sec) % [52/221] pow:rat .................................. passed (0.000 sec) % [53/221] pow:2^65 ................................. passed (0.000 sec) % [54/221] gcd:gcd .................................. passed (0.000 sec) % [55/221] gcd:gcd .................................. passed (0.000 sec) % [56/221] gcd:gcd .................................. passed (0.000 sec) % [57/221] shift:shift_right_large .................. passed (0.000 sec) % [58/221] shift:shift_right_large .................. passed (0.000 sec) % [59/221] shift:shift_right_large .................. passed (0.000 sec) % [60/221] shift:shift_right_large .................. passed (0.000 sec) % [61/221] shift:shift_left_large ................... passed (0.000 sec) % [62/221] errors:cyclic ............................ passed (0.000 sec) % [63/221] ar_builtin:a_add_fc_int .................. passed (0.000 sec) % [64/221] ar_builtin:a_add_fc_float ................ passed (0.000 sec) % [65/221] ar_builtin:a_fc_minus .................... passed (0.000 sec) % [66/221] eval:ref ................................. passed (0.000 sec) % [67/221] hyperbolic:sinh .......................... passed (0.000 sec) % [68/221] hyperbolic:cosh .......................... passed (0.000 sec) % [69/221] hyperbolic:tanh .......................... passed (0.000 sec) % [70/221] hyperbolic:asinh ......................... passed (0.000 sec) % [71/221] hyperbolic:acosh ......................... passed (0.000 sec) % [72/221] hyperbolic:atanh ......................... passed (0.000 sec) % [73/221] bigint:add_promote1 ...................... passed (0.000 sec) % [74/221] bigint:add_promote2 ...................... passed (0.000 sec) % [75/221] bigint:neg_1 ............................. passed (0.000 sec) % [76/221] bigint:neg_2 ............................. passed (0.000 sec) % [77/221] bigint:neg_promote ....................... passed (0.000 sec) % [78/221] bigint:abs_1 ............................. passed (0.000 sec) % [79/221] bigint:sign_1 ............................ passed (0.000 sec) % [80/221] bigint:floor_1 ........................... passed (0.000 sec) % [81/221] bigint:floor_2 ........................... passed (0.000 sec) % [82/221] bigint:ceil_1 ............................ passed (0.000 sec) % [83/221] bigint:ceil_2 ............................ passed (0.000 sec) % [84/221] bigint:msb_0 ............................. passed (0.000 sec) % [85/221] bigint:msb_1 ............................. passed (0.000 sec) % [86/221] bigint:msb_2 ............................. passed (0.000 sec) % [87/221] bigint:lsb_0 ............................. passed (0.000 sec) % [88/221] bigint:lsb_1 ............................. passed (0.000 sec) % [89/221] bigint:lsb_2 ............................. passed (0.000 sec) % [90/221] bigint:popcount_1 ........................ passed (0.000 sec) % [91/221] bigint:popcount_2 ........................ passed (0.000 sec) % [92/221] bigint:shift_1 ........................... passed (0.000 sec) % [93/221] bigint:shift_2 ........................... passed (0.000 sec) % [94/221] bigint:shift_3 ........................... passed (0.195 sec) % [95/221] bigint:fac_1 ............................. passed (0.000 sec) % [96/221] bigint:arith_1 ........................... passed (0.000 sec) % [97/221] bigint:pow_1 ............................. passed (0.000 sec) % [98/221] bigint:pow_2 ............................. passed (0.000 sec) % [99/221] bigint:pow_3 ............................. passed (0.000 sec) % [100/221] bigint:pow_4 ............................ passed (0.000 sec) % [101/221] bigint:pow_5 ............................ passed (0.000 sec) % [102/221] bigint:pow_6 ............................ passed (0.000 sec) % [103/221] bigint:pow_7 ............................ passed (0.000 sec) % [104/221] bigint:powm_1 ........................... passed (0.000 sec) % [105/221] bigint:powm_2 ........................... passed (0.000 sec) % [106/221] bigint:integer_1 ........................ passed (0.000 sec) % [107/221] bigint:integer_2 ........................ passed (0.000 sec) % [108/221] bigint:rational_1 ....................... passed (0.000 sec) % [109/221] bigint:rational_2 ....................... passed (0.000 sec) % [110/221] bigint:rational_3 ....................... passed (0.000 sec) % [111/221] bigint:rational_4 ....................... passed (0.000 sec) % [112/221] bigint:rationalize_1 .................... passed (0.000 sec) % [113/221] bigint:rationalize_2 .................... passed (0.000 sec) % [114/221] bigint:number_1 ......................... passed (0.000 sec) % [115/221] bigint:float_1 .......................... passed (0.000 sec) % [116/221] bigint:cmp_1 ............................ passed (0.000 sec) % [117/221] bigint:clause_1 ......................... passed (0.000 sec) % [118/221] bigint:comp_1 ........................... passed (0.001 sec) % [119/221] bigint:comp_2 ........................... passed (0.000 sec) % [120/221] bigint:rec_1 ............................ passed (0.002 sec) % [121/221] bigint:number_codes_1 ................... passed (0.000 sec) % [122/221] bigint:atom_number_1 .................... passed (0.000 sec) % [123/221] bigint:hex_1 ............................ passed (0.000 sec) % [124/221] bigint:fmtd_1 ........................... passed (0.000 sec) % [125/221] bigint:fmtd_2 ........................... passed (0.000 sec) % [126/221] bigint:fmtD_1 ........................... passed (0.000 sec) % [127/221] bigint:fmtD_2 ........................... passed (0.000 sec) % [128/221] bigint:fmtf_1 ........................... passed (0.003 sec) % [129/221] bigint:random ........................... passed (0.005 sec) % [130/221] bigint:length ........................... passed (0.000 sec) % [131/221] bigint:ar_add_ui ........................ passed (0.000 sec) % [132/221] bigint:bf_trig_alloc .................... passed (0.001 sec) % [133/221] minint:decimal .......................... passed (0.000 sec) % [134/221] minint:spaced_decimal ................... passed (0.000 sec) % [135/221] minint:binary ........................... passed (0.000 sec) % [136/221] minint:spaced_binary .................... passed (0.000 sec) % [137/221] minint:octal ............................ passed (0.000 sec) % [138/221] minint:spaced_octal ..................... passed (0.000 sec) % [139/221] minint:hexadecimal ...................... passed (0.000 sec) % [140/221] minint:spaced_hexadecimal ............... passed (0.000 sec) % [141/221] minint_promotion:decimal ................ passed (0.000 sec) % [142/221] minint_promotion:spaced_decimal ......... passed (0.000 sec) % [143/221] minint_promotion:binary ................. passed (0.000 sec) % [144/221] minint_promotion:spaced_binary .......... passed (0.000 sec) % [145/221] minint_promotion:octal .................. passed (0.000 sec) % [146/221] minint_promotion:spaced_octal ........... passed (0.000 sec) % [147/221] minint_promotion:hexadecimal ............ passed (0.000 sec) % [148/221] minint_promotion:spaced_hexadecimal ..... passed (0.000 sec) % [149/221] minint_promotion:mpz_to_int64 ........... passed (0.000 sec) % [150/221] minint_promotion:addition ............... passed (0.000 sec) % [151/221] minint_promotion:addition ............... passed (0.000 sec) % [152/221] minint_promotion:subtraction ............ passed (0.000 sec) % [153/221] minint_promotion:multiplication ......... passed (0.000 sec) % [154/221] minint_promotion:multiplication ......... passed (0.000 sec) % [155/221] minint_promotion:multiplication ......... passed (0.000 sec) % [156/221] maxint:decimal .......................... passed (0.000 sec) % [157/221] maxint:spaced_decimal ................... passed (0.000 sec) % [158/221] maxint:binary ........................... passed (0.000 sec) % [159/221] maxint:spaced_binary .................... passed (0.000 sec) % [160/221] maxint:octal ............................ passed (0.000 sec) % [161/221] maxint:spaced_octal ..................... passed (0.000 sec) % [162/221] maxint:hexadecimal ...................... passed (0.000 sec) % [163/221] maxint:spaced_hexadecimal ............... passed (0.000 sec) % [164/221] maxint_promotion:decimal ................ passed (0.000 sec) % [165/221] maxint_promotion:spaced_decimal ......... passed (0.000 sec) % [166/221] maxint_promotion:binary ................. passed (0.000 sec) % [167/221] maxint_promotion:spaced_binary .......... passed (0.000 sec) % [168/221] maxint_promotion:octal .................. passed (0.000 sec) % [169/221] maxint_promotion:spaced_octal ........... passed (0.000 sec) % [170/221] maxint_promotion:hexadecimal ............ passed (0.000 sec) % [171/221] maxint_promotion:spaced_hexadecimal ..... passed (0.000 sec) % [172/221] maxint_promotion:addition ............... passed (0.000 sec) % [173/221] maxint_promotion:addition ............... passed (0.000 sec) % [174/221] maxint_promotion:subtraction ............ passed (0.000 sec) % [175/221] maxint_promotion:multiplication ......... passed (0.000 sec) % [176/221] maxint_promotion:multiplication ......... passed (0.000 sec) % [177/221] maxint_promotion:multiplication ......... passed (0.000 sec) % [178/221] round:half_down ......................... passed (0.000 sec) % [179/221] round:nhalf_up .......................... passed (0.000 sec) % [180/221] round:maxint ............................ passed (0.000 sec) % [181/221] round:minint ............................ passed (0.000 sec) % [182/221] float_misc:float_1 ...................... passed (0.000 sec) % [183/221] float_misc:float_2 ...................... passed (0.000 sec) % [184/221] float_misc:float_3 ...................... passed (0.000 sec) % [185/221] float_misc:float_4 ...................... passed (0.000 sec) % [186/221] float_misc:float_5 ...................... passed (0.000 sec) % [187/221] float_misc:float_6 ...................... passed (0.000 sec) % [188/221] float_misc:float_7 ...................... passed (0.000 sec) % [189/221] float_misc:float_8 ...................... passed (0.000 sec) % [190/221] float_overflow:max ...................... passed (0.000 sec) % [191/221] float_overflow:add ...................... passed (0.000 sec) % [192/221] float_overflow:minus .................... passed (0.000 sec) % [193/221] float_overflow:mul ...................... passed (0.000 sec) % [194/221] float_overflow:div ...................... passed (0.000 sec) % [195/221] float_overflow:div ...................... passed (0.000 sec) % [196/221] float_zero:eq ........................... passed (0.000 sec) % [197/221] float_zero:lt ........................... passed (0.000 sec) % [198/221] float_zero:gt ........................... passed (0.000 sec) % [199/221] float_zero:eq ........................... passed (0.000 sec) % [200/221] float_zero:lt ........................... passed (0.000 sec) % [201/221] float_zero:gt ........................... passed (0.000 sec) % [202/221] float_zero:cmp .......................... passed (0.000 sec) % [203/221] float_zero:cmp .......................... passed (0.000 sec) % [204/221] float_special:cmp ....................... passed (0.000 sec) % [205/221] float_compare:max_nan ................... passed (0.000 sec) % [206/221] float_compare:max_nan ................... passed (0.000 sec) % [207/221] float_compare:min_nan ................... passed (0.000 sec) % [208/221] float_compare:min_nan ................... passed (0.000 sec) % [209/221] arith_misc:string ....................... passed (0.000 sec) % [210/221] arith_misc:float_rval ................... passed (0.000 sec) % [211/221] arith_misc:float_rval ................... passed (0.000 sec) % [212/221] max_integer_size:set .................... passed (0.000 sec) % [213/221] max_integer_size:overflow ............... passed (0.000 sec) % [214/221] moded_int:between_1 ..................... passed (0.000 sec) % [215/221] moded_int:between_2 ..................... passed (0.000 sec) % [216/221] moded_int:between_3 ..................... passed (0.000 sec) % [217/221] moded_int:between_4 ..................... passed (0.000 sec) % [218/221] moded_int:succ_1 ........................ passed (0.000 sec) % [219/221] moded_int:succ_2 ........................ passed (0.000 sec) % [220/221] moded_int:succ_3 ........................ passed (0.000 sec) % [221/221] moded_int:plus_1 ........................ passed (0.000 sec) . % [1/4] bags:nsols .................................. passed (0.000 sec) % [2/4] bags:nsols_nested ........................... passed (0.000 sec) % [3/4] bags:nsols_commit ........................... passed (0.000 sec) % [4/4] bags:agc .................................... passed (0.105 sec) . % [1/49] bips:iso_8_3_10_4 .......................... passed (0.000 sec) % [2/49] bips:iso_8_3_10_4 .......................... passed (0.000 sec) % [3/49] bips:iso_8_3_10 ............................ passed (0.000 sec) % [4/49] bips:iso_8_3_10 ............................ passed (0.000 sec) % [5/49] bips:iso_8_3_10 ............................ passed (0.000 sec) % [6/49] bips:iso_8_4_2_4 ........................... passed (0.000 sec) % [7/49] bips:iso_8_4_2_4 ........................... passed (0.000 sec) % [8/49] bips:iso_8_4_2_4 ........................... passed (0.000 sec) % [9/49] bips:iso_8_4_2_3_a ......................... passed (0.000 sec) % [10/49] bips:iso_8_4_2_3_b ........................ passed (0.000 sec) % [11/49] bips:non_bmp_vs_bmp_unified ............... passed (0.000 sec) % [12/49] bips:non_bmp_vs_bmp_compat ................ passed (0.000 sec) % [13/49] bips:non_bmp_vs_bmp_halfwidth ............. passed (0.000 sec) % [14/49] bips:zero_codes ........................... passed (0.000 sec) % [15/49] arg:shared ................................ passed (0.000 sec) % [16/49] arg:unify ................................. passed (0.000 sec) % [17/49] arg:zero .................................. passed (0.000 sec) % [18/49] arg:one ................................... passed (0.000 sec) % [19/49] arg:two ................................... passed (0.000 sec) % [20/49] arg:atom .................................. passed (0.000 sec) % [21/49] arg:big ................................... passed (0.000 sec) % [22/49] arg:bigneg ................................ passed (0.000 sec) % [23/49] arg:arg_vf ................................ passed (0.000 sec) % [24/49] eq:eq_ff .................................. passed (0.000 sec) % [25/49] length:comp_len ........................... passed (0.000 sec) % [26/49] length:gen_list ........................... passed (0.000 sec) % [27/49] length:neg_len ............................ passed (0.000 sec) % [28/49] length:gen_unbound ........................ passed (0.000 sec) % [29/49] length:no_integer ......................... passed (0.000 sec) % [30/49] length:no_integer ......................... passed (0.000 sec) % [31/49] length:no_integer ......................... passed (0.000 sec) % [32/49] length:cycle .............................. passed (0.000 sec) % [33/49] length:expression ......................... passed (0.000 sec) % [34/49] length:no_list ............................ passed (0.000 sec) % [35/49] length:no_list ............................ passed (0.000 sec) % [36/49] length:no_list ............................ passed (0.000 sec) % [37/49] length:swi ................................ passed (0.000 sec) % [38/49] is_most_general_term:not_callable ......... passed (0.000 sec) % [39/49] is_most_general_term:atom ................. passed (0.000 sec) % [40/49] is_most_general_term:instantiated ......... passed (0.000 sec) % [41/49] is_most_general_term:compound ............. passed (0.000 sec) % [42/49] is_most_general_term:compound ............. passed (0.000 sec) % [43/49] is_most_general_term:shared ............... passed (0.000 sec) % [44/49] is_most_general_term:compound ............. passed (0.000 sec) % [45/49] is_most_general_term:nil .................. passed (0.000 sec) % [46/49] is_most_general_term:list ................. passed (0.000 sec) % [47/49] is_most_general_term:partial_list ......... passed (0.000 sec) % [48/49] is_most_general_term:list ................. passed (0.000 sec) % [49/49] is_most_general_term:shared ............... passed (0.000 sec) . % [1/9] body_index:p1 ............................... passed (0.000 sec) % [2/9] body_index:p2 ............................... passed (0.000 sec) % [3/9] body_index:p3 ............................... passed (0.000 sec) % [4/9] body_index:p4 ............................... passed (0.000 sec) % [5/9] body_index:p5 ............................... passed (0.000 sec) % [6/9] body_index:p6 ............................... passed (0.000 sec) % [7/9] body_index:p6 ............................... passed (0.000 sec) % [8/9] body_index:p7 ............................... passed (0.000 sec) % [9/9] body_index:p8 ............................... passed (0.000 sec) . % [1/56] call1:call ................................. passed (0.000 sec) % [2/56] call1:clause ............................... passed (0.000 sec) % [3/56] call1:clause ............................... passed (0.000 sec) % [4/56] call1:big_clause ........................... passed (0.220 sec) % [5/56] apply:error ................................ passed (0.000 sec) % [6/56] callN:error ................................ passed (0.000 sec) % [7/56] callN:if_then_else ......................... passed (0.000 sec) % [8/56] callN:disj ................................. passed (0.000 sec) % [9/56] callN:conj ................................. passed (0.000 sec) % [10/56] callN:qn8 ................................. passed (0.000 sec) % [11/56] callN:an8 ................................. passed (0.000 sec) % [12/56] callN:qe8 ................................. passed (0.000 sec) % [13/56] callN:ae8 ................................. passed (0.000 sec) % [14/56] callN:max_procedure_arity ................. passed (0.000 sec) % [15/56] callN:max_procedure_arity ................. passed (0.000 sec) % [16/56] cross_module_call:cmc1 .................... passed (0.000 sec) % [17/56] cross_module_call:cmc1 .................... passed (0.000 sec) % [18/56] cross_module_call:cmc2 .................... passed (0.000 sec) % [19/56] cross_module_call:cmc2 .................... passed (0.000 sec) % [20/56] cross_module_call:cmc3 .................... passed (0.000 sec) % [21/56] cross_module_call:cmc4 .................... passed (0.000 sec) % [22/56] cross_module_call:c_cm1 ................... passed (0.000 sec) % [23/56] cross_module_call:c_cm2 ................... passed (0.000 sec) % [24/56] at2:context ............................... passed (0.000 sec) % [25/56] at2:var ................................... passed (0.000 sec) % [26/56] at2:var ................................... passed (0.000 sec) % [27/56] at2:var ................................... passed (0.000 sec) % [28/56] at2:var ................................... passed (0.000 sec) % [29/56] at2:var ................................... passed (0.000 sec) % [30/56] snip:indent ............................... passed (0.000 sec) % [31/56] snip:cut .................................. passed (0.000 sec) % [32/56] snip:cut2 ................................. passed (0.000 sec) % [33/56] snip:cut3 ................................. passed (0.000 sec) % [34/56] snip:lscut ................................ passed (0.000 sec) % [35/56] no_autoload:unknown ....................... passed (0.000 sec) % [36/56] setup_call_cleanup:true ................... passed (0.000 sec) % [37/56] setup_call_cleanup:true_debug ............. passed (0.000 sec) % [38/56] setup_call_cleanup:cut .................... passed (0.000 sec) % [39/56] setup_call_cleanup:cut_debug .............. passed (0.000 sec) % [40/56] setup_call_cleanup:fail ................... passed (0.000 sec) % [41/56] setup_call_cleanup:fail2 .................. passed (0.000 sec) % [42/56] setup_call_cleanup:fail_debug ............. passed (0.000 sec) % [43/56] setup_call_cleanup:fail_debug2 ............ passed (0.000 sec) % [44/56] setup_call_cleanup:error .................. passed (0.000 sec) % [45/56] setup_call_cleanup:error_debug ............ passed (0.000 sec) % [46/56] setup_call_cleanup:nondet ................. passed (0.000 sec) % [47/56] setup_call_cleanup:cleanup ................ passed (0.000 sec) % [48/56] setup_call_cleanup:cleanup ................ passed (0.000 sec) % [49/56] setup_call_cleanup:error_choice ........... passed (0.000 sec) % [50/56] setup_call_cleanup:error_choice ........... passed (0.000 sec) % [51/56] setup_call_cleanup:error_choice ........... passed (0.000 sec) % [52/56] catch:exit_nondet ......................... passed (0.000 sec) % [53/56] catch:partial_unification ................. passed (0.000 sec) % [54/56] catch:attvar .............................. passed (0.000 sec) % [55/56] catch:nested .............................. passed (0.000 sec) % [56/56] catch:urgent .............................. passed (0.000 sec) . % [1/1] code_type:code_type ......................... passed (0.312 sec) . % [1/11] continuation:basic ......................... passed (0.000 sec) % [2/11] continuation:sum ........................... passed (0.000 sec) % [3/11] continuation:sum ........................... passed (0.000 sec) % [4/11] continuation:sum ........................... passed (0.000 sec) % [5/11] continuation:play .......................... passed (0.000 sec) % [6/11] continuation:transducer .................... passed (0.000 sec) % [7/11] continuation:ifthen ........................ passed (0.000 sec) % [8/11] continuation:mcall2 ........................ passed (0.000 sec) % [9/11] continuation:test_cref ..................... passed (0.001 sec) % [10/11] continuation:context ...................... passed (0.000 sec) % [11-1/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-2/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-3/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-4/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-5/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-6/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-7/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-8/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-9/11] fast_heap:fast_heap ..................... passed (0.000 sec) % [11-10/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-11/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-12/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-13/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-14/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-15/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-16/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-17/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-18/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-19/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-20/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-21/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-22/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-23/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-24/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-25/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-26/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-27/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-28/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-29/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-30/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-31/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-32/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-33/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-34/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-35/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-36/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-37/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-38/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-39/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-40/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-41/11] fast_heap:fast_heap .................... passed (0.000 sec) % [11-42/11] fast_heap:fast_heap .................... passed (0.000 sec) . % [1/11] copy_term:share ............................ passed (0.000 sec) % [2/11] copy_term:cycle ............................ passed (0.000 sec) % [3/11] copy_term_4:share .......................... passed (0.000 sec) % [4/11] copy_term_4:share .......................... passed (0.000 sec) % [5/11] copy_term_4:attvar ......................... passed (0.000 sec) % [6/11] copy_term_4:attvar ......................... passed (0.000 sec) % [7/11] copy_term_4:attvar ......................... passed (0.000 sec) % [8/11] copy_term_4:attvar ......................... passed (0.000 sec) % [9/11] copy_term_4:cycle .......................... passed (0.000 sec) % [10/11] copy_term_nat_4:attvar .................... passed (0.000 sec) % [11/11] copy_term_nat_4:attvar .................... passed (0.000 sec) . % [1/12] coroutining:frozen ......................... passed (0.000 sec) % [2/12] coroutining:frozen_diff .................... passed (0.003 sec) % [3/12] coroutining:frozen_clpfd ................... passed (0.000 sec) % [4/12] coroutining:when1 .......................... passed (0.003 sec) % [5/12] coroutining:when2 .......................... passed (0.000 sec) % [6/12] coroutining:when3 .......................... passed (0.000 sec) % [7/12] coroutining:when4_inf ...................... passed (0.000 sec) % [8/12] coroutining:when5_r ........................ passed (0.000 sec) % [9/12] coroutining:when6 .......................... passed (0.000 sec) % [10/12] coroutining:when7 ......................... passed (0.000 sec) % [11/12] coroutining:when8 ......................... passed (0.000 sec) % [12/12] coroutining:when8 ......................... passed (0.000 sec) . % [1/42] expand_goal:1 .............................. passed (0.000 sec) % [2/42] expand_goal:3 .............................. passed (0.000 sec) % [3/42] expand_goal:nonlin ......................... passed (0.000 sec) % [4/42] expand_goal:nonlin ......................... passed (0.000 sec) % [5/42] expand_goal:5 .............................. passed (0.000 sec) % [6/42] expand_goal:6 .............................. passed (0.000 sec) % [7/42] expand_goal:t .............................. passed (0.000 sec) % [8/42] expand_goal:t .............................. passed (0.000 sec) % [9/42] phrase:iso_8_1_1_3 ......................... passed (0.000 sec) % [10/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) % [11/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) % [12/42] phrase:iso_8_1_1_3_OPEN ................... passed (0.000 sec) % [13/42] phrase:iso_8_1_1_3_OPEN ................... passed (0.000 sec) % [14/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) % [15/42] phrase:uniso_8_1_1_3 ...................... passed (0.000 sec) % [16/42] phrase:iso1 ............................... passed (0.000 sec) % [17/42] phrase:uwn2 ............................... passed (0.000 sec) % [18/42] phrase:uwn3 ............................... passed (0.000 sec) % [19/42] phrase:uwn4 ............................... passed (0.000 sec) % [20/42] phrase:partial_terminal ................... passed (0.000 sec) % [21/42] rule_expansions:1 ......................... passed (0.000 sec) % [22/42] rule_expansions:2 ......................... passed (0.000 sec) % [23/42] dcg_rule_expansions:1 ..................... passed (0.000 sec) % [24/42] dcg_rule_expansions:2 ..................... passed (0.000 sec) % [25/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) % [26/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) % [27/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) % [28/42] dcg_rule_expansions:meta1 ................. passed (0.000 sec) % [29/42] steadfastness:cut1_a ...................... passed (0.000 sec) % [30/42] steadfastness:cut1_b ...................... passed (0.000 sec) % [31/42] steadfastness:curlycut_a .................. passed (0.000 sec) % [32/42] steadfastness:curlycut_b .................. passed (0.000 sec) % [33/42] steadfastness:not1_a ...................... passed (0.000 sec) % [34/42] steadfastness:not1_b ...................... passed (0.000 sec) % [35/42] steadfastness:not2_a ...................... passed (0.000 sec) % [36/42] steadfastness:not2_b ...................... passed (0.000 sec) % [37/42] context:steadfastness ..................... passed (0.000 sec) % [38/42] context:generalcontext .................... passed (0.000 sec) % [39/42] context:epsilonness ....................... passed (0.000 sec) % [40/42] context:epsilonness ....................... passed (0.000 sec) % [41/42] context:vd ................................ passed (0.000 sec) % [42/42] context:forprogrammers .................... passed (0.000 sec) . % [1/2] prolog_frame_attribute:none ................. passed (0.000 sec) % [2/2] prolog_frame_attribute:foreign_choice ....... passed (0.000 sec) . % [1/22] det_decl:det ............................... passed (0.000 sec) % [2/22] det_decl:cdet .............................. passed (0.000 sec) % [3/22] det_decl:cdet2 ............................. passed (0.000 sec) % [4/22] det_decl:nondet_1 .......................... passed (0.000 sec) % [5/22] det_decl:nondet_2 .......................... passed (0.000 sec) % [6/22] det_decl:nondet_3 .......................... passed (0.001 sec) % [7/22] det_decl:fail_1 ............................ passed (0.000 sec) % [8/22] det_decl:fail_2 ............................ passed (0.000 sec) % [9/22] det_decl:fail_3 ............................ passed (0.000 sec) % [10/22] det_guard:det ............................. passed (0.000 sec) % [11/22] det_guard:ndet ............................ passed (0.000 sec) % [12/22] det_guard:ndet ............................ passed (0.000 sec) % [13/22] det_guard:fail ............................ passed (0.000 sec) % [14/22] det_guard:fail ............................ passed (0.001 sec) % [15/22] det_goal:det .............................. passed (0.000 sec) % [16/22] det_goal:ndet ............................. passed (0.000 sec) % [17/22] det_goal:ndet ............................. passed (0.001 sec) % [18/22] det_goal:fail ............................. passed (0.000 sec) % [19/22] det_goal:fail ............................. passed (0.000 sec) % [20/22] det_goal:ndetv ............................ passed (0.000 sec) % [21/22] det_goal:ndetv ............................ passed (0.000 sec) % [22/22] det_goal:ndetv ............................ passed (0.000 sec) . % [1/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [2/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [3/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [4/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [5/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [6/88] dict_create:dict_create/3 .................. passed (0.000 sec) % [7/88] dict_create:create ......................... passed (0.012 sec) % [8/88] dict_create:convert ........................ passed (0.000 sec) % [9/88] dict_bips:is_dict/1 ........................ passed (0.000 sec) % [10/88] dict_bips:is_dict/1 ....................... passed (0.000 sec) % [11/88] dict_bips:is_dict/2 ....................... passed (0.000 sec) % [12/88] dict_bips:is_dict/2 ....................... passed (0.000 sec) % [13/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [14/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [15/88] dict_bips:dict_pairs_duplicate_key ........ passed (0.000 sec) % [16/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [17/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [18/88] dict_bips:dict_pairs/3 .................... passed (0.000 sec) % [19/88] dict_bips:get_dict/3 ...................... passed (0.000 sec) % [20/88] dict_bips:get_dict/3 ...................... passed (0.000 sec) % [21/88] dict_bips:get_dict/3 ...................... passed (0.000 sec) % [22/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [23/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [24/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [25/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [26/88] dict_bips:get_dict/5 ...................... passed (0.000 sec) % [27/88] dict_bips:put_dict/4 ...................... passed (0.000 sec) % [28/88] dict_bips:put_dict/4 ...................... passed (0.000 sec) % [29/88] dict_bips:put_dict/4 ...................... passed (0.000 sec) % [30/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [31/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [32/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [33/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [34/88] dict_bips:put_dict/3 ...................... passed (0.000 sec) % [35/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [36/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [37/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [38/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [39/88] dict_bips:del_dict/4 ...................... passed (0.000 sec) % [40/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [41/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [42/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [43/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [44/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [45/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [46/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [47/88] dict_bips:select_dict/3 ................... passed (0.000 sec) % [48/88] dict_bips::::::::(39,0000019877206520)' does not exist . % [1/24] thread_create:alias ........................ passed (0.000 sec) % [2/24] thread_create:anonymous .................... passed (0.000 sec) % [3/24] thread_errors:null ......................... passed (0.000 sec) % [4/24] thread_errors:null ......................... passed (0.000 sec) % [5/24] thread_property:alias ...................... passed (0.001 sec) % [6/24] thread_property:detached_false ............. passed (0.000 sec) % [7/24] thread_property:detached_true .............. passed (0.000 sec) % [8/24] thread_property:status_running ............. passed (0.000 sec) % [9/24] thread_property:status_true ................ passed (0.002 sec) % [10/24] thread_property:status_fail ............... passed (0.001 sec) % [11/24] thread_property:status_exception .......... passed (0.014 sec) % [12/24] thread_property:status_enum1 .............. passed (0.001 sec) % [13/24] thread_property:status_enum2 .............. passed (0.000 sec) % [14/24] thread_property:existence ................. passed (0.000 sec) % [15/24] thread_property:existence ................. passed (0.000 sec) % [16/24] mutex:lock ................................ passed (0.000 sec) % [17/24] mutex:destroy ............................. passed (0.000 sec) % [18/24] mutex:destroy_locked ...................... passed (0.000 sec) % [19/24] mutex:destroy_locked_other_thread ......... passed (0.000 sec) % [20/24] mutex_property:alias ...................... passed (0.000 sec) % [21/24] mutex_property:generate ................... passed (0.000 sec) % [22/24] mutex_property:locked ..................... passed (0.000 sec) % [23/24] message_queue:max_size_prop ............... passed (0.000 sec) % [24/24] message_queue:size_prop ................... passed (0.000 sec) ...... done Running scripts from thread_wait % [1/1] functor_cache:race .......................... passed (0.015 sec) . % [1/17] signal_api:pending ......................... passed (0.000 sec) % [2/17] signal_api:pending ......................... passed (0.000 sec) % [3/17] signal_api:remove .......................... passed (0.000 sec) % [4/17] signal_api:remove .......................... passed (0.000 sec) % [5/17] signal_api:remove .......................... passed (0.000 sec) % [6/17] signal_api:remove .......................... passed (0.000 sec) % [7/17] signal_api:remove .......................... passed (0.000 sec) % [8/17] signal_api:remove .......................... passed (0.000 sec) % [9/17] signal_api:backtrack ....................... passed (0.000 sec) % [10/17] signal_catch:recover ...................... passed (0.000 sec) % [11/17] signal_catch:atomic ....................... passed (0.000 sec) % [12/17] signal_catch:cleanup ...................... passed (0.000 sec) % [13/17] signal_catch:signal ....................... passed (0.000 sec) % [14/17] signal_nested:nested_likely ............... passed (0.001 sec) % [15/17] signal_nested:nested_sure ................. passed (0.000 sec) % [16/17] signal_nested:nested_atomic ............... passed (0.000 sec) % [17/17] signal_exceptions:chained ................. passed (0.056 sec) . % [1/4] thread_wait:signal .......................... passed (0.071 sec) % [2/4] thread_wait:wakeall ......................... passed (0.062 sec) % [3/4] thread_wait:wakeup .......................... passed (0.062 sec) % [4/4] thread_wait:wakeup .......................... passed (0.000 sec) . done Running scripts from transaction . % [1/1] transaction_deadlock:deadlock ............... passed (0.002 sec) . % [1/3] tr_incremental_tabling:assert ............... passed (0.000 sec) % [2/3] tr_incremental_tabling:tmp_assert ........... passed (0.000 sec) % [3/3] tr_incremental_tabling:retract .............. passed (0.000 sec) . % [1/23] transaction:assert ......................... passed (0.000 sec) % [2/23] transaction:retract ........................ passed (0.000 sec) % [3/23] transaction:assert_retract ................. passed (0.000 sec) % [4/23] transaction:nested1 ........................ passed (0.000 sec) % [5/23] transaction:nested2 ........................ passed (0.000 sec) % [6/23] transaction:nested3 ........................ passed (0.000 sec) % [7/23] transaction:nested4 ........................ passed (0.000 sec) % [8/23] transaction:nested5 ........................ passed (0.000 sec) % [9/23] transaction:nested6 ........................ passed (0.000 sec) % [10/23] transaction:nested7 ....................... passed (0.000 sec) % [11/23] transaction:nested8 ....................... passed (0.000 sec) % [12/23] transaction:nested9 ....................... passed (0.000 sec) % [13/23] transaction:update1 ....................... passed (0.000 sec) % [14/23] transaction:update2 ....................... passed (0.000 sec) % [15/23] transaction:update3 ....................... passed (0.000 sec) % [16/23] thread_transaction:commit ................. passed (0.001 sec) % [17/23] thread_transaction:discard ................ passed (0.001 sec) % [18/23] thread_transaction:discard2 ............... passed (0.001 sec) % [19/23] thread_transaction:isolate_assert ......... passed (0.000 sec) % [20/23] thread_transaction:isolate_retract ........ passed (0.000 sec) % [21/23] thread_transaction:isolate_retract2 ....... passed (0.001 sec) % [22/23] thread_transaction:isolate_retract2b ...... passed (0.001 sec) % [23/23] thread_transaction:isolate_retract2b ...... passed (0.000 sec) . done Running scripts from save % [1/7] qlf:unicode ................................. passed (0.005 sec) % [2/7] qlf:h_integer ............................... passed (0.009 sec) % [3/7] qlf:b_integer ............................... passed (0.009 sec) % [4/7] qlf:expr .................................... passed (0.010 sec) % [5/7] qlf:cmp ..................................... passed (0.009 sec) % [6/7] qlf:add_fc .................................. passed (0.009 sec) % [7/7] qlf:rat ..................................... passed (0.009 sec) . % [1/3] saved_state:true ............................ passed (1.425 sec) % [2/3] saved_state:argv ............................ passed (1.547 sec) % [3/3] saved_state:true ............................ passed (1.457 sec) . done Running scripts from tabling .. % [1/2] answer_subsumption:as_with_no_as ............ passed (0.000 sec) % [2/2] answer_subsumption:max ...................... passed (0.000 sec) . % [1/9] incr_answer_subsumption_1:update ............ passed (0.003 sec) % [2/9] incr_answer_subsumption_1:keep .............. passed (0.000 sec) % [3/9] incr_answer_subsumption_1:reeval ............ passed (0.000 sec) % [4/9] mono_answer_subsumption_1:update ............ passed (0.000 sec) % [5/9] mono_answer_subsumption_1:keep .............. passed (0.000 sec) % [6/9] mono_answer_subsumption_1:reeval ............ passed (0.000 sec) % [7/9] mono_answer_subsumption_1:reeval ............ passed (0.000 sec) % [8/9] mono_answer_subsumption_lazy_1:update ....... passed (0.000 sec) % [9/9] mono_answer_subsumption_lazy_1:update ....... passed (0.000 sec) . % [1/10] monotonic_tabling:pa1 ...................... passed (0.000 sec) % [2/10] monotonic_tabling:pa2 ...................... passed (0.000 sec) % [3/10] monotonic_tabling:pb ....................... passed (0.000 sec) % [4/10] monotonic_tabling:closure .................. passed (0.002 sec) % [5/10] monotonic_tabling:closure2 ................. passed (0.119 sec) % [6/10] monotonic_tabling:incr_mono ................ passed (0.000 sec) % [7/10] monotonic_tabling:incr_mono ................ passed (0.000 sec) % [8/10] monotonic_tabling:nested_reeval_mono ....... passed (0.000 sec) % [9/10] monotonic_tabling_2:twice_invalid .......... passed (0.000 sec) % [10/10] monotonic_tabling_3:incr_propagate ........ passed (0.000 sec) . % [1/18] tabling_monotonic_lazy_1:simple ............ passed (0.000 sec) % [2/18] tabling_monotonic_lazy_1:retract ........... passed (0.000 sec) % [3/18] tabling_monotonic_lazy_2:mon_and_lazy ...... passed (0.000 sec) % [4/18] tabling_monotonic_lazy_3:intermediate ...... passed (0.000 sec) % [5/18] tabling_monotonic_lazy_4:lazy_on_eager ..... passed (0.000 sec) % [6/18] tabling_monotonic_lazy_5:lazy_on_eager ..... passed (0.000 sec) % [7/18] tabling_monotonic..zy_on_eager_retract ..... passed (0.000 sec) % [8/18] tabling_monotonic_lazy_6:lazy_reeval ....... passed (0.000 sec) % [9/18] tabling_monotonic_lazy_7:lazy_reeval ....... passed (0.000 sec) % [10/18] tabling_monotonic..direct_lazy_retract .... passed (0.000 sec) % [11/18] tabling_monotonic..re_new_dependencies .... passed (0.000 sec) % [12/18] tabling_monotonic_lazy_10:false_deps ...... passed (0.000 sec) % [13/18] tabling_monotonic_lazy_11:rollback ........ passed (0.000 sec) % [14/18] tabling_monotonic_lazy_12:indirect ........ passed (0.000 sec) % [15/18] tabling_monotonic..incr_propagate_lazy .... passed (0.000 sec) % [16/18] tabling_monotonic.._14:mono_completion .... passed (0.000 sec) % [17/18] tabling_monotonic_lazy_15:closure ......... passed (0.035 sec) % [18/18] tabling_monotonic_lazy_16:reeval .......... passed (0.001 sec) . % [1/8] tabling_reeval:mutal_dependent .............. passed (0.000 sec) % [2/8] tabling_reeval:multiple_dependents .......... passed (0.000 sec) % [3/8] tabling_reeval_merged:only .................. passed (0.000 sec) % [4/8] dynamic_tabled:wfs .......................... passed (0.003 sec) % [5/8] dynamic_tabled2:wfs ......................... passed (0.000 sec) % [6/8] dynamic_tabled2:wfs2 ........................ passed (0.000 sec) % [7/8] dynamic_tabled3:wfs ......................... passed (0.000 sec) % [8/8] dynamic_tabled4:wfs ......................... passed (0.000 sec) .... % [1/1] shared_reeval:propagate_falsecount .......... passed (0.001 sec) . % [1/1] tabled_shortest_path:path ................... passed (0.003 sec) . % [1/35] tabling_ex1:ex1 ............................ passed (0.000 sec) % [2/35] tabling_ex2:ex2 ............................ passed (0.000 sec) % [3/35] tabling_ex3:ex3 ............................ passed (0.000 sec) % [4/35] tabling_ex4:ex4 ............................ passed (0.000 sec) % [5/35] tabling_ex5:ex5 ............................ passed (0.000 sec) % [6/35] tabling_ex6:ex6 ............................ passed (0.000 sec) % [7/35] tabling_ex7:ex7 ............................ passed (0.000 sec) % [8/35] tabling_ex8:ex8 ............................ passed (0.000 sec) % [9/35] tabling_ex9a:ex9a .......................... passed (0.000 sec) % [10/35] tabling_ex9b:ex9b ......................... passed (0.000 sec) % [11/35] tabling_ex9c:ex9c ......................... passed (0.000 sec) % [12/35] tabling_ex9d:ex9d ......................... passed (0.000 sec) % [13/35] tabling_ex9e:ex9d ......................... passed (0.000 sec) % [14/35] tabling_ex10:ex10 ......................... passed (0.000 sec) % [15/35] tabling_ex11:ex11 ......................... passed (0.000 sec) % [16/35] tabling_ex12:ex12 ......................... passed (0.000 sec) % [17/35] tabling_ex13:ex12 ......................... passed (0.000 sec) % [18/35] tabling_ex14:ex14 ......................... passed (0.000 sec) % [19/35] tabling_ex15:ex15 ......................... passed (0.000 sec) % [20/35] tabling_ex16:ex16 ......................... passed (0.000 sec) % [21/35] tabling_ex17:ex17 ......................... passed (0.000 sec) % [22/35] tabling_clpfd:fib_error ................... passed (0.003 sec) % [23/35] tabling_eruption:tabling_eruption ......... passed (0.000 sec) % [24/35] tabling_eruption2:tabling_eruption ........ passed (0.000 sec) % [25/35] tabling_sneezing:tabling_sneezing ......... passed (0.000 sec) % [26/35] tabling_yappath:yappath ................... passed (0.000 sec) % [27/35] tabling_minpath:tabling_minpath ........... passed (0.000 sec) % [28/35] tabling_maxpath:tabling_maxpath ........... passed (0.000 sec) % [29/35] tabling_train:tabling_train ............... passed (0.000 sec) % [30/35] moded_tabling_path:path ................... passed (0.000 sec) % [31/35] mode_components1:component ................ passed (0.000 sec) % [32/35] mode_components2:component ................ passed (0.000 sec) % [33/35] pathss:kurt ............................... passed (0.001 sec) % [34/35] bas:bas ................................... passed (0.030 sec) % [35/35] push_ret:push_ret ......................... passed (0.059 sec) . % [1/6] test_transact_incr_1:commit ................. passed (0.000 sec) % [2/6] test_transact_incr_1:rollback ............... passed (0.000 sec) % [3/6] test_transact_incr_1:snapshot ............... passed (0.000 sec) % [4/6] test_transact_incr_1:snapshot ............... passed (0.000 sec) % [5/6] test_transact_incr_1:snapshot ............... passed (0.000 sec) % [6/6] test_transact_incr_1:snapshot ............... passed (0.000 sec) . % [1/7] test_transact_mono_1:commit ................. passed (0.000 sec) % [2/7] test_transact_mono_1:rollback ............... passed (0.000 sec) % [3/7] test_transact_mono_1:snapshot ............... passed (0.000 sec) % [4/7] test_transact_mono_1:snapshot ............... passed (0.000 sec) % [5/7] test_transact_mono_1:snapshot ............... passed (0.000 sec) % [6/7] test_transact_mono_1:snapshot ............... passed (0.000 sec) % [7/7] test_transact_mono_2:retract ................ passed (0.000 sec) . % [1/13] test_transact_mono_lazy_1:commit ........... passed (0.000 sec) % [2/13] test_transact_mono_lazy_1:rollback ......... passed (0.000 sec) % [3/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec) % [4/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec) % [5/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec) % [6/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec) % [7/13] test_transact_mono_lazy_2:retract .......... passed (0.000 sec) % [8/13] test_transact_mon..zy_2:outside_assert ..... passed (0.000 sec) % [9/13] test_transact_mono_lazy_2:mixed_assert ..... passed (0.000 sec) % [10/13] test_transact_mon..zy_3:outside_assert .... passed (0.000 sec) % [11/13] test_transact_mon.._4:new_dependencies .... passed (0.000 sec) % [12/13] test_transact_mon.._5:already_forced_1 .... passed (0.000 sec) % [13/13] test_transact_mon.._5:already_forced_2 .... passed (0.000 sec) . % [1/23] trie:insert_atom ........................... passed (0.000 sec) % [2/23] trie:insert_value_term ..................... passed (0.000 sec) % [3/23] trie:insert_two ............................ passed (0.000 sec) % [4/23] trie:insert_compound ....................... passed (0.000 sec) % [5/23] trie:insert_nested ......................... passed (0.000 sec) % [6/23] trie:insert_nested2 ........................ passed (0.000 sec) % [7/23] trie:insert_nested_get ..................... passed (0.000 sec) % [8/23] trie:insert_vars ........................... passed (0.000 sec) % [9/23] trie:insert_variant ........................ passed (0.000 sec) % [10/23] trie:insert_vars .......................... passed (0.000 sec) % [11/23] trie:rescale_cars ......................... passed (0.009 sec) % [12/23] trie:insert_gsize ......................... passed (0.000 sec) % [13/23] trie:insert_cycle ......................... passed (0.000 sec) % [14/23] trie:delete ............................... passed (0.000 sec) % [15/23] trie:gen_indirect ......................... passed (0.000 sec) % [16/23] trie:var1 ................................. passed (0.000 sec) % [17/23] trie:var2 ................................. passed (0.000 sec) % [18/23] trie:var3 ................................. passed (0.000 sec) % [19/23] trie:issue_1277 ........................... passed (0.000 sec) % [20/23] trie:gen_compiled2_free ................... passed (0.000 sec) % [21/23] trie:gen_compiled2_instantiated ........... passed (0.000 sec) % [22/23] trie:gen_compiled3_free ................... passed (0.000 sec) % [23/23] trie:gen_compiled3_cycle .................. passed (0.000 sec) . % [1/24] trie_attvars:simple ........................ passed (0.000 sec) % [2/24] trie_attvars:simple_compiled ............... passed (0.000 sec) % [3/24] trie_attvars:plain ......................... passed (0.000 sec) % [4/24] trie_attvars:plain_compiled ................ passed (0.000 sec) % [5/24] trie_attvars:nesting ....................... passed (0.000 sec) % [6/24] trie_attvars:nesting_compiled .............. passed (0.000 sec) % [7/24] trie_attvars:nesting2 ...................... passed (0.000 sec) % [8/24] trie_attvars:nesting2_compiled ............. passed (0.000 sec) % [9/24] trie_attvars:shared ........................ passed (0.000 sec) % [10/24] trie_attvars:shared_compiled .............. passed (0.000 sec) % [11/24] trie_attvars:unify_true ................... passed (0.000 sec) % [12/24] trie_attvars:unify_true_compiled .......... passed (0.000 sec) % [13/24] trie_attvars:unify_fail_1 ................. passed (0.000 sec) % [14/24] trie_attvars:unify_fail_1_compiled ........ passed (0.000 sec) % [15/24] trie_attvars:unify_fail_2 ................. passed (0.000 sec) % [16/24] trie_attvars:unify_fail_2_compiled ........ passed (0.000 sec) % [17/24] trie_attvars:unify_shared ................. passed (0.000 sec) % [18/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec) % [19/24] trie_attvars:unify_shared ................. passed (0.000 sec) % [20/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec) % [21/24] trie_attvars:unify_shared ................. passed (0.000 sec) % [22/24] trie_attvars:unify_shared_compiled ........ passed (0.000 sec) % [23/24] trie_attvars:unify_multi .................. passed (0.000 sec) % [24/24] trie_attvars:unify_multi_compiled ......... passed (0.000 sec) . % [1/8] wfs_delays:delays ........................... passed (0.000 sec) % [2/8] wfs_delays:delays ........................... passed (0.000 sec) % [3/8] wfs_delays:delays ........................... passed (0.000 sec) % [4/8] wfs_delays:delays ........................... passed (0.000 sec) % [5/8] wfs_delays:delays ........................... passed (0.000 sec) % [6/8] wfs_delays:residual ......................... passed (0.000 sec) % [7/8] wfs_delays:as ............................... passed (0.000 sec) % [8/8] wfs_dwin:dwin ............................... passed (0.000 sec) . done Running scripts from basic_tests % [1/26] xsb_basic_tests:tsstr13 .................... passed (0.025 sec) % [2/26] xsb_basic_tests:tsstr23 .................... passed (0.011 sec) % [3/26] xsb_basic_tests:tsstr33 .................... passed (0.011 sec) % [4/26] xsb_basic_tests:tstr11 ..................... passed (0.008 sec) % [5/26] xsb_basic_tests:tstr21 ..................... passed (0.009 sec) % [6/26] xsb_basic_tests:tstr31 ..................... passed (0.010 sec) % [7/26] xsb_basic_tests:tstr51 ..................... passed (0.010 sec) % [8/26] xsb_basic_tests:tstr61 ..................... passed (0.010 sec) % [9/26] xsb_basic_tests:tstr12 ..................... passed (0.008 sec) % [10/26] xsb_basic_tests:tstr22 .................... passed (0.006 sec) % [11/26] xsb_basic_tests:tstr32 .................... passed (0.006 sec) % [12/26] xsb_basic_tests:tstr52 .................... passed (0.008 sec) % [13/26] xsb_basic_tests:tstr62 .................... passed (0.006 sec) % [14/26] xsb_basic_tests:tstr13 .................... passed (0.012 sec) % [15/26] xsb_basic_tests:tstr23 .................... passed (0.012 sec) % [16/26] xsb_basic_tests:tstr33 .................... passed (0.019 sec) % [17/26] xsb_basic_tests:tstr53 .................... passed (0.060 sec) % [18/26] xsb_basic_tests:tstr63 .................... passed (0.063 sec) % [19/26] xsb_basic_tests:thstr13 ................... passed (0.010 sec) % [20/26] xsb_basic_tests:thstr43 ................... passed (0.007 sec) % [21/26] xsb_basic_tests:thstr23 ................... passed (0.008 sec) % [22/26] xsb_basic_tests:tcyl11 .................... passed (0.076 sec) % [23/26] xsb_basic_tests:tcyl12 .................... passed (0.048 sec) % [24/26] xsb_basic_tests:testsg .................... passed (0.082 sec) % [25/26] xsb_basic_tests:interp .................... passed (0.010 sec) % [26/26] xsb_basic_tests:tsing1 .................... passed (0.006 sec) . done Running scripts from ai_tests % [1/11] xsb_ai_tests:cs_o .......................... passed (0.114 sec) % [2/11] xsb_ai_tests:cs_r .......................... passed (0.075 sec) % [3/11] xsb_ai_tests:disj .......................... passed (0.049 sec) % [4/11] xsb_ai_tests:gabriel ....................... passed (0.049 sec) % [5/11] xsb_ai_tests:kalah ......................... passed (0.063 sec) % [6/11] xsb_ai_tests:peep .......................... passed (0.081 sec) % [7/11] xsb_ai_tests:pg ............................ passed (0.035 sec) % [8/11] xsb_ai_tests:plan .......................... passed (0.031 sec) % [9/11] xsb_ai_tests:qsort ......................... passed (0.017 sec) % [10/11] xsb_ai_tests:queens ....................... passed (0.032 sec) % [11/11] xsb_ai_tests:read ......................... passed (0.106 sec) . done Running scripts from ptq % [1/25] xsb_ptq:jtaulred ........................... passed (0.006 sec) % [2/25] xsb_ptq:mbjfauahei ......................... passed (0.066 sec) % [3/25] xsb_ptq:mbjfauaheilred ..................... passed (0.015 sec) % [4/25] xsb_ptq:jtau ............................... passed (0.004 sec) % [5/25] xsb_ptq:jdm ................................ passed (0.004 sec) % [6/25] xsb_ptq:apr ................................ passed (0.002 sec) % [7/25] xsb_ptq:jdh ................................ passed (0.002 sec) % [8/25] xsb_ptq:jsau ............................... passed (0.004 sec) % [9/25] xsb_ptq:awtra .............................. passed (0.005 sec) % [10/25] xsb_ptq:emlaw ............................. passed (0.006 sec) % [11/25] xsb_ptq:awsswr ............................ passed (0.004 sec) % [12/25] xsb_ptq:jsauamsi .......................... passed (0.017 sec) % [13/25] xsb_ptq:jdmlred ........................... passed (0.005 sec) % [14/25] xsb_ptq:jdhlred ........................... passed (0.003 sec) % [15/25] xsb_ptq:jwiaplred ......................... passed (0.004 sec) % [16/25] xsb_ptq:jfaulred .......................... passed (0.004 sec) % [17/25] xsb_ptq:jsaulred .......................... passed (0.005 sec) % [18/25] xsb_ptq:awtralred ......................... passed (0.004 sec) % [19/25] xsb_ptq:emlawlred ......................... passed (0.004 sec) % [20/25] xsb_ptq:awsswrlred ........................ passed (0.004 sec) % [21/25] xsb_ptq:jbmwwaiplred ...................... passed (0.019 sec) % [22/25] xsb_ptq:jwfauaeilred ...................... passed (0.011 sec) % [23/25] xsb_ptq:jtfauaweilred ..................... passed (0.006 sec) % [24/25] xsb_ptq:emlawsslhlred ..................... passed (0.004 sec) % [25/25] xsb_ptq:emlawaslhlred ..................... passed (0.004 sec) . done Running scripts from neg_tests % [1/24] tabled_basic_negation:neg1 ................. passed (0.006 sec) % [2/24] tabled_basic_negation:neg2 ................. passed (0.010 sec) % [3/24] tabled_basic_negation:neg3 ................. passed (0.007 sec) % [4/24] tabled_basic_negation:ullman2 .............. passed (0.005 sec) % [5/24] tabled_lr_stratified_negation:lmod1 ........ passed (0.005 sec) % [6/24] tabled_lr_stratified_negation:lmod2 ........ passed (0.005 sec) % [7/24] tabled_lr_stratified_negation:lmod3 ........ passed (0.006 sec) % [8/24] tabled_lr_stratified_negation:lmod4 ........ passed (0.005 sec) % [9/24] tabled_lr_stratified_negation:lmod5 ........ passed (0.005 sec) % [10/24] tabled_lr_stratified_negation:lmod6 ....... passed (0.005 sec) % [11/24] tabled_lr_stratified_negation:lmod7 ....... passed (0.005 sec) % [12/24] tabled_lr_stratified_negation:lmod8 ....... passed (0.005 sec) % [13/24] tabled_lr_stratified_negation:lmod9 ....... passed (0.005 sec) % [14/24] tabled_lr_stratified_negation:lmod10 ...... passed (0.008 sec) % [15/24] tabled_lr_stratified_negation:lmod11 ...... passed (0.009 sec) % [16/24] tabled_lr_stratified_negation:ullman1 ..... passed (0.008 sec) % [17/24] tabled_dynakicall..fied_negation:przy2 .... passed (0.007 sec) % [18/24] tabled_dynakicall..negation:ldynstrat0 .... passed (0.007 sec) % [19/24] tabled_dynakicall..negation:ldynstrat1 .... passed (0.007 sec) % [20/24] tabled_dynakicall..negation:ldynstrat2 .... passed (0.007 sec) % [21/24] tabled_dynakicall..negation:ldynstrat3 .... passed (0.007 sec) % [22/24] tabled_dynakicall..negation:ldynstrat4 .... passed (0.007 sec) % [23/24] tabled_stratified_negation:mod1 ........... passed (0.008 sec) % [24/24] tabled_misc_negation:q7 ................... passed (0.318 sec) . done Running scripts from delay_tests % [1/87] delay_dynstrat:dynstrat1 ................... passed (0.023 sec) % [2/87] delay_dynstrat:dynstrat2 ................... passed (0.008 sec) % [3/87] delay_dynstrat:dynstrat3 ................... passed (0.008 sec) % [4/87] delay_dynstrat:dynstrat4 ................... passed (0.011 sec) % [5/87] delay_dynstrat:dynstrat5 ................... passed (0.007 sec) % [6/87] delay_dynstrat:dynstrat6 ................... passed (0.006 sec) % [7/87] delay_dynstrat:dynstrat7 ................... passed (0.007 sec) % [8/87] delay_dynstrat:ross1 ....................... passed (0.007 sec) % [9/87] delay_dynstrat:sel_unsusp .................. passed (0.007 sec) % [10/87] delay_dynstrat:dl_dupl .................... passed (0.006 sec) % [11/87] delay_dynstrat:asl_dupl ................... passed (0.006 sec) % [12/87] delay_dynstrat:gfp ........................ passed (0.011 sec) % [13/87] delay_old_failures:fr1 .................... passed (0.006 sec) % [14/87] delay_old_failures:fr2 .................... passed (0.005 sec) % [15/87] delay_old_failures:fr3 .................... passed (0.006 sec) % [16/87] delay_old_failures:fr4 .................... passed (0.006 sec) % [17/87] delay_old_failures:fr5 .................... passed (0.007 sec) % [18/87] delay_old_failures:fr6 .................... passed (0.006 sec) % [19/87] delay_old_failures:fr7 .................... passed (0.007 sec) % [20/87] delay_old_failures:fr8 .................... passed (0.006 sec) % [21/87] delay_old_failures:fr9 .................... passed (0.008 sec) % [22/87] delay_old_failures:fr19 ................... passed (0.008 sec) % [23/87] delay_old_failures:fr20 ................... passed (0.008 sec) % [24/87] delay_old_failures:fr21 ................... passed (0.007 sec) % [25/87] delay_old_failures:fr22 ................... passed (0.007 sec) % [26/87] delay_old_failures:fr23 ................... passed (0.009 sec) % [27/87] delay_old_failures:fr24 ................... passed (0.007 sec) % [28/87] delay_old_failures:fr25 ................... passed (0.008 sec) % [29/87] delay_old_failures:fr26 ................... passed (0.007 sec) % [30/87] delay_old_failures:fr27 ................... passed (0.008 sec) % [31/87] delay_old_failures:fr28 ................... passed (0.007 sec) % [32/87] delay_old_failures:fr29 ................... passed (0.007 sec) % [33/87] delay_old_failures:fr30 ................... passed (0.007 sec) % [34/87] delay_old_segv:seg1 ....................... passed (0.008 sec) % [35/87] delay_old_segv:seg2 ....................... passed (0.006 sec) % [36/87] delay_old_segv:seg3 ....................... passed (0.006 sec) % [37/87] delay_old_segv:seg4 ....................... passed (0.005 sec) % [38/87] delay_old_segv:seg5 ....................... passed (0.006 sec) % [39/87] delay_old_segv:fr24 ....................... passed (0.002 sec) % [40/87] delay_interp:interp0 ...................... passed (0.007 sec) % [41/87] delay_interp:interp1 ...................... passed (0.007 sec) % [42/87] delay_interp:interp2 ...................... passed (0.008 sec) % [43/87] delay_interp:interp4 ...................... passed (0.007 sec) % [44/87] delay_interp:interp5 ...................... passed (0.008 sec) % [45/87] delay_interp:interp6 ...................... passed (0.007 sec) % [46/87] delay_interp:interp7 ...................... passed (0.007 sec) % [47/87] delay_interp:interp8 ...................... passed (0.007 sec) % [48/87] delay_interp:interp9 ...................... passed (0.007 sec) % [49/87] delay_interp:interp10 ..................... passed (0.007 sec) % [50/87] delay_interp:interp11 ..................... passed (0.007 sec) % [51/87] delay_non_strat_neg:two_ary ............... passed (0.008 sec) % [52/87] delay_non_strat_neg:abol_susp1 ............ passed (0.007 sec) % [53/87] delay_non_strat_neg:abol_susp2 ............ passed (0.007 sec) % [54/87] delay_non_strat_neg:przy1 ................. passed (0.007 sec) % [55/87] delay_non_strat_neg:przy1_simp ............ passed (0.007 sec) % [56/87] delay_non_strat_neg:nonstrat1 ............. passed (0.007 sec) % [57/87] delay_non_strat_neg:nonstrat2 ............. passed (0.009 sec) % [58/87] delay_wfs_neg:p1 .......................... passed (0.009 sec) % [59/87] delay_wfs_neg:p2 .......................... passed (0.007 sec) % [60/87] delay_wfs_neg:p3 .......................... passed (0.006 sec) % [61/87] delay_wfs_neg:p4 .......................... passed (0.005 sec) % [62/87] delay_wfs_neg:p5 .......................... passed (0.006 sec) % [63/87] delay_wfs_neg:simpl_win ................... passed (0.006 sec) % [64/87] delay_wfs_neg:win ......................... passed (0.007 sec) % [65/87] delay_wfs_neg:cond_uncond ................. passed (0.006 sec) % [66/87] delay_wfs_neg:ullman3 ..................... passed (0.009 sec) % [67/87] delay_wfs_neg:undef1 ...................... passed (0.019 sec) % [68/87] delay_wfs_neg:undef2 ...................... passed (0.008 sec) % [69/87] delay_pos_simpl:pos_simpl1 ................ passed (0.008 sec) % [70/87] delay_ac:weidong2 ......................... passed (0.007 sec) % [71/87] delay_ac:weidong3 ......................... passed (0.007 sec) % [72/87] delay_ac:weidong4 ......................... passed (0.007 sec) % [73/87] delay_ac:weidong5 ......................... passed (0.007 sec) % [74/87] delay_ac:weidong6 ......................... passed (0.007 sec) % [75/87] delay_ac:weidong7 ......................... passed (0.007 sec) % [76/87] delay_ac:weidong8 ......................... passed (0.007 sec) % [77/87] delay_ac:interp12 ......................... passed (0.007 sec) % [78/87] delay_ac:interp13 ......................... passed (0.007 sec) % [79/87] delay_ac:interp14 ......................... passed (0.006 sec) % [80/87] delay_ac:interp15 ......................... passed (0.006 sec) % [81/87] delay_misc:avoid_flounder ................. passed (0.017 sec) % [82/87] delay_misc:residual1 ...................... passed (0.024 sec) % [83/87] delay_misc:fa ............................. passed (0.065 sec) % [84/87] delay_misc:delay_var ...................... passed (0.110 sec) % [85/87] delay_misc:tabsimp_seq .................... passed (0.175 sec) % [86/87] delay_misc:wmay_winbug .................... passed (0.021 sec) % [87/87] delay_misc:ac_tests ....................... passed (0.049 sec) . done Running scripts from wfs_tests % [1/72] xsb_wfs:p06 ................................ passed (0.009 sec) % [2/72] xsb_wfs:p07 ................................ passed (0.008 sec) % [3/72] xsb_wfs:p08 ................................ passed (0.006 sec) % [4/72] xsb_wfs:p09 ................................ passed (0.005 sec) % [5/72] xsb_wfs:p10 ................................ passed (0.005 sec) % [6/72] xsb_wfs:p11 ................................ passed (0.004 sec) % [7/72] xsb_wfs:p12 ................................ passed (0.004 sec) % [8/72] xsb_wfs:p13 ................................ passed (0.006 sec) % [9/72] xsb_wfs:p14 ................................ passed (0.005 sec) % [10/72] xsb_wfs:p15 ............................... passed (0.007 sec) % [11/72] xsb_wfs:p16 ............................... passed (0.007 sec) % [12/72] xsb_wfs:p17 ............................... passed (0.013 sec) % [13/72] xsb_wfs:p18 ............................... passed (0.005 sec) % [14/72] xsb_wfs:p19 ............................... passed (0.007 sec) % [15/72] xsb_wfs:p20 ............................... passed (0.007 sec) % [16/72] xsb_wfs:p21 ............................... passed (0.009 sec) % [17/72] xsb_wfs:p22 ............................... passed (0.009 sec) % [18/72] xsb_wfs:p23 ............................... passed (0.011 sec) % [19/72] xsb_wfs:p24 ............................... passed (0.008 sec) % [20/72] xsb_wfs:p25 ............................... passed (0.007 sec) % [21/72] xsb_wfs:p26 ............................... passed (0.008 sec) % [22/72] xsb_wfs:p27 ............................... passed (0.008 sec) % [23/72] xsb_wfs:p29 ............................... passed (0.006 sec) % [24/72] xsb_wfs:p30 ............................... passed (0.006 sec) % [25/72] xsb_wfs:p31 ............................... passed (0.008 sec) % [26/72] xsb_wfs:p32 ............................... passed (0.010 sec) % [27/72] xsb_wfs:p33 ............................... passed (0.008 sec) % [28/72] xsb_wfs:p34 ............................... passed (0.007 sec) % [29/72] xsb_wfs:p35 ............................... passed (0.006 sec) % [30/72] xsb_wfs:p36 ............................... passed (0.007 sec) % [31/72] xsb_wfs:p37 ............................... passed (0.007 sec) % [32/72] xsb_wfs:p39 ............................... passed (0.006 sec) % [33/72] xsb_wfs:p40 ............................... passed (0.007 sec) % [34/72] xsb_wfs:p42 ............................... passed (0.008 sec) % [35/72] xsb_wfs:p43 ............................... passed (0.005 sec) % [36/72] xsb_wfs:p44 ............................... passed (0.004 sec) % [37/72] xsb_wfs:p45 ............................... passed (0.005 sec) % [38/72] xsb_wfs:p46 ............................... passed (0.005 sec) % [39/72] xsb_wfs:p47 ............................... passed (0.014 sec) % [40/72] xsb_wfs:p48 ............................... passed (0.007 sec) % [41/72] xsb_wfs:p49 ............................... passed (0.006 sec) % [42/72] xsb_wfs:p50 ............................... passed (0.006 sec) % [43/72] xsb_wfs:p51 ............................... passed (0.006 sec) % [44/72] xsb_wfs:p52a .............................. passed (0.011 sec) % [45/72] xsb_wfs:p52 ............................... passed (0.010 sec) % [46/72] xsb_wfs:p53 ............................... passed (0.009 sec) % [47/72] xsb_wfs:p54 ............................... passed (0.010 sec) % [48/72] xsb_wfs:p55 ............................... passed (0.012 sec) % [49/72] xsb_wfs:p56 ............................... passed (0.014 sec) % [50/72] xsb_wfs:p57 ............................... passed (0.015 sec) % [51/72] xsb_wfs:p58 ............................... passed (0.028 sec) % [52/72] xsb_wfs:p59 ............................... passed (0.020 sec) % [53/72] xsb_wfs:p60 ............................... passed (0.006 sec) % [54/72] xsb_wfs:p62 ............................... passed (0.006 sec) % [55/72] xsb_wfs:p63 ............................... passed (0.005 sec) % [56/72] xsb_wfs:p64 ............................... passed (0.006 sec) % [57/72] xsb_wfs:p65 ............................... passed (0.005 sec) % [58/72] xsb_wfs:p66 ............................... passed (0.006 sec) % [59/72] xsb_wfs:p67 ............................... passed (0.005 sec) % [60/72] xsb_wfs:p77 ............................... passed (0.006 sec) % [61/72] xsb_wfs:p78 ............................... passed (0.007 sec) % [62/72] xsb_wfs:p79 ............................... passed (0.008 sec) % [63/72] xsb_wfs:p80 ............................... passed (0.008 sec) % [64/72] xsb_wfs:p81 ............................... passed (0.008 sec) % [65/72] xsb_wfs:p82 ............................... passed (0.009 sec) % [66/72] xsb_wfs:p83 ............................... passed (0.009 sec) % [67/72] xsb_wfs:p84 ............................... passed (0.008 sec) % [68/72] xsb_wfs:p85 ............................... passed (0.009 sec) % [69/72] xsb_wfs:p86 ............................... passed (0.007 sec) % [70/72] xsb_wfs:p89 ............................... passed (0.007 sec) % [71/72] xsb_wfs:p90 ............................... passed (0.006 sec) % [72/72] xsb_wfs:p91 ............................... passed (0.009 sec) . done Running scripts from table_tests % [1/32] xsb_test_tables:abol_test .................. passed (0.021 sec) % [2/32] xsb_test_tables:abol_test2 ................. passed (0.014 sec) % [3/32] xsb_test_tables:abol_test2a ................ passed (0.008 sec) % [4/32] xsb_test_tables:abol_test3 ................. passed (0.009 sec) % [5/32] xsb_test_tables:abol_test3a ................ passed (0.010 sec) % [6/32] xsb_test_tables:abol_test3b ................ passed (0.013 sec) % [7/32] xsb_test_tables:abol_test3c ................ passed (0.011 sec) % [8/32] xsb_test_tables:abolish_cascade ............ passed (0.024 sec) % [9/32] xsb_test_tables:abolish_cascade_pred ....... passed (0.015 sec) % [10/32] xsb_test_tables:abolish_cycle ............. passed (0.017 sec) % [11/32] xsb_test_tables:abolish_dag ............... passed (0.018 sec) % [12/32] xsb_test_tables:abolish_neg_cycle ......... passed (0.016 sec) % [13/32] xsb_test_tables:abolish_neg_dag ........... passed (0.018 sec) % [14/32] xsb_test_tables:atc_test .................. passed (0.026 sec) % [15/32] xsb_test_tables:concomp ................... passed (0.175 sec) % [16/32] xsb_test_tables:expand .................... passed (0.337 sec) % [17/32] xsb_test_tables:ins ....................... passed (0.091 sec) % [18/32] xsb_test_tables:large_arity_tables ........ passed (0.035 sec) % [19/32] xsb_test_tables:lrbug ..................... passed (0.015 sec) % [20/32] xsb_test_tables:pps ....................... passed (0.008 sec) % [21/32] xsb_test_tables:pred_abolish_cycle ........ passed (0.030 sec) % [22/32] xsb_test_tables:pred_abolish_dag .......... passed (0.033 sec) % [23/32] xsb_test_tables:recursive_aboltest ........ passed (0.016 sec) % [24/32] xsb_test_tables:tabbug1 ................... passed (0.008 sec) % [25/32] xsb_test_tables:test_3vwfs_1 .............. passed (0.023 sec) % [26/32] xsb_test_tables:test_calldepth ............ passed (0.013 sec) % [27/32] xsb_test_tables:test_cyclic_tabling ....... passed (0.010 sec) % [28/32] xsb_test_tables:t.._large_tabled_terms .... passed (0.302 sec) % [29/32] xsb_test_tables:test_maxans_decl .......... passed (0.073 sec) % [30/32] xsb_test_tables:test_negcycle ............. passed (0.013 sec) % [31/32] xsb_test_tables:test_tda .................. passed (0.018 sec) % [32/32] xsb_test_tables:test_tda_i ................ passed (0.018 sec) . done Running scripts from incremental_tests % [1/15] xsb_test_incremental:incremental ........... passed (0.010 sec) % [2/15] xsb_test_incremental:incremental1 .......... passed (0.014 sec) % [3/15] xsb_test_incremental:inc_trie_dyn .......... passed (0.010 sec) % [4/15] xsb_test_incremental:incremental_rule ...... passed (0.007 sec) % [5/15] xsb_test_incremen..ncremental_rule_alt ..... passed (0.007 sec) % [6/15] xsb_test_incremental:test_incr_depends ..... passed (0.020 sec) % [7/15] xsb_test_incremen..test_incr_depends_2 ..... passed (0.022 sec) % [8/15] xsb_test_incremental:test_inc_switch ....... passed (0.010 sec) % [9/15] xsb_test_incremen..:test_sound_updates ..... passed (0.025 sec) % [10/15] xsb_test_incremental:test_wfs_update ...... passed (0.030 sec) % [11/15] xsb_test_incremental:incr_test_romero ..... passed (0.011 sec) % [12/15] xsb_test_incremen..lish_nonincremental .... passed (0.014 sec) % [13/15] xsb_test_incremental:inc_atc .............. passed (0.011 sec) % [14/15] xsb_test_incremental:inc_atc_gc ........... passed (0.007 sec) % [15/15] xsb_test_incremental:inc_atc_gc_tricky .... passed (0.033 sec) . done Running scripts from nonmt_tests % [1/9] xsb_test_nonmt:test_iso_basic ............... passed (0.039 sec) % [2/9] xsb_test_nonmt:test_iso_mult_visit .......... passed (0.048 sec) % [3/9] xsb_test_nonmt:test_iso_hash ................ passed (0.033 sec) % [4/9] xsb_test_nonmt:test_iso_undef ............... passed (0.025 sec) % [5/9] xsb_test_nonmt:test_lazy .................... passed (0.015 sec) % [6/9] xsb_test_nonmt:test_introspection ........... passed (0.028 sec) % [7/9] xsb_test_nonmt:test_invalidate .............. passed (0.008 sec) % [8/9] xsb_test_nonmt:cmu_sei_0050 ................. passed (0.006 sec) % [9/9] xsb_test_nonmt:test_recomputable ............ passed (0.006 sec) . done Running scripts from sub_tests % [1/36] xsb_sub:lrtc1 .............................. passed (0.013 sec) % [2/36] xsb_sub:lrtc2 .............................. passed (0.010 sec) % [3/36] xsb_sub:lrtc3 .............................. passed (0.010 sec) % [4/36] xsb_sub:lrtc4 .............................. passed (0.011 sec) % [5/36] xsb_sub:lrtc5 .............................. passed (0.016 sec) % [6/36] xsb_sub:lrtc6 .............................. passed (0.014 sec) % [7/36] xsb_sub:lrtc7 .............................. passed (0.013 sec) % [8/36] xsb_sub:lrtc8 .............................. passed (0.013 sec) % [9/36] xsb_sub:rrtc1 .............................. passed (0.010 sec) % [10/36] xsb_sub:rrtc2 ............................. passed (0.010 sec) % [11/36] xsb_sub:rrtc3 ............................. passed (0.009 sec) % [12/36] xsb_sub:rrtc4 ............................. passed (0.013 sec) % [13/36] xsb_sub:rrtc5 ............................. passed (0.013 sec) % [14/36] xsb_sub:rrtc6 ............................. passed (0.010 sec) % [15/36] xsb_sub:rrtc7 ............................. passed (0.010 sec) % [16/36] xsb_sub:rrtc8 ............................. passed (0.012 sec) % [17/36] xsb_sub:drtc1 ............................. passed (0.011 sec) % [18/36] xsb_sub:drtc2 ............................. passed (0.010 sec) % [19/36] xsb_sub:drtc3 ............................. passed (0.015 sec) % [20/36] xsb_sub:drtc4 ............................. passed (0.012 sec) % [21/36] xsb_sub:drtc5 ............................. passed (0.009 sec) % [22/36] xsb_sub:drtc6 ............................. passed (0.009 sec) % [23/36] xsb_sub:drtc7 ............................. passed (0.010 sec) % [24/36] xsb_sub:drtc8 ............................. passed (0.011 sec) % [25/36] xsb_sub:sg1 ............................... passed (0.008 sec) % [26/36] xsb_sub:sg2 ............................... passed (0.008 sec) % [27/36] xsb_sub:sg3 ............................... passed (0.008 sec) % [28/36] xsb_sub:sg4 ............................... passed (0.009 sec) % [29/36] xsb_sub:sg5 ............................... passed (0.009 sec) % [30/36] xsb_sub:sg6 ............................... passed (0.013 sec) % [31/36] xsb_sub:sg7 ............................... passed (0.013 sec) % [32/36] xsb_sub:sg8 ............................... passed (0.014 sec) % [33/36] xsb_sub:genome1 ........................... passed (0.012 sec) % [34/36] xsb_sub:genome2 ........................... passed (0.012 sec) % [35/36] xsb_sub:genome3 ........................... passed (0.013 sec) % [36/36] xsb_sub:test_answer_abstraction ........... passed (0.019 sec) . done Running scripts from attv_tests % [1/7] xsb_attv_tests:attv_test .................... passed (0.007 sec) % [2/7] xsb_attv_tests:copyterm_attv ................ passed (0.013 sec) % [3/7] xsb_attv_tests:fd1 .......................... passed (0.015 sec) % [4/7] xsb_attv_tests:findall_attv ................. passed (0.007 sec) % [5/7] xsb_attv_tests:general ...................... passed (0.009 sec) % [6/7] xsb_attv_tests:interrupt1 ................... passed (0.007 sec) % [7/7] xsb_attv_tests:ret_attv ..................... passed (0.007 sec) . done Running scripts from rational % [1/45] ieee754:ieee_flags ......................... passed (0.000 sec) % [2/45] ieee754:ieee_excp .......................... passed (0.000 sec) % [3/45] ieee754:ieee_cmp ........................... passed (0.000 sec) % [4/45] ieee754:ieee_tcmp .......................... passed (0.000 sec) % [5/45] ieee754:ieee_minus ......................... passed (0.000 sec) % [6/45] ieee754:ieee_add ........................... passed (0.000 sec) % [7/45] ieee754:ieee_sub ........................... passed (0.000 sec) % [8/45] ieee754:ieee_mul ........................... passed (0.000 sec) % [9/45] ieee754:ieee_div ........................... passed (0.000 sec) % [10/45] ieee754:ieee_sign ......................... passed (0.000 sec) % [11/45] ieee754:ieee_parts ........................ passed (0.000 sec) % [12/45] ieee754:ieee_acos ......................... passed (0.000 sec) % [13/45] ieee754:ieee_asin ......................... passed (0.000 sec) % [14/45] ieee754:ieee_atan ......................... passed (0.000 sec) % [15/45] ieee754:ieee_atan2 ........................ passed (0.000 sec) % [16/45] ieee754:ieee_cos .......................... passed (0.000 sec) % [17/45] ieee754:ieee_sin .......................... passed (0.000 sec) % [18/45] ieee754:ieee_tan .......................... passed (0.000 sec) % [19/45] ieee754:ieee_acosh ........................ passed (0.000 sec) % [20/45] ieee754:ieee_asinh ........................ passed (0.000 sec) % [21/45] ieee754:ieee_atanh ........................ passed (0.000 sec) % [22/45] ieee754:ieee_cosh ......................... passed (0.000 sec) % [23/45] ieee754:ieee_sinh ......................... passed (0.000 sec) % [24/45] ieee754:ieee_tanh ......................... passed (0.000 sec) % [25/45] ieee754:ieee_exp .......................... passed (0.000 sec) % [26/45] ieee754:ieee_log .......................... passed (0.000 sec) % [27/45] ieee754:ieee_log10 ........................ passed (0.000 sec) % [28/45] ieee754:ieee_abs .......................... passed (0.000 sec) % [29/45] ieee754:ieee_pow .......................... passed (0.000 sec) % [30/45] ieee754:ieee_sqrt ......................... passed (0.000 sec) % [31/45] ieee754:ieee_erf .......................... passed (0.000 sec) % [32/45] ieee754:ieee_erfc ......................... passed (0.000 sec) % [33/45] ieee754:ieee_lgamma ....................... passed (0.000 sec) % [34/45] ieee754:ieee_ceil ......................... passed (0.000 sec) % [35/45] ieee754:ieee_floor ........................ passed (0.000 sec) % [36/45] ieee754:ieee_round ........................ passed (0.000 sec) % [37/45] ieee754:ieee_trunc ........................ passed (0.000 sec) % [38/45] ieee754:ieee_copysign ..................... passed (0.000 sec) % [39/45] ieee754:ieee_nexttoward ................... passed (0.000 sec) % [40/45] ieee754:ieee_max .......................... passed (0.000 sec) % [41/45] ieee754:ieee_min .......................... passed (0.000 sec) % [42/45] ieee754:ieee_rmode ........................ passed (0.000 sec) % [43/45] ieee754:float_to_rat ...................... passed (0.000 sec) % [44/45] ieee754:ieee_rndto ........................ passed (0.000 sec) % [45/45] ieee754:bounded ........................... passed (0.000 sec) . % [1/15] rational:filters ........................... passed (0.000 sec) % [2/15] rational:construct ......................... passed (0.000 sec) % [3/15] rational:compare ........................... passed (0.000 sec) % [4/15] rational:keep_precision .................... passed (0.000 sec) % [5/15] rational:conversion ........................ passed (0.000 sec) % [6/15] rational:int_to_rat ........................ passed (0.000 sec) % [7/15] rational:rat_to_rat ........................ passed (0.000 sec) % [8/15] rational:pow_special ....................... passed (0.000 sec) % [9/15] rational:other_arith ....................... passed (0.000 sec) % [10/15] rational:strings .......................... passed (0.000 sec) % [11/15] rational:io ............................... passed (0.000 sec) % [12/15] rational:syntax_fail ...................... passed (0.000 sec) % [13/15] rationalize:trip .......................... passed (0.000 sec) % [14/15] rationalize:roundtrip_rational ............ passed (0.004 sec) % [15/15] rationalize:roundtrip_rationalize ......... passed (0.006 sec) . % [1/5] cmpr:compare_modes .......................... passed (0.000 sec) % [2/5] cmpr:compare_corners ........................ passed (0.000 sec) % [3/5] cmpr:realerrors ............................. passed (0.000 sec) % [4/5] cmpr:neg .................................... passed (0.000 sec) % [5/5] maxminr:realmaxmin .......................... passed (0.000 sec) . done *** 1 tests failed *** Saving _problems/test-rswipl-16.R Start testing package chr:chr Package chr:chr......................... passed 0.73 sec. All tests passed Start testing package sgml:sgml Package sgml:sgml....................... passed 0.65 sec. Start testing package sgml:sgml_write Package sgml:sgml_write................. passed 0.75 sec. Start testing package sgml:xsd Package sgml:xsd........................ passed 0.70 sec. Start testing package sgml:c14n Package sgml:c14n....................... passed 0.80 sec. All tests passed [ FAIL 1 | WARN 0 | SKIP 0 | PASS 17 ] ══ Failed tests ════════════════════════════════════════════════════════════════ ── Failure ('test-rswipl.R:16:3'): swipl is working ──────────────────────────── Expected `q` to equal `list()`. Differences: `actual` is a logical vector (FALSE) `expected` is a list [ FAIL 1 | WARN 0 | SKIP 0 | PASS 17 ] Error: ! Test failures. Execution halted * checking PDF version of manual ... [19s] OK * checking HTML version of manual ... [1s] OK * DONE Status: 1 ERROR