test-chill/test-cases/chill/test_reverse.py


1
2
3
4
5
6
7
8
9
10
11
12

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()