diff options
Diffstat (limited to 'cpp/.traces/maybe_convert_fail')
| -rw-r--r-- | cpp/.traces/maybe_convert_fail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/.traces/maybe_convert_fail b/cpp/.traces/maybe_convert_fail index c28c17b3..e925f76c 100644 --- a/cpp/.traces/maybe_convert_fail +++ b/cpp/.traces/maybe_convert_fail @@ -31,7 +31,7 @@ run/0: {name: "14", value: 14, type: 1, properties: ["14": "integer"]} <- copy/1 run/0: ingredient 0 is 36 mem/0: storing 36 in location 14 run/0: instruction main/3 -run/0: {name: "20", value: 20, type: 2-6, properties: ["20": "address":"point"]} <- maybe-convert/28 {name: "12", value: 12, type: 8, properties: ["12": "integer-or-point"]}, {name: "0", value: 0, type: 0, properties: ["0": "variant"]} +run/0: {name: "20", value: 20, type: 2-6, properties: ["20": "address":"point"]} <- maybe-convert/29 {name: "12", value: 12, type: 8, properties: ["12": "integer-or-point"]}, {name: "0", value: 0, type: 0, properties: ["0": "variant"]} run/0: ingredient 0 is 12 run/0: ingredient 1 is 0 mem/0: storing 0 in location 20 |