Fixes for function merging transformation
Showing
- src/it/resources/regression/tip/UNSAT/HigherOrderFunctionsMutableParams10.scala-2.tip 19 additions, 0 deletions...tip/UNSAT/HigherOrderFunctionsMutableParams10.scala-2.tip
- src/main/scala/inox/ast/SymbolOps.scala 7 additions, 4 deletionssrc/main/scala/inox/ast/SymbolOps.scala
- src/main/scala/inox/tip/Printer.scala 1 addition, 1 deletionsrc/main/scala/inox/tip/Printer.scala
Loading
Please register or sign in to comment