Fixed Logika transition caching wrt. Modifies clause.

sireum · Oct 17, 2024 · 60c1a61 · 60c1a61
1 parent 153ecee
commit 60c1a61
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/logika b/logika
diff --git a/server b/server
+2 −2		jvm/src/main/scala/org/sireum/logika/NoTransitionSmt2Cache_Ext.scala
+8 −8		shared/src/main/scala/org/sireum/logika/Logika.scala
+2 −2		shared/src/main/scala/org/sireum/logika/RewritingSystem.scala
+9 −8		shared/src/main/scala/org/sireum/logika/Util.scala