diff options
Diffstat (limited to 'cpp/.traces/string-equal-distinct-lengths')
-rw-r--r-- | cpp/.traces/string-equal-distinct-lengths | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cpp/.traces/string-equal-distinct-lengths b/cpp/.traces/string-equal-distinct-lengths index 6008eaf4..4af8113c 100644 --- a/cpp/.traces/string-equal-distinct-lengths +++ b/cpp/.traces/string-equal-distinct-lengths @@ -23,6 +23,7 @@ after-brace/0: new ... after-brace/0: new ... after-brace/0: string-equal ... run/0: instruction test-string-equal-distinct-lengths/0 +mem/0: new alloc: 1000 mem/0: array size is 30 run/0: instruction test-string-equal-distinct-lengths/1 mem/0: storing 1030 in location 1002 @@ -32,6 +33,7 @@ run/0: instruction test-string-equal-distinct-lengths/3 mem/0: location 1002 is 1030 mem/0: location 1003 is 1034 run/0: instruction string-equal/0 +mem/0: new alloc: 1039 mem/0: array size is 30 run/0: instruction string-equal/1 run/0: product 0 is 1030 |