pre-derive lattice …

rescala-lang · Dec 8, 2024 · 8692f11 · 8692f11
1 parent 4862ff3
commit 8692f11
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Modules/RDTs/.jvm/src/test/scala/MembershipSuite.scala b/Modules/RDTs/.jvm/src/test/scala/MembershipSuite.scala
@@ -61,6 +61,8 @@ class MembershipSpec[A: Arbitrary, C[_]: Consensus, D[_]: Consensus](
 ) extends CommandsARDTs[Membership[A, C, D]] {
   // given logger: Logger = Logger(level = Level.Info)
 
+  given Lattice[Membership[A, C, D]] = Membership.latticeFromConsensus
+
   override def genInitialState: Gen[State] =
     for
       numDevices <- Gen.choose(minDevices, maxDevices)