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_reverse.py | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 verify-chill/test_reverse.py

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

diff --git a/verify-chill/test_reverse.py b/verify-chill/test_reverse.py
deleted file mode 100644
index a97c611..0000000
--- a/verify-chill/test_reverse.py
+++ /dev/null
@@ -1,12 +0,0 @@
-from chill import *
-
-source('mm.c')
-procedure('mm')
-#format: rose
-loop(0)
-
-known(['ambn > 0', 'an > 0', 'bm > 0'])
-distribute([0,1],1)
-reverse([1],1)
-reverse([1],2)
-print_code()
-- 
cgit v1.2.3-70-g09d2