Changeset: 1b36ca40bb35 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/1b36ca40bb35 Modified Files: clients/Tests/MAL-signatures.stable.out clients/Tests/MAL-signatures.stable.out.int128 monetdb5/modules/mal/batcalc.c Branch: Jul2021 Log Message:
Fixed number of arguments for batcalc != and == with nil_matches flag diffs (truncated from 1403 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 @@ -721,29 +721,29 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:any_1], X_1:bat[:any_1], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:any_1], X_1:bat[:any_1], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:date], X_1:bat[:date]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:date], X_1:bat[:date], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:date], X_1:bat[:date], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] @@ -769,29 +769,29 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:inet, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:inet, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:bat[:json]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:bat[:json], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:bat[:json], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] @@ -801,53 +801,53 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:json, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:json, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:timestamp], X_1:bat[:timestamp]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:timestamp], X_1:bat[:timestamp], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:timestamp], X_1:bat[:timestamp], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] @@ -865,17 +865,17 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:uuid], X_1:uuid, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:uuid], X_1:uuid, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:date, X_1:bat[:date]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:date, X_1:bat[:date], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:date, X_1:bat[:date], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] @@ -889,45 +889,45 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_0:inet, X_1:bat[:inet], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:inet, X_1:bat[:inet], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:json, X_1:bat[:json]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:json, X_1:bat[:json], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:json, X_1:bat[:json], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:json, X_1:bat[:json], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:timestamp, X_1:bat[:timestamp]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:timestamp, X_1:bat[:timestamp], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:timestamp, X_1:bat[:timestamp], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] @@ -2953,29 +2953,29 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:any_1], X_1:bat[:any_1], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:any_1], X_1:bat[:any_1], X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:int]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:int]):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:lng]):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:int], X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:lng]):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:sht]):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:lng], X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:sht]):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:int):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:sht], X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:int):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:lng):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:int, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:int, X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:lng):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:sht):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:lng, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:lng, X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:sht):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:sht, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:sht, X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:date], X_1:bat[:date]):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:date], X_1:bat[:date], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:date], X_1:bat[:date], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatEQ;", "" ] @@ -3001,29 +3001,29 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:inet], X_1:inet, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:inet], X_1:inet, X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:int], X_1:bat[:bte]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:int], X_1:bat[:bte]):bat[:bit] ", "CMDbatEQ;", "" ] _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list
