fixedarity15safe.spec 511 Bytes
Newer Older
1 2
Workflow

Christian Müller's avatar
Christian Müller committed
3
forallmay i,j True -> A += (i,j)
4 5
forall i,j A(i,j) -> RB += (i,j)
forall i,j RB(i,j) -> C += (i,j)
6 7 8 9 10
forall i,j C(i,j) -> D += (i,j)
forall i,j D(i,j) -> E += (i,j)
forall i,j E(i,j) -> F += (i,j)
forall i,j F(i,j) -> G += (i,j)
forall i,j G(i,j) -> H += (i,j)
11 12
forall i,j H(i,j) -> HI += (i,j)
forall i,j HI(i,j) -> J += (i,j)
13 14 15 16
forall i,j J(i,j) -> K += (i,j)
forall i,j K(i,j) -> L += (i,j)
forall i,j L(i,j) -> M += (i,j)
forall i,j M(i,j) -> N += (i,j)
Christian Müller's avatar
Christian Müller committed
17
forall i,j N(i,j) -> P += (i,j)
18 19 20

Target

Christian Müller's avatar
Christian Müller committed
21
P(x,y)