Changeset: 96030790d20e for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=96030790d20e Modified Files: clients/Tests/MAL-signatures.stable.out clients/Tests/MAL-signatures.stable.out.int128 sql/test/BugDay_2005-11-09_2.9.3/Tests/empty_avg.SF-1207887.stable.out sql/test/BugTracker-2012/Tests/aggregate_incorrect_precision_scale.Bug-3182.stable.out sql/test/BugTracker-2016/Tests/isaUUID_function.Bug-3997.stable.err sql/test/BugTracker-2017/Tests/crash_function_returning_sample.Bug-6291.stable.out sql/test/SQLancer/Tests/sqlancer02.stable.err sql/test/SQLancer/Tests/sqlancer02.stable.out sql/test/Tests/median_stdev.stable.out sql/test/miscellaneous/Tests/simple_selects.stable.out sql/test/pg_regress/Tests/interval.stable.err.int128 sql/test/pg_regress/Tests/interval.stable.out sql/test/pg_regress/Tests/interval.stable.out.int128 sql/test/pg_regress/Tests/numeric.stable.out.int128 sql/test/sys-schema/Tests/systemfunctions.stable.out sql/test/sys-schema/Tests/systemfunctions.stable.out.int128 Branch: default Log Message:
Approved output diffs (truncated from 8271 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,6 +790,70 @@ 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;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], 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[:bte], 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[:bte], X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], 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[:bte], 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[:bte], X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "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]):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;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:bat[:date]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:bat[:date], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:bat[:date], X_3:bat[:bit], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] @@ -822,6 +886,134 @@ 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;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "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]):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;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], 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[:int], 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[:int], X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], 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[:int], 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[:int], X_2:bte):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "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]):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;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:bat[:json]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:bat[:json], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:bat[:json], X_3:bat[:bit], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] @@ -838,6 +1030,134 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:json, X_3:bat[:oid], X_4:bat[:bit], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:json, X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:json, X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "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]):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;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], 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[:lng], 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[:lng], X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], 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[:lng], 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[:lng], X_2:bte):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "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]):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;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht, X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht, X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "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]):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;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] _______________________________________________ checkin-list mailing list [email protected] https://www.monetdb.org/mailman/listinfo/checkin-list
