• Example Search
• Project Search

• Java
• Python
• JavaScript
• TypeScript
• C++
• Scala
• Blog

• crdt-master
  • src
    • main
      • scala
        • com
          • machinomy
            • crdt
              • state
                • LWWElementSet.scala
                • GSet.scala
                • GCounter.scala
                • package.scala
                • MCSet.scala
                • TPSet.scala
                • PartialOrder.scala
                • PNCounter.scala
                • Convergent.scala
                • TombStone.scala
                • Bias.scala
                • ORSet.scala
              • op
                • PartialOrderDag.scala
                • TPTPGraph.scala
                • GraphLikeA.scala
                • Counter.scala
                • DiGraphLike.scala
                • MonotonicDag.scala
                • ORSet.scala
    • test
      • scala
        • com
          • machinomy
            • crdt
              • state
                • GCounterSuite.scala
                • ORSetSuite.scala
                • TPSetSuite.scala
                • PNCounterSuite.scala
                • GSetSuite.scala
                • LWWElementSetSuite.scala
                • MCSetSuite.scala
              • op
                • ORSetSuite.scala
                • CounterSuite.scala
                • MonotonicDagSuite.scala
                • PartialOrderDagSuite.scala
                • TPTPGraphSuite.scala
  • LICENSE
  • project
    • build.properties
    • plugins.sbt
  • README.md
  • build.sbt
  • .gitignore

package com.machinomy.crdt.op

import org.scalatest.{FunSuite, Matchers}
import org.scalatest.prop.PropertyChecks
import org.scalacheck.Gen

class CounterSuite extends FunSuite with PropertyChecks with Matchers {
  test("fresh value is zero") {
    val counter = Counter[Int]()
    assert(counter.value == 0)
  }

  test("increment") {
    forAll(Gen.posNum[Int]) { (i: Int) =>
      val increment = Counter.Increment(i)
      val counter = Counter.update(Counter[Int](), increment)
      counter.value should be(i)
    }
  }

  test("decrement") {
    forAll(Gen.posNum[Int]) { (i: Int) =>
      val decrement = Counter.Decrement(i)
      val counter = Counter.update(Counter[Int](), decrement)
      counter.value should be(-1 * i)
    }
  }
}