From f255f2498da1fd985ad1ed79362580bbf4675723 Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Sun, 18 Sep 2016 21:39:45 +0000
Subject: rm test-chill, create doc subdir

---
 examples/test_shift.py | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 examples/test_shift.py

(limited to 'examples/test_shift.py')

diff --git a/examples/test_shift.py b/examples/test_shift.py
new file mode 100644
index 0000000..b3fc6ab
--- /dev/null
+++ b/examples/test_shift.py
@@ -0,0 +1,12 @@
+from chill import *
+
+source('mm.c')
+procedure('mm')
+#format: rose
+loop(0)
+
+known('ambn > 0')
+known('an > 0')
+known('bm > 0')
+shift([1],1,4)
+print_code()
-- 
cgit v1.2.3-70-g09d2