diff options
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 |