Skip to content

Commit db2e6d0

Browse files
committed
[Scala-Way] Add perperty testing for Reverse List
1 parent 0360f34 commit db2e6d0

File tree

1 file changed

+17
-0
lines changed

1 file changed

+17
-0
lines changed
Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
import misc.ReverseList
2+
import org.scalacheck.{Arbitrary, Cogen, Prop, Properties}
3+
import org.scalacheck.Prop.forAll
4+
5+
class ReverseListProperties extends Properties(name = "ReverseList"){
6+
7+
property("reverse/Int") = reverseProp[Int]
8+
property("reverse/String") = reverseProp[String]
9+
10+
private def reverseProp[T : Arbitrary : Cogen]: Prop = {
11+
forAll{ list: List[T] =>
12+
val reverseList = ReverseList.reverse(list)
13+
reverseList == list.reverse
14+
}
15+
}
16+
17+
}

0 commit comments

Comments
 (0)