diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-04-24 21:39:09 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-04-24 22:00:06 -0700 |
| commit | 6ca059efce56104efc766255459e665fc7e7705b (patch) | |
| tree | 000346d03daad4611e3e3f6b9847dfdce476e6e8 /cpp/.traces/string-equal-distinct-lengths | |
| parent | fb4836dc0f9dc84afa0b133c4e6ab1ad61653961 (diff) | |
| download | mu-6ca059efce56104efc766255459e665fc7e7705b.tar.gz | |
1184 - finally, concurrency
Diffstat (limited to 'cpp/.traces/string-equal-distinct-lengths')
| -rw-r--r-- | cpp/.traces/string-equal-distinct-lengths | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/cpp/.traces/string-equal-distinct-lengths b/cpp/.traces/string-equal-distinct-lengths index 0d8e4a43..38c09b9e 100644 --- a/cpp/.traces/string-equal-distinct-lengths +++ b/cpp/.traces/string-equal-distinct-lengths @@ -1,11 +1,11 @@ -parse/0: instruction: 35 +parse/0: instruction: 36 parse/0: ingredient: {name: "location", value: 0, type: 0, properties: ["location": "type"]} parse/0: ingredient: {name: "30", value: 0, type: 0, properties: ["30": "literal"]} parse/0: product: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} -parse/0: instruction: 35 +parse/0: instruction: 36 parse/0: ingredient: {name: "abc", value: 0, type: 0, properties: ["abc": "literal-string"]} parse/0: product: {name: "x", value: 0, type: 2-5-4, properties: ["x": "address":"array":"character"]} -parse/0: instruction: 35 +parse/0: instruction: 36 parse/0: ingredient: {name: "abcd", value: 0, type: 0, properties: ["abcd": "literal-string"]} parse/0: product: {name: "y", value: 0, type: 2-5-4, properties: ["y": "address":"array":"character"]} parse/0: instruction: 100 @@ -22,6 +22,7 @@ after-brace/0: new ... after-brace/0: new ... after-brace/0: new ... after-brace/0: string-equal ... +schedule/0: test-string-equal-distinct-lengths run/0: instruction test-string-equal-distinct-lengths/0 mem/0: new alloc: 1000 mem/0: array size is 30 |