Changeset: 8df752703b48 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=8df752703b48 Modified Files: clients/Tests/MAL-signatures.stable.out clients/Tests/MAL-signatures.stable.out.int128 Branch: default Log Message:
Approve output. diffs (truncated from 2450 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 @@ -790,14 +790,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:bat[:any_1], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit], X_6:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:bat[:any_1], X_3:bat[:oid], X_4:bat[:oid], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:bat[:any_1], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] @@ -822,14 +814,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:hge):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:hge):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:hge, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:hge, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:hge, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:hge, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:hge, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:hge, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] @@ -886,70 +870,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:daytime, X_3:bat[:oid], X_4:bat[:bit], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:daytime, X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:daytime, X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:bte], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:bte], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:int], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:int], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:lng], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:lng], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:sht], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:sht], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bte):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bte):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bte, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bte, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bte, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bte, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bte, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:bte, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:int):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:int):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:int, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:int, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:int, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:int, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:int, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:int, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:lng):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:lng):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:lng, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:lng, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:lng, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:lng, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:lng, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:lng, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:sht):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:sht):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:sht, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:sht, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:sht, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:sht, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:sht, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:hge], X_2:sht, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] @@ -958,14 +878,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] @@ -990,14 +902,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:hge):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:hge):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:hge, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:hge, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:hge, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:hge, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:hge, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:hge, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] @@ -1038,14 +942,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] @@ -1070,14 +966,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:hge):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:hge):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:hge, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:hge, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:hge, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:hge, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:hge, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:hge, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] @@ -1102,14 +990,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] @@ -1134,14 +1014,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:hge):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:hge):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:hge, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:hge, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:hge, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:hge, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:hge, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:hge, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] @@ -1190,14 +1062,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:uuid], X_2:uuid, X_3:bat[:oid], X_4:bat[:bit], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:uuid], X_2:uuid, X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:uuid], X_2:uuid, X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bte, X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bte, X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bte, X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bte, X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bte, X_2:bat[:hge], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bte, X_2:bat[:hge], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bte, X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:bte, X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bte, X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bte, X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bte, X_2:bat[:int], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] @@ -1238,38 +1102,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:daytime, X_2:bat[:daytime], X_3:bat[:oid], X_4:bat[:bit], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:daytime, X_2:bat[:daytime], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:daytime, X_2:bat[:daytime], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:bte], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:bte], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:bte], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:bte], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:int], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:int], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:int], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:int], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:int], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:int], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:lng], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:lng], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:lng], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:lng], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:sht], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:sht], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:sht], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:sht], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:hge, X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:bte], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] @@ -1278,14 +1110,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:bte], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:hge], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:hge], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:int, X_2:bat[:lng], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] @@ -1318,14 +1142,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:lng, X_2:bat[:bte], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:lng, X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:lng, X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:lng, X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:lng, X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:lng, X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:lng, X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:lng, X_2:bat[:hge], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:lng, X_2:bat[:hge], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:lng, X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:lng, X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:lng, X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:lng, X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:lng, X_2:bat[:int], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] @@ -1350,14 +1166,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:sht, X_2:bat[:bte], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:sht, X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:sht, X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:sht, X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:sht, X_2:bat[:hge]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:sht, X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:sht, X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:sht, X_2:bat[:hge], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:sht, X_2:bat[:hge], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:sht, X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_1:sht, X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:sht, X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:sht, X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:sht, X_2:bat[:int], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] @@ -4054,10 +3862,6 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "<", "pattern batcalc.<(X_1:bat[:any_1], X_2:bat[:any_1], X_3:bat[:bit]):bat[:bit] ", "CMDbatLT;", "" ] [ "batcalc", "<", "pattern batcalc.<(X_1:bat[:any_1], X_2:bat[:any_1], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatLT;", "" ] [ "batcalc", "<", "pattern batcalc.<(X_1:bat[:any_1], X_2:bat[:any_1], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatLT;", "" ] -[ "batcalc", "<", "pattern batcalc.<(X_1:bat[:bte], X_2:bat[:hge]):bat[:bit] ", "CMDbatLT;", "" ] -[ "batcalc", "<", "pattern batcalc.<(X_1:bat[:bte], X_2:bat[:hge], X_3:bat[:bit]):bat[:bit] ", "CMDbatLT;", "" ] -[ "batcalc", "<", "pattern batcalc.<(X_1:bat[:bte], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatLT;", "" ] _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list
