marking/re2c_test.scala
author Christian Urban <urbanc@in.tum.de>
Thu, 15 Nov 2018 03:35:38 +0000 (2018-11-15)
changeset 202 f7bcb27d1940
parent 95 4fa7231fede7
permissions -rw-r--r--
updated
import scala.concurrent._
import scala.concurrent.duration._
import ExecutionContext.Implicits.global
import scala.language.postfixOps 



lazy val f = Future {
  assert(fixpT((x:Int) => if (200000 < x) x else x + 1, 0) == 200001)
  assert(fixpT((x:Long) => if (20 < x) x else x + 1, 0L) == 21L)
}

Await.result(f, 90 second)