liango2 · December 30, 2015 13:28
diff --git a/assert b/assert
 val rnd = Math.random()
 val n = Math.abs(rnd)
 assert(n > 0)
diff --git a/assume b/assume
 val speedFromSensor: Double = ...
 assume(speedFromSensor >= 0)
diff --git a/require_ensuring b/require_ensuring
 def doublePositive(n: Int): Int = {
  require(n > 0)
  n * 2 // logic
 } ensuring(n => n >= 0 && n % 2 == 0)
	val speedFromSensor: Double = ...
	assume(speedFromSensor >= 0)