From 0cff3f9a3c4ccd434900162ebef4bd814850f481 Mon Sep 17 00:00:00 2001
From: Derick Huth <derickhuth@gmail.com>
Date: Thu, 24 Sep 2015 12:11:49 -0600
Subject: v0.2.1

---
 test-chill/test_known.py | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 test-chill/test_known.py

(limited to 'test-chill/test_known.py')

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