loopexample.spec 137 Bytes
Newer Older
1 2
Workflow

Christian Müller's avatar
Christian Müller committed
3
forall x,s O(s) -> Q += (x,s)
4 5 6
loop {
	forall x,y,s R(y,s) -> S += (x,y,s)
	forall x,s Q(x,s) -> R += (x,s)
7 8 9 10 11
}

Target

S(x,y,s)