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/check_trace_negative | |
| parent | 6d17ef493bbec78ebda37e50e0cc8ce21fd9f46b (diff) | |
| download | mu-82ceda30ad6fb32382bb6d0565c75fe6a1a01b9f.tar.gz | |
1267 - 'routine-state' can use the provided routine id
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 ca979241..b5330633 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/43 {name: " +run/0: run/44 {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/46 {name: " +run/0: trace-should-not-contain/47 {name: " mem: storing 5 in location 1 ", value: 0, type: 0, properties: [" mem: storing 5 in location 1 |