diff options
Diffstat (limited to 'arc/.traces/before-after-any-order')
| -rw-r--r-- | arc/.traces/before-after-any-order | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/arc/.traces/before-after-any-order b/arc/.traces/before-after-any-order new file mode 100644 index 00000000..c22dda71 --- /dev/null +++ b/arc/.traces/before-after-any-order @@ -0,0 +1,10 @@ +c{0: 0 label1 -- ((open 0)) +c{0: 1 (((1 integer)) <- ((copy)) ((0 literal))) -- ((open 0)) +c{1: 1 ✓ (((1 integer)) <- ((copy)) ((0 literal))) +cn0: convert-names in f1 +cn0: (((1 integer)) <- ((copy)) ((0 literal))) nil nil +cn0: checking arg ((0 literal)) +cn0: checking oarg ((1 integer)) +maybe-add: ((1 integer)) +cn1: label1 +cn1: (((1 integer)) <- ((copy)) ((0 literal))) |