blob: a129a02b6ae038fb9644e09df2752e1775c24c26 (
plain)
1
2
3
4
5
6
7
8
9
10
|
// RUN: %boogie -stratifiedInline:1 -vc:i %s > %t
// RUN: %diff %s.expect %t
function {:inline} f(a:bool) : bool { true }
procedure {:entrypoint} main()
{
var x: int;
assume f(x >= 0);
assume x >= 0;
}
|