@@ -8093,4 +8093,75 @@ equal(~{var xx[10^5] := [-3]; var yy[10^5] := [-4]; xx := 2 * abs((1 + xx) + (yy
80938093equal(~{var xx[10^5] := [-3]; var yy[10^5] := [-4]; xx := abs((xx + 1) + (yy + 1)) * 2; sum(xx) == 10^6},true)
80948094equal(~{var xx[10^5] := [-3]; var yy[10^5] := [-4]; xx := abs((1 + xx) + (1 + yy)) * 2; sum(xx) == 10^6},true)
80958095equal(~{var xx[10^5] := [-3]; var yy[10^5] := [-4]; xx := abs((xx + 1) + (1 + yy)) * 2; sum(xx) == 10^6},true)
8096- equal(~{var xx[10^5] := [-3]; var yy[10^5] := [-4]; xx := abs((1 + xx) + (yy + 1)) * 2; sum(xx) == 10^6},true)
8096+ equal(~{var xx[10^5] := [-3]; var yy[10^5] := [-4]; xx := abs((1 + xx) + (yy + 1)) * 2; sum(xx) == 10^6},true)
8097+ equal('abcd' like 'abcd*' , true )
8098+ equal('abcd' like 'abc*' , true )
8099+ equal('abcd' like 'ab*' , true )
8100+ equal('abcd' like 'a*' , true )
8101+ equal('abcd' like 'abcd?' , true )
8102+ equal('abcd' like 'abc?' , true )
8103+ equal('abcd' like 'abc??' , true )
8104+ equal('abcd' like 'ab???' , true )
8105+ equal('abcd' like 'a????' , true )
8106+ equal('abcd' like '?????' , true )
8107+ equal('a' like 'a*' , true )
8108+ equal('ab' like 'a*' , true )
8109+ equal('abcd' like 'abcd*' , true )
8110+ equal('' like '' , true )
8111+ equal('abcd' like 'abcd' , true )
8112+ equal('abcd' like 'abc*' , true )
8113+ equal('abcd' like '*bcd' , true )
8114+ equal('abcd' like 'abc?' , true )
8115+ equal('abcd' like '?bcd' , true )
8116+ equal('abcd' like 'ab?d' , true )
8117+ equal('abcd' like 'ab*d' , true )
8118+ equal('abcd' like 'a?cd' , true )
8119+ equal('abcd' like 'a*cd' , true )
8120+ equal('abcd' like 'a??d' , true )
8121+ equal('abcd' like 'a*?d' , true )
8122+ equal('abcd' like '*bc*' , true )
8123+ equal('abcd' like '?bc?' , true )
8124+ equal('abcd' like '????' , true )
8125+ equal('abcd' like 'a???' , true )
8126+ equal('abcd' like 'ab??' , true )
8127+ equal('abcd' like 'abc?' , true )
8128+ equal('abcd' like '???d' , true )
8129+ equal('abcd' like '??cd' , true )
8130+ equal('abcd' like '?bcd' , true )
8131+ equal('abcd' like '?b?d' , true )
8132+ equal('abcd' like 'a?c?' , true )
8133+ equal('abcd' like 'a??d' , true )
8134+ equal('abcd' like '?bc?' , true )
8135+ equal('abcd' like 'ab**' , true )
8136+ equal('abcd' like 'ab*?' , true )
8137+ equal('abcd' like 'a***' , true )
8138+ equal('abcd' like '**cd' , true )
8139+ equal('abcd' like '*?cd' , true )
8140+ equal('abcd' like '***d' , true )
8141+ equal('abcd' like '?*?d' , true )
8142+ equal('abcd' like '?*?d' , true )
8143+ equal('abcd' like '*bc*' , true )
8144+ equal('abcd' like '*bc?' , true )
8145+ equal('abcd' like '*b??' , true )
8146+ equal('abcd' like '?bc*' , true )
8147+ equal('abcd' like '??c*' , true )
8148+ equal('abcd' like '*b?*' , true )
8149+ equal('abcd' like '*b*d' , true )
8150+ equal('abcd' like 'a*c*' , true )
8151+ equal('abcd' like '?*cd' , true )
8152+ equal('abcd' like 'ab?*' , true )
8153+ equal('abcd' like 'ab*?' , true )
8154+ equal('abcd' like 'a?*d' , true )
8155+ equal('ab' like 'a*' , true )
8156+ equal('ab' like 'a?' , true )
8157+ equal('a' like 'a*' , true )
8158+ equal('a' like 'a?' , true )
8159+ equal('xalabcd' like '*abcd*' , true )
8160+ equal('xablabcd' like '*abcd*' , true )
8161+ equal('xabclabcd' like '*abcd*' , true )
8162+ equal('aaaaa' like '*aa?' , true )
8163+ equal('abcd' like 'xyzw' , false)
8164+ equal('abcd' like 'xyz' , false)
8165+ equal('abc' like 'xyzw' , false)
8166+ equal('abcd' like 'ab?' , false)
8167+ equal('abcd' like 'a?' , false)
0 commit comments