From 600fa18324c21a162c50c40ae5f00c899a41dd24 Mon Sep 17 00:00:00 2001 From: dhuth Date: Wed, 17 Sep 2014 18:09:29 -0600 Subject: removed submodule, added test-chill --- test-chill/test-cases/chill/test_permute.py | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 test-chill/test-cases/chill/test_permute.py (limited to 'test-chill/test-cases/chill/test_permute.py') diff --git a/test-chill/test-cases/chill/test_permute.py b/test-chill/test-cases/chill/test_permute.py new file mode 100644 index 0000000..c201d2f --- /dev/null +++ b/test-chill/test-cases/chill/test_permute.py @@ -0,0 +1,12 @@ +from chill import * + +source('mm.c') +procedure('mm') +#format: rose +loop(0) + +known('ambn > 0') +known('an > 0') +known('bm > 0') +permute([3,1,2]) +print_code() -- cgit v1.2.3-70-g09d2