Changeset: 77646cb4cc82 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=77646cb4cc82 Modified Files: clients/Tests/MAL-signatures.stable.out Branch: default Log Message:
Merged with octbugs diffs (truncated from 1428 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 @@ -1332,42 +1332,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;", "" ] @@ -1378,32 +1346,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;", "" ] @@ -1493,15 +1437,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;", "" ] @@ -1512,42 +1448,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;", "" ] @@ -1558,42 +1462,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;", "" ] @@ -1604,42 +1476,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;", "" ] @@ -1650,41 +1490,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;", "" ] @@ -1696,41 +1504,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 checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list
