blob: a358809549819d3141c9a58b39ad148d9717da9c (
plain) (
tree)
|
|
sources/0503_loop_nondet.c:3.2-4.2: [|x=0|]
sources/0503_loop_nondet.c:3.2-4.2: [|x-1=0|]
sources/0503_loop_nondet.c:3.2-4.2: [|x-2=0|]
sources/0503_loop_nondet.c:3.2-4.2: [|x-3>=0|]
Output: [|x>=0|]
|