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

---
 verify-chill/test_known.py | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 verify-chill/test_known.py

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

diff --git a/verify-chill/test_known.py b/verify-chill/test_known.py
deleted file mode 100644
index 662d7d0..0000000
--- a/verify-chill/test_known.py
+++ /dev/null
@@ -1,11 +0,0 @@
-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