print.c: rename pet_expr_build_ast_expr to pet_expr_access_build_ast_expr

[pet.git] / tests / assume2.c

void foo(int n, int m)
{
#pragma scop
        n = 5;
        __pencil_assume(m > n);
#pragma endscop
}