Commit b7ef63c0 authored by Heiko Becker's avatar Heiko Becker

Add simple test and failing test for division

parent c7a6bcc5
import daisy.lang._
import Real._
object DivisionSimple {
def divisionSimple(u: Real): Real = {
require(1 <= u && u <= 100)
331.4 / u
}
}
import daisy.lang._
import Real._
object MultiplicationSimple {
def multiplicationSimple(u: Real): Real = {
require(1.2e-16 <= u && u <= 99999999)
1 / (u - 1.1e-16)
}
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment