diff options
Diffstat (limited to 'cpp/.traces/string-equal-distinct-lengths')
-rw-r--r-- | cpp/.traces/string-equal-distinct-lengths | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/cpp/.traces/string-equal-distinct-lengths b/cpp/.traces/string-equal-distinct-lengths index 98444b85..6008eaf4 100644 --- a/cpp/.traces/string-equal-distinct-lengths +++ b/cpp/.traces/string-equal-distinct-lengths @@ -46,16 +46,18 @@ run/0: instruction string-equal/4 mem/0: location 1043 is 1034 mem/0: storing 4 in location 1044 run/0: instruction string-equal/6 +string-equal/0: comparing lengths +run/0: instruction string-equal/7 run/0: ingredient 0 is a-len mem/0: location 1042 is 3 run/0: ingredient 1 is b-len mem/0: location 1044 is 4 run/0: product 0 is 0 mem/0: storing 0 in location 1045 -run/0: instruction string-equal/7 +run/0: instruction string-equal/8 mem/0: location 1045 is 0 run/0: ingredient 0 is 0 run/0: jump-if fell through -run/0: instruction string-equal/8 +run/0: instruction string-equal/9 run/0: result 0 is 0 mem/0: storing 0 in location 3 |