Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

factored BTest constants into globals to prevent premature ZAM optimization when testing

Browse source
This commit is contained in:
Vern Paxson 2024-04-27 19:40:39 -07:00
parent cf456f943f
commit 033cf2d8dd
1 changed files with 63 additions and 37 deletions
Download patch file Download diff file Expand all files Collapse all files

100
testing/btest/language/pattern.zeek
View file

@ -7,11 +7,37 @@ function test_case(msg: string, expect: bool)
print fmt("%s (%s)", msg, expect ? "PASS" : "FAIL");
}
# We use globals rather than direct constants in the tests to prevent
# ZAM from folding the expressions rather than evaluating them dynamically.
global p1: pattern = /foo|bar/;
global p2: pattern = /oob/;
global p3: pattern = /^oob/;
global p4 = /foo/;
global Foo = "Foo";
global bAr = "bAr";
global bArbEz = "bArbEz";
global bArbez = "bArbez";
global bEz = "bEz";
global b_newline_r = "b\nr";
global b_newline_rbez = "b\nrbez";
global bar = "bar";
global barbEz = "barbEz";
global barbez = "barbez";
global baroob = "baroob";
global bez = "bez";
global fOO = "fOO";
global fOOab_newline_cdbAR = "fOOab\ncdbAR";
global foo = "foo";
global foobar = "foobar";
global lazybarlazy = "lazybarlazy";
global xBAry = "xBAry";
global xFOoy = "xFOoy";
global xFoObar = "xFoObar";
global xfOObar = "xfOObar";
global xoob = "xoob";
event zeek_init()
{
# Type inference tests
@ -20,54 +46,54 @@ event zeek_init()
# Operator tests
test_case( "equality operator", "foo" == p1 );
test_case( "equality operator (order of operands)", p1 == "foo" );
test_case( "equality operator", foo == p1 );
test_case( "equality operator (order of operands)", p1 == foo );
test_case( "inequality operator", "foobar" != p1 );
test_case( "inequality operator (order of operands)", p1 != "foobar" );
test_case( "inequality operator", foobar != p1 );
test_case( "inequality operator (order of operands)", p1 != foobar );
test_case( "in operator", p1 in "foobar" );
test_case( "in operator", p2 in "foobar" );
test_case( "!in operator", p3 !in "foobar" );
test_case( "in operator", p1 in foobar );
test_case( "in operator", p2 in foobar );
test_case( "!in operator", p3 !in foobar );
test_case( "& operator", p1 & p2 in "baroob" );
test_case( "& operator", p2 & p1 in "baroob" );
test_case( "& operator", p1 & p2 in baroob );
test_case( "& operator", p2 & p1 in baroob );
test_case( "| operator", p1 | p2 in "lazybarlazy" );
test_case( "| operator", p3 | p4 in "xoob" );
test_case( "| operator", p1 | p2 in lazybarlazy );
test_case( "| operator", p3 | p4 in xoob );
test_case( "/i pattern modifier", /fOO/i in "xFoObar" );
test_case( "/i pattern modifier", /fOO/i == "Foo" );
test_case( "/i pattern modifier", /fOO/i in xFoObar );
test_case( "/i pattern modifier", /fOO/i == Foo );
test_case( "/i double-quote escape", /"fOO"/i in "xFoObar" );
test_case( "/i double-quote escape", /"fOO"/i in "xfOObar" );
test_case( "/i double-quote escape", /"fOO"/i in xFoObar );
test_case( "/i double-quote escape", /"fOO"/i in xfOObar );
test_case( "case-sensitive pattern", /fOO/ in "xFoObar" );
test_case( "case-sensitive pattern", /fOO/ == "Foo" );
test_case( "case-sensitive pattern", /fOO/ == "fOO" );
test_case( "case-sensitive pattern", /fOO/ in xFoObar );
test_case( "case-sensitive pattern", /fOO/ == Foo );
test_case( "case-sensitive pattern", /fOO/ == fOO );
test_case( "/i pattern disjunction", /bar/i | /bez/ == "bez" );
test_case( "/i pattern disjunction", /bar/i | /bez/ == "bEz" );
test_case( "/i pattern disjunction", /bar/i | /bez/ == "bar" );
test_case( "/i pattern disjunction", /bar/i | /bez/ == "bAr" );
test_case( "/i pattern disjunction", /bar/i | /bez/ == bez );
test_case( "/i pattern disjunction", /bar/i | /bez/ == bEz );
test_case( "/i pattern disjunction", /bar/i | /bez/ == bar );
test_case( "/i pattern disjunction", /bar/i | /bez/ == bAr );
test_case( "/i pattern concatenation", /bar/i & /bez/ == "barbez" );
test_case( "/i pattern concatenation", /bar/i & /bez/ == "barbEz" );
test_case( "/i pattern concatenation", /BAR/i & /bez/ == "barbEz" );
test_case( "/i pattern concatenation", /bar/i & /bez/ == "bArbez" );
test_case( "/i pattern concatenation", /BAR/i & /bez/ == "bArbez" );
test_case( "/i pattern concatenation", /bar/i & /bez/ == "bArbEz" );
test_case( "/i pattern concatenation", /bar/i & /bez/ == barbez );
test_case( "/i pattern concatenation", /bar/i & /bez/ == barbEz );
test_case( "/i pattern concatenation", /BAR/i & /bez/ == barbEz );
test_case( "/i pattern concatenation", /bar/i & /bez/ == bArbez );
test_case( "/i pattern concatenation", /BAR/i & /bez/ == bArbez );
test_case( "/i pattern concatenation", /bar/i & /bez/ == bArbEz );
test_case( "/i pattern character class", /ba[0a-c99S-Z0]/i & /bEz/ == "bArbEz" );
test_case( "/i pattern character class", /ba[0a-c99M-S0]/i & /bEz/ == "bArbEz" );
test_case( "/i pattern character class", /ba[0a-c99S-Z0]/i & /bEz/ == bArbEz );
test_case( "/i pattern character class", /ba[0a-c99M-S0]/i & /bEz/ == bArbEz );
test_case( "(?i:...) pattern construct", /foo|(?i:bar)/ in "xBAry" );
test_case( "(?i:...) pattern construct", /foo|(?i:bar)/ in "xFOoy" );
test_case( "(?i:...) pattern construct", /foo|(?i:bar)/ | /foo/i in "xFOoy" );
test_case( "(?i:...) pattern construct", /foo|(?i:bar)/ in xBAry );
test_case( "(?i:...) pattern construct", /foo|(?i:bar)/ in xFOoy );
test_case( "(?i:...) pattern construct", /foo|(?i:bar)/ | /foo/i in xFOoy );
test_case( "/s missing", /fOO.*bAR/ != "fOOab\ncdbAR");
test_case( "/s pattern modifier", /fOO.*bAR/s == "fOOab\ncdbAR");
test_case( "/s pattern disjunction", /b.r/s | /bez/ == "b\nr" );
test_case( "/s pattern concatenation", /b.r/s & /bez/ == "b\nrbez" );
test_case( "/s missing", /fOO.*bAR/ != fOOab_newline_cdbAR);
test_case( "/s pattern modifier", /fOO.*bAR/s == fOOab_newline_cdbAR);
test_case( "/s pattern disjunction", /b.r/s | /bez/ == b_newline_r );
test_case( "/s pattern concatenation", /b.r/s & /bez/ == b_newline_rbez );
}