From f255f2498da1fd985ad1ed79362580bbf4675723 Mon Sep 17 00:00:00 2001 From: Tuowen Zhao Date: Sun, 18 Sep 2016 21:39:45 +0000 Subject: rm test-chill, create doc subdir --- verify-chill/test_scale.py | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 verify-chill/test_scale.py (limited to 'verify-chill/test_scale.py') diff --git a/verify-chill/test_scale.py b/verify-chill/test_scale.py deleted file mode 100644 index ee8455d..0000000 --- a/verify-chill/test_scale.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) -scale([1],1,4) -scale([1],2,4) -print_code() -- cgit v1.2.3-70-g09d2