"src/main/scala/leon/xlang/ArrayTransformation.scala" did not exist on "d29cb8bc0f62bed8d8b76987f7bfef7d1fa4dc18"
-
Etienne Kneuss authored
foo(x) == expr && foo(y) == expr --> x == y
Etienne Kneuss authoredfoo(x) == expr && foo(y) == expr --> x == y
