Searched refs:test_parse_pwaff (Results 1 – 1 of 1) sorted by relevance
104 static void test_parse_pwaff(isl_ctx *ctx, const char *str) in test_parse_pwaff() function538 test_parse_pwaff(ctx, "{ [i] -> [i + 1] : i > 0; [a] -> [a] : a < 0 }"); in test_parse()540 test_parse_pwaff(ctx, "{ [] -> [(100)] }"); in test_parse()