(selective-load "mu.arc" section-level)
(test-only-settings)
(add-code:readfile "trace.mu")
(ero "running tests in trace.arc.t (takes ~10 mins)")
(freeze function*)
(load-system-functions)
(reset2)
(new-trace "print-trace")
(run-code main
(default-space:space-address <- new space:literal 30:literal/capacity)
(x:string-address <- new
"schedule: main
run: main 0: (((1 integer)) <- ((copy)) ((1 literal)))
run: main 0: 1 => ((1 integer))
mem: ((1 integer)): 1 <= 1
run: main 1: (((2 integer)) <- ((copy)) ((3 literal)))
run: main 1: 3 => ((2 integer))
mem: ((2 integer)): 2 <= 3
run: main 2: (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))
mem: ((1 integer)) =>