From fd41212ef655a19f5385dec38a89575a02c87d99 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Fri, 24 Apr 2015 23:41:17 -0700 Subject: 1193 --- cpp/.traces/string-equal-common-lengths-but-distinct | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'cpp/.traces/string-equal-common-lengths-but-distinct') diff --git a/cpp/.traces/string-equal-common-lengths-but-distinct b/cpp/.traces/string-equal-common-lengths-but-distinct index a236c928..352324c4 100644 --- a/cpp/.traces/string-equal-common-lengths-but-distinct +++ b/cpp/.traces/string-equal-common-lengths-but-distinct @@ -24,8 +24,8 @@ after-brace/0: new ... after-brace/0: string-equal ... schedule/0: test-string-equal-common-lengths-but-distinct run/0: instruction test-string-equal-common-lengths-but-distinct/0 -mem/0: new alloc: 1000 mem/0: array size is 30 +mem/0: new alloc: 1000 run/0: instruction test-string-equal-common-lengths-but-distinct/1 mem/0: storing 1030 in location 1002 run/0: instruction test-string-equal-common-lengths-but-distinct/2 @@ -34,8 +34,8 @@ run/0: instruction test-string-equal-common-lengths-but-distinct/3 mem/0: location 1002 is 1030 mem/0: location 1003 is 1034 run/0: instruction string-equal/0 -mem/0: new alloc: 1038 mem/0: array size is 30 +mem/0: new alloc: 1038 run/0: instruction string-equal/1 run/0: product 0 is 1030 mem/0: storing 1030 in location 1040 -- cgit 1.4.1-2-gfad0