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

btest for mutually-recursive case

Browse source
This commit is contained in:
Vern Paxson 2022-04-29 08:44:58 -07:00
parent 5a1c33ed4a
commit b670046a69
2 changed files with 27 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
testing/btest/Baseline/bifs.footprint/out
View file

@ -47,3 +47,7 @@ s3, 8
s3, 20 s3, 20
s4, 3 s4, 3
s4, 9 s4, 9
1
3
1
3

23
testing/btest/bifs/footprint.zeek
View file

@ -15,6 +15,18 @@ type r2: record {
d: string &optional; d: string &optional;
}; };
# For testing mutually recursive records.
type X: record {
};
type Y: record {
x: X;
};
redef record X += {
y: Y &optional;
};
event zeek_init() event zeek_init()
{ {
print "bool", value_footprint(T, F); print "bool", value_footprint(T, F);
@ -100,4 +112,15 @@ event zeek_init()
local s4 = set(vector(l1b), vector(l1b), vector(l1b)); local s4 = set(vector(l1b), vector(l1b), vector(l1b));
print "s4", value_footprint(s4, F); print "s4", value_footprint(s4, F);
print "s4", value_footprint(s4, T); print "s4", value_footprint(s4, T);
local x: X;
local y: Y;
x$y = y;
y$x = x;
print value_footprint(x, F);
print value_footprint(x, T);
print value_footprint(y, F);
print value_footprint(y, T);
} }