RosettaCodeData/Task/Balanced-ternary/Scala/balanced-ternary-3.scala
2019-09-12 10:33:56 -07:00

15 lines
376 B
Scala

object TernarySpecification extends Properties("Ternary") {
property("sum") = forAll { (a: Int, b: Int) =>
val at: Ternary = a
val bt: Ternary = b
(at+bt).intValue == (at.intValue + bt.intValue)
}
property("multiply") = forAll { (a: Int, b: Int) =>
val at: Ternary = a
val bt: Ternary = b
(at*bt).intValue == (at.intValue * bt.intValue)
}
}