Changeset: 9a172dddd540 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=9a172dddd540 Modified Files: clients/Tests/MAL-signatures.stable.out clients/Tests/MAL-signatures.stable.out.int128 clients/Tests/exports.stable.out gdk/gdk_string.c monetdb5/mal/mal_profiler.c monetdb5/mal/mal_runtime.c sql/backends/monet5/UDF/pyapi3/pyapi3.c sql/backends/monet5/sql.c sql/backends/monet5/sql_upgrades.c sql/common/sql_types.c sql/include/sql_catalog.h sql/include/sql_relation.h sql/server/rel_optimizer.c sql/server/rel_updates.c sql/test/analytics/Tests/analytics14.stable.out sql/test/emptydb/Tests/check.stable.out sql/test/emptydb/Tests/check.stable.out.32bit sql/test/emptydb/Tests/check.stable.out.int128 sql/test/pg_regress/Tests/alter_table.stable.err sql/test/subquery/Tests/correlated.stable.out sql/test/sys-schema/Tests/systemfunctions.stable.out sql/test/sys-schema/Tests/systemfunctions.stable.out.int128 tools/monetdbe/monetdbe.c Branch: unlock Log Message:
Merge with default branch. diffs (truncated from 147457 to 300 lines): diff --git a/clients/Tests/MAL-signatures.stable.out b/clients/Tests/MAL-signatures.stable.out --- a/clients/Tests/MAL-signatures.stable.out +++ b/clients/Tests/MAL-signatures.stable.out @@ -1376,42 +1376,10 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] @@ -1422,32 +1390,8 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] @@ -1537,15 +1481,7 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] @@ -1556,42 +1492,10 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl, X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] @@ -1602,42 +1506,10 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] @@ -1648,42 +1520,10 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bte, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bte, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bte, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bte, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bte, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bte, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bte, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bte, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bte, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:dbl, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:dbl, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:dbl, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] @@ -1694,41 +1534,9 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:flt, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:flt, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:flt, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:int, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:int, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:int, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:int, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:int, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:int, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:int, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:lng, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:lng, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:lng, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:lng, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:lng, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:lng, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:sht, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:sht, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:sht, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:sht, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:sht, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:sht, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:sht, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:sht, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:sht, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] @@ -1740,41 +1548,9 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bte, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bte, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] -[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bte, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] _______________________________________________ checkin-list mailing list [email protected] https://www.monetdb.org/mailman/listinfo/checkin-list
