marking/re2a_test.scala
author Christian Urban <urbanc@in.tum.de>
Tue, 29 Oct 2019 09:54:52 +0000
changeset 278 0c2481cd8b1c
parent 95 4fa7231fede7
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
94
ae4708c851ee updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
import scala.concurrent._
ae4708c851ee updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
import scala.concurrent.duration._
ae4708c851ee updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
import ExecutionContext.Implicits.global
ae4708c851ee updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
import scala.language.postfixOps 
ae4708c851ee updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
ae4708c851ee updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
ae4708c851ee updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
ae4708c851ee updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
lazy val f = Future {
ae4708c851ee updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
  assert(iterT(200000, (x: Int) => x + 1, 0) == 200000)
ae4708c851ee updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    10
  assert(iterT(100, (x: BigInt) => x * 2, BigInt(2)) == BigInt("2535301200456458802993406410752"))
ae4708c851ee updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    11
  assert(iterT(10, (x: String) => x ++ "a", "a") == "aaaaaaaaaaa") 
ae4708c851ee updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    12
}
ae4708c851ee updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    13
95
4fa7231fede7 added link file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 94
diff changeset
    14
Await.result(f, 90 second)