Skip to content

Commit

Permalink
Merge pull request #10163 from liang3zy22/scalacheckbugs
Browse files Browse the repository at this point in the history
  • Loading branch information
SethTisue committed Sep 30, 2022
2 parents 439a981 + c091ee8 commit 9ee4b60
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 4 deletions.
4 changes: 1 addition & 3 deletions test/scalacheck/TreeSeqMapTest.scala
Original file line number Diff line number Diff line change
@@ -1,9 +1,7 @@
import scala.collection.immutable.TreeSeqMap

import org.scalacheck._
import Arbitrary.arbitrary
import Prop._
import Gen._

object TreeSeqMapTest extends Properties("TreeSeqMap") {
property("transitive test") = {
Expand All @@ -24,7 +22,7 @@ object TreeSeqMapTest extends Properties("TreeSeqMap") {
m1 != m2 ==> {
val vm1 = TreeSeqMap.from(m1)
val vm2 = TreeSeqMap.from(m2)
m1 != m2
vm1 != vm2
}
}
}
5 changes: 4 additions & 1 deletion test/scalacheck/t2460.scala
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
import org.scalacheck.Prop.forAll
import org.scalacheck.Properties
import org.scalacheck.{Test => SCTest}
import org.scalacheck.Gen

object SI2460Test extends Properties("Regex : Ticket 2460") {
Expand All @@ -24,4 +23,8 @@ object SI2460Test extends Properties("Regex : Ticket 2460") {
("numberOfGroup", numberOfGroup),
("nameOfGroup", nameOfGroup)
)

for {
(label, prop) <- tests
} property(label) = prop
}

0 comments on commit 9ee4b60

Please sign in to comment.