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/check_trace_negative | |
| parent | 249a5672e41f603c8d705f69f2939a25a45685ff (diff) | |
| download | mu-a11d9c4a3375906bf8ae1117c6043776d2f08d17.tar.gz | |
1247
Diffstat (limited to 'cpp/.traces/check_trace_negative')
| -rw-r--r-- | cpp/.traces/check_trace_negative | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cpp/.traces/check_trace_negative b/cpp/.traces/check_trace_negative index 1912420a..ca979241 100644 --- a/cpp/.traces/check_trace_negative +++ b/cpp/.traces/check_trace_negative @@ -16,7 +16,7 @@ after-brace/0: trace-should-not-contain ... new/0: routine allocated memory from 1000 to 101000 schedule/0: check_trace_negative run/0: instruction check_trace_negative/0 -run/0: run/42 {name: " +run/0: run/43 {name: " 1:integer <- add 2:literal, 2:literal ", value: 0, type: 0, properties: [" 1:integer <- add 2:literal, 2:literal @@ -34,7 +34,7 @@ run/0: ingredient 1 is 2 run/0: product 0 is 4 mem/0: storing 4 in location 1 run/0: instruction check_trace_negative/1 -run/0: trace-should-not-contain/45 {name: " +run/0: trace-should-not-contain/46 {name: " mem: storing 5 in location 1 ", value: 0, type: 0, properties: [" mem: storing 5 in location 1 |