-
- Downloads
generalize aliasing check from array to mutable objects
Showing
- src/main/scala/leon/xlang/AntiAliasingPhase.scala 6 additions, 4 deletionssrc/main/scala/leon/xlang/AntiAliasingPhase.scala
- src/test/resources/regression/xlang/error/MutableFieldAliasing1.scala 22 additions, 0 deletions...ources/regression/xlang/error/MutableFieldAliasing1.scala
- src/test/resources/regression/xlang/error/ObjectAliasing1.scala 15 additions, 0 deletions...st/resources/regression/xlang/error/ObjectAliasing1.scala
- src/test/resources/regression/xlang/error/ObjectAliasing2.scala 13 additions, 0 deletions...st/resources/regression/xlang/error/ObjectAliasing2.scala
- src/test/resources/regression/xlang/error/ObjectAliasing3.scala 13 additions, 0 deletions...st/resources/regression/xlang/error/ObjectAliasing3.scala
- src/test/resources/regression/xlang/error/ObjectAliasing4.scala 12 additions, 0 deletions...st/resources/regression/xlang/error/ObjectAliasing4.scala
Loading
Please register or sign in to comment