test_known.py « verify-chill - chill.git - Composable High-level Loop Transformation Framework

summary refs log tree commit diff

path: root/verify-chill/test_known.py

blob: 662d7d05868b3c69ac10c57fda7b0b7ef67bc4fc (plain)

from chill import *

source('mm.c')
procedure('mm')
#format: rose
loop(0)

known('ambn > 0')
known('an > 0')
known('bm > 0')
print_code()