1 files changed, 33 insertions, 0 deletions
diff --git a/arc/.traces/min b/arc/.traces/min
new file mode 100644
index 00000000..d52247ad
--- /dev/null
+++ b/arc/.traces/min
@@ -0,0 +1,33 @@
+c{0: 0 (((1 integer)) <- ((min)) ((3 literal)) ((4 literal))) -- nil
+c{1: 0 ✓ (((1 integer)) <- ((min)) ((3 literal)) ((4 literal)))
+cn0: convert-names in main
+cn0: (((1 integer)) <- ((min)) ((3 literal)) ((4 literal))) nil nil
+cn0: checking arg ((3 literal))
+cn0: checking arg ((4 literal))
+cn0: checking oarg ((1 integer))
+maybe-add: ((1 integer))
+cn1: (((1 integer)) <- ((min)) ((3 literal)) ((4 literal)))
+schedule: main
+run: main 0: (((1 integer)) <- ((min)) ((3 literal)) ((4 literal)))
+run: min/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
+run: min/main 0: 1000 => ((default-space space-address))
+run: min/main 1: (((1 integer)) <- ((next-input)))
+arg: nil 0 (3 4)
+run: min/main 1: 3 => ((1 integer))
+mem: ((1 integer)): 1002 <= 3
+run: min/main 2: (((2 integer)) <- ((next-input)))
+arg: nil 1 (3 4)
+run: min/main 2: 4 => ((2 integer))
+mem: ((2 integer)): 1003 <= 4
+run: min/main 3: (((3 boolean)) <- ((less-than)) ((1 integer)) ((2 integer)))
+mem: ((1 integer)) => 3
+mem: ((2 integer)) => 4
+run: min/main 3: t => ((3 boolean))
+mem: ((3 boolean)): 1004 <= t
+run: min/main 4: (((jump-if)) ((3 boolean)) ((1 offset)))
+mem: ((3 boolean)) => t
+run: min/main 6: (((reply)) ((1 integer)))
+mem: ((1 integer)) => 3
+run: main 0: 3 => ((1 integer))
+mem: ((1 integer)): 1 <= 3
+schedule: done with routine nil