-
- Downloads
Reject some non supported array utilization, at parsing
Showing
- src/main/scala/leon/plugin/CodeExtraction.scala 13 additions, 0 deletionssrc/main/scala/leon/plugin/CodeExtraction.scala
- testcases/regression/error/Array1.scala 8 additions, 0 deletionstestcases/regression/error/Array1.scala
- testcases/regression/error/Array2.scala 8 additions, 0 deletionstestcases/regression/error/Array2.scala
Loading
Please register or sign in to comment