diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/disabled/scalacheck/list.scala | 10 | ||||
| -rw-r--r-- | test/files/lib/ScalaCheck.jar.desired.sha1 | 2 | ||||
| -rw-r--r-- | test/files/scalacheck/list.scala | 7 |
3 files changed, 8 insertions, 11 deletions
diff --git a/test/disabled/scalacheck/list.scala b/test/disabled/scalacheck/list.scala deleted file mode 100644 index 93d3a59458..0000000000 --- a/test/disabled/scalacheck/list.scala +++ /dev/null @@ -1,10 +0,0 @@ -import org.scalacheck._ -import Prop._ - -object Test { - val prop_ConcatLists = - property((l1: List[Int], l2: List[Int]) => (l1.size + l2.size) == (l1 ::: l2).size) - - val tests = List(("ConcatLists", prop_ConcatLists)) -} - diff --git a/test/files/lib/ScalaCheck.jar.desired.sha1 b/test/files/lib/ScalaCheck.jar.desired.sha1 index e02477c12a..55aa27f176 100644 --- a/test/files/lib/ScalaCheck.jar.desired.sha1 +++ b/test/files/lib/ScalaCheck.jar.desired.sha1 @@ -1 +1 @@ -231ed6a57d97017d55c52e4742570af442e303bf ?ScalaCheck.jar +08cea28f282d8360a6344a8cfb853522e18915bb ?ScalaCheck.jar diff --git a/test/files/scalacheck/list.scala b/test/files/scalacheck/list.scala new file mode 100644 index 0000000000..bf38626d45 --- /dev/null +++ b/test/files/scalacheck/list.scala @@ -0,0 +1,7 @@ +import org.scalacheck._ +import Prop._ + +object Test extends Properties("List") { + property("concat") = forAll { (l1: List[Int], l2: List[Int]) => (l1.size + l2.size) == (l1 ::: l2).size } +} + |