diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-03 18:40:44 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-03 18:40:44 -0700 |
| commit | a11d9c4a3375906bf8ae1117c6043776d2f08d17 (patch) | |
| tree | 8667dc63b54aaf0853038f1e880e3ed314139fde /cpp/.traces/memory_check_string_length | |
| parent | 249a5672e41f603c8d705f69f2939a25a45685ff (diff) | |
| download | mu-a11d9c4a3375906bf8ae1117c6043776d2f08d17.tar.gz | |
1247
Diffstat (limited to 'cpp/.traces/memory_check_string_length')
| -rw-r--r-- | cpp/.traces/memory_check_string_length | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/.traces/memory_check_string_length b/cpp/.traces/memory_check_string_length index 2d9759cd..ffcdac6b 100644 --- a/cpp/.traces/memory_check_string_length +++ b/cpp/.traces/memory_check_string_length @@ -41,7 +41,7 @@ run/0: {name: "4", value: 4, type: 1, properties: ["4": "integer"]} <- copy/1 {n run/0: ingredient 0 is 99 mem/0: storing 99 in location 4 run/0: instruction main/4 -run/0: memory-should-contain/43 {name: " +run/0: memory-should-contain/44 {name: " 1:string <- [ab] ", value: 0, type: 0, properties: [" 1:string <- [ab] |