diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-05 17:54:46 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-05 17:54:46 -0700 |
| commit | 82ceda30ad6fb32382bb6d0565c75fe6a1a01b9f (patch) | |
| tree | 91b52744240749efdacb87a86455e753dab31e84 /cpp/.traces/memory_check_string_length | |
| parent | 6d17ef493bbec78ebda37e50e0cc8ce21fd9f46b (diff) | |
| download | mu-82ceda30ad6fb32382bb6d0565c75fe6a1a01b9f.tar.gz | |
1267 - 'routine-state' can use the provided routine id
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 af2a030a..5236e2ed 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/44 {name: " +run/0: memory-should-contain/45 {name: " 1:string <- [ab] ", value: 0, type: 0, properties: [" 1:string <- [ab] |