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_tile.py | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 verify-chill/test_tile.py

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

diff --git a/verify-chill/test_tile.py b/verify-chill/test_tile.py
deleted file mode 100644
index fbe0368..0000000
--- a/verify-chill/test_tile.py
+++ /dev/null
@@ -1,14 +0,0 @@
-from chill import *
-
-source('mm.c')
-procedure('mm')
-#format: rose
-loop(0)
-
-#known('ambn > 0')
-#known('an > 0')
-#known('bm > 0')
-#tile(1, 1, 4, 1)
-#tile(1, 3, 4, 2)
-tile(0,2,4)
-print_code()
-- 
cgit v1.2.3-70-g09d2