Skip to content
Snippets Groups Projects
Commit 48d91e36 authored by Régis Blanc's avatar Régis Blanc
Browse files

add an invalid testcase for array access from parameter

parent 1165de18
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
testcases/regression/invalid/Array4.scala 0 → 100644
+ 9
− 0
View file @ 48d91e36
import leon.Utils._
object Array4 {
def foo(a: Array[Int]): Int = {
a(2)
}
}
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment