From 983749787ee0dc1beb1107873e8a13ebdaeba576 Mon Sep 17 00:00:00 2001
From: Derick Huth <derickhuth@gmail.com>
Date: Mon, 18 Jan 2016 15:43:52 -0700
Subject: restore test suite

---
 verify-chill/test_unroll.py | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 verify-chill/test_unroll.py

(limited to 'verify-chill/test_unroll.py')

diff --git a/verify-chill/test_unroll.py b/verify-chill/test_unroll.py
new file mode 100644
index 0000000..39dd0db
--- /dev/null
+++ b/verify-chill/test_unroll.py
@@ -0,0 +1,13 @@
+from chill import *
+
+source('mm.c')
+procedure('mm')
+#format: rose
+loop(0)
+
+known('ambn > 0')
+known('an > 0')
+known('bm > 0')
+distribute([0,1], 1)
+unroll(1, 3, 4)
+print_code()
-- 
cgit v1.2.3-70-g09d2