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, 0 insertions, 8 deletions
diff --git a/verify-chill/test_print_code.py b/verify-chill/test_print_code.py
deleted file mode 100644
index 004c46c..0000000
--- a/verify-chill/test_print_code.py
+++ /dev/null
@@ -1,8 +0,0 @@
-from chill import *
-
-source('mm.c')
-procedure('mm')
-#format: rose
-loop(0)
-
-print_code()