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

need array length > 0

parent dfd023ef
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
testcases/BubbleSort.scala
+ 1
− 1
View file @ bebee7ac
...@@ -5,7 +5,7 @@ import leon.Utils._ ...@@ -5,7 +5,7 @@ import leon.Utils._
object BubbleSort { object BubbleSort {
def sort(a: Array[Int]): Array[Int] = ({ def sort(a: Array[Int]): Array[Int] = ({
require(a.length >= 0) require(a.length >= 1)
var i = a.length - 1 var i = a.length - 1
var j = 0 var j = 0
val sa = a val sa = a
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment