summaryrefslogtreecommitdiff
path: root/verify-chill/test_print_code.py
diff options
context:
space:
mode:
Diffstat (limited to 'verify-chill/test_print_code.py')
-rw-r--r--verify-chill/test_print_code.py8
1 files changed, 8 insertions, 0 deletions
diff --git a/verify-chill/test_print_code.py b/verify-chill/test_print_code.py
new file mode 100644
index 0000000..004c46c
--- /dev/null
+++ b/verify-chill/test_print_code.py
@@ -0,0 +1,8 @@
+from chill import *
+
+source('mm.c')
+procedure('mm')
+#format: rose
+loop(0)
+
+print_code()