aboutsummaryrefslogtreecommitdiff
path: root/tests/icon/reject/step_local_mutation.zc
diff options
context:
space:
mode:
Diffstat (limited to 'tests/icon/reject/step_local_mutation.zc')
-rw-r--r--tests/icon/reject/step_local_mutation.zc11
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/icon/reject/step_local_mutation.zc b/tests/icon/reject/step_local_mutation.zc
new file mode 100644
index 0000000..6ef0a51
--- /dev/null
+++ b/tests/icon/reject/step_local_mutation.zc
@@ -0,0 +1,11 @@
+include rt;
+include run;
+include icon;
+fn main() {
+ let q = run.tokens("int n = 1; return n++;");
+ let f = icon.begin(q);
+ icon.step(f);
+ rt.put_n(icon.step(f)); rt.put_c(' '); rt.put_n(icon.state(f)); rt.put_c(' '); rt.put_n(icon.local(f, "n")); rt.put_c(10);
+ icon.close(d*f);
+ return 0;
+}