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

---
 test-chill/test_known_2.py | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 test-chill/test_known_2.py

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

diff --git a/test-chill/test_known_2.py b/test-chill/test_known_2.py
deleted file mode 100644
index 5b16325..0000000
--- a/test-chill/test_known_2.py
+++ /dev/null
@@ -1,9 +0,0 @@
-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