Commit 2872a2a
Updates submodules
1 parent e04fd8b commit 2872a2a
2 files changed
Lines changed: 2 additions & 2 deletions
- .github/workflows/ci.yml+2-2
- silver+1-1
- src/main/scala/rules/Consumer.scala+3-1
- src/main/scala/rules/Evaluator.scala+10-11
- src/main/scala/rules/MagicWandSupporter.scala+1-1
- src/main/scala/rules/SymbolicExecutionRules.scala-5
- src/main/scala/supporters/functions/HeapAccessReplacingExpressionTranslator.scala+14
0 commit comments