Skip to content

Commit

Permalink
Fixing computation of constrainable terms
Browse files Browse the repository at this point in the history
marcoeilers committed Oct 9, 2023
1 parent d26eb03 commit b1d5d61
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions src/main/scala/state/Terms.scala
Original file line number Diff line number Diff line change
@@ -2512,6 +2512,8 @@ object utils {
case PermIntDiv(t0, _) => consumeExactRead(t0, constrainableARPs)
case PermPermDiv(t0, t1) => consumeExactRead(t0, constrainableARPs) && consumeExactRead(t1, constrainableARPs)
case PermMin(t0 ,t1) => consumeExactRead(t0, constrainableARPs) || consumeExactRead(t1, constrainableARPs)
case Ite(_, t0, NoPerm) => consumeExactRead(t0, constrainableARPs)
case Ite(_, NoPerm, t1) => consumeExactRead(t1, constrainableARPs)
case Ite(_, t0, t1) => consumeExactRead(t0, constrainableARPs) || consumeExactRead(t1, constrainableARPs)
case _ => true
}

0 comments on commit b1d5d61

Please sign in to comment.