From 600fa18324c21a162c50c40ae5f00c899a41dd24 Mon Sep 17 00:00:00 2001
From: dhuth <derickhuth@gmail.com>
Date: Wed, 17 Sep 2014 18:09:29 -0600
Subject: removed submodule, added test-chill

---
 test-chill/test-cases/chill/test_known_2.py | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 test-chill/test-cases/chill/test_known_2.py

(limited to 'test-chill/test-cases/chill/test_known_2.py')

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