Changeset: a98ac14c4bf6 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=a98ac14c4bf6
Modified Files:
clients/Tests/MAL-signatures.stable.out
clients/Tests/MAL-signatures.stable.out.int128
monetdb5/modules/mal/batcalc.c
monetdb5/modules/mal/calc.c
sql/test/SQLancer/Tests/sqlancer08.sql
sql/test/SQLancer/Tests/sqlancer08.stable.out
Branch: octbugs
Log Message:
Doing progress, but gdk call for mul(int,lng)->int is still missing :(
diffs (truncated from 2219 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
@@ -1322,6 +1322,16 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:sht],
X_3:bat[:oid]):bat[:int] ", "CMDbatMULenlarge;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:sht],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULenlarge;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
@@ -5154,6 +5164,16 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "month_interval", "pattern
batcalc.month_interval(X_1:bat[:str], X_2:bat[:oid], X_3:int,
X_4:int):bat[:int] ", "month_interval_str;", "" ]
[ "batcalc", "month_interval", "pattern
batcalc.month_interval(X_1:bat[:str], X_2:int, X_3:int):bat[:int] ",
"month_interval_str;", "" ]
[ "batcalc", "mul_noerror", "pattern batcalc.mul_noerror(X_1:bat[:bte],
X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMUL;", ""
]
+[ "batcalc", "mul_noerror", "pattern batcalc.mul_noerror(X_1:bat[:bte],
X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMUL;", ""
]
+[ "batcalc", "mul_noerror", "pattern batcalc.mul_noerror(X_1:bat[:bte],
X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMUL;", ""
]
+[ "batcalc", "mul_noerror", "pattern batcalc.mul_noerror(X_1:bat[:bte],
X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMUL;", ""
]
+[ "batcalc", "mul_noerror", "pattern batcalc.mul_noerror(X_1:bat[:bte],
X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMUL;", ""
]
+[ "batcalc", "mul_noerror", "pattern batcalc.mul_noerror(X_1:bat[:bte],
X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMUL;", ""
]
+[ "batcalc", "mul_noerror", "pattern batcalc.mul_noerror(X_1:bat[:bte],
X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMUL;", ""
]
+[ "batcalc", "mul_noerror", "pattern batcalc.mul_noerror(X_1:bat[:bte],
X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMUL;", ""
]
+[ "batcalc", "mul_noerror", "pattern batcalc.mul_noerror(X_1:bat[:bte],
X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMUL;", ""
]
+[ "batcalc", "mul_noerror", "pattern batcalc.mul_noerror(X_1:bat[:bte],
X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMUL;", ""
]
+[ "batcalc", "mul_noerror", "pattern batcalc.mul_noerror(X_1:bat[:bte],
X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMUL;", ""
]
[ "batcalc", "mul_noerror", "pattern batcalc.mul_noerror(X_1:bat[:bte],
X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMUL;", ""
]
[ "batcalc", "mul_noerror", "pattern batcalc.mul_noerror(X_1:bat[:bte],
X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMUL;", ""
]
[ "batcalc", "mul_noerror", "pattern batcalc.mul_noerror(X_1:bat[:bte],
X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMUL;", ""
]
@@ -6745,6 +6765,7 @@ stdout of test 'MAL-signatures` in direc
[ "calc", "*", "pattern calc.*(X_1:bte, X_2:int):flt ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:bte, X_2:int):int ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:bte, X_2:int):lng ",
"CMDvarMULsignal;", "" ]
+[ "calc", "*", "pattern calc.*(X_1:bte, X_2:lng):bte ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:bte, X_2:lng):dbl ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:bte, X_2:lng):flt ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:bte, X_2:lng):lng ",
"CMDvarMULsignal;", "" ]
@@ -6851,6 +6872,7 @@ stdout of test 'MAL-signatures` in direc
[ "calc", "*", "pattern calc.*(X_1:lng, X_2:sht):dbl ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:lng, X_2:sht):flt ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:lng, X_2:sht):lng ",
"CMDvarMULsignal;", "" ]
+[ "calc", "*", "pattern calc.*(X_1:lng, X_2:sht):sht ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:sht, X_2:bte):dbl ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:sht, X_2:bte):flt ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:sht, X_2:bte):int ",
"CMDvarMULsignal;", "" ]
@@ -6874,6 +6896,7 @@ stdout of test 'MAL-signatures` in direc
[ "calc", "*", "pattern calc.*(X_1:sht, X_2:lng):dbl ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:sht, X_2:lng):flt ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:sht, X_2:lng):lng ",
"CMDvarMULsignal;", "" ]
+[ "calc", "*", "pattern calc.*(X_1:sht, X_2:lng):sht ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:sht, X_2:sht):dbl ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:sht, X_2:sht):flt ",
"CMDvarMULsignal;", "" ]
[ "calc", "*", "pattern calc.*(X_1:sht, X_2:sht):int ",
"CMDvarMULsignal;", "" ]
diff --git a/clients/Tests/MAL-signatures.stable.out.int128
b/clients/Tests/MAL-signatures.stable.out.int128
--- a/clients/Tests/MAL-signatures.stable.out.int128
+++ b/clients/Tests/MAL-signatures.stable.out.int128
@@ -1776,6 +1776,16 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:sht],
X_3:bat[:oid]):bat[:int] ", "CMDbatMULenlarge;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:sht],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULenlarge;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
@@ -1788,11 +1798,61 @@ 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[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:hge],
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[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "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[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "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[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "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[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte,
X_3:bat[:oid]):bat[:hge] ", "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[:hge] ", "CMDbatMULsignal;", "" ]
@@ -1805,9 +1865,49 @@ 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:hge,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:hge,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:hge,
X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:hge,
X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:hge,
X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:hge,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:hge,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:hge,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:hge,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:hge,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:hge,
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[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int,
X_3:bat[:oid]):bat[:hge] ", "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[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng,
X_3:bat[:oid]):bat[:hge] ", "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[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht,
X_3:bat[:oid]):bat[:hge] ", "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;", "" ]
@@ -1937,7 +2037,17 @@ 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[:hge], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
@@ -1950,11 +2060,61 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:hge],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bte,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bte,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bte,
X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bte,
X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bte,
X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bte,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bte,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bte,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bte,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bte,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bte,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:dbl,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:dbl,
X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:dbl,
X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
@@ -1967,11 +2127,61 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:flt,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:flt,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:flt,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:hge,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:hge,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:hge,
X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:hge,
X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:hge,
X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:hge,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:hge,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:hge,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:hge,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:hge,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:hge,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:int,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:int,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:int,
X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:int,
X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:int,
X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:int,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:int,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:int,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:int,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:int,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:int,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:lng,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list
