anselme/test/results/scope checkpoint mutable error.ans

--# run #--
--- text ---
| {}"f1: " {}"*[1, 2]" {}" " {}"*[1, 2]" {}"" |
--- text ---
| {}"CHECK" |
--- text ---
| {}"REC" |
--- text ---
| {}"f1: " {}"*[1, 2, 3]" {}" " {}"*[1, 2, 3]" {}"" |
--- text ---
| {}"CHECK" |
--- error ---
t
--# post run check #--
--- text ---
| {}"AFTER ERROR" |
--- text ---
| {}"l: " {}"*[1, 2, 3]" {}"" |
--- return ---
()
--# saved #--
{}