From bebee7ac014f9fbe1f542625c96052f7d2b53639 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 9 May 2012 22:47:32 +0000
Subject: [PATCH] need array length > 0
---
testcases/BubbleSort.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/testcases/BubbleSort.scala b/testcases/BubbleSort.scala
index 5249f4fbe..8e85143ac 100644
--- a/testcases/BubbleSort.scala
+++ b/testcases/BubbleSort.scala
@@ -5,7 +5,7 @@ import leon.Utils._
object BubbleSort {
def sort(a: Array[Int]): Array[Int] = ({
- require(a.length >= 0)
+ require(a.length >= 1)
var i = a.length - 1
var j = 0
val sa = a
--
GitLab