diff options
Diffstat (limited to 'cpp/.traces/include_nonderef_properties')
| -rw-r--r-- | cpp/.traces/include_nonderef_properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cpp/.traces/include_nonderef_properties b/cpp/.traces/include_nonderef_properties index b7f103fc..662a8ced 100644 --- a/cpp/.traces/include_nonderef_properties +++ b/cpp/.traces/include_nonderef_properties @@ -16,6 +16,7 @@ after-brace/0: copy ... after-brace/0: copy ... after-brace/0: copy ... after-brace/0: get ... +schedule/0: main run/0: instruction main/0 run/0: ingredient 0 is 2 mem/0: storing 2 in location 1 |