| changeset 95 | 4fa7231fede7 |
| parent 94 | ae4708c851ee |
| 94:ae4708c851ee | 95:4fa7231fede7 |
|---|---|
8 lazy val f = Future { |
8 lazy val f = Future { |
9 assert(fixpT((x:Int) => if (200000 < x) x else x + 1, 0) == 200001) |
9 assert(fixpT((x:Int) => if (200000 < x) x else x + 1, 0) == 200001) |
10 assert(fixpT((x:Long) => if (20 < x) x else x + 1, 0L) == 21L) |
10 assert(fixpT((x:Long) => if (20 < x) x else x + 1, 0L) == 21L) |
11 } |
11 } |
12 |
12 |
13 Await.result(f, 120 second) |
13 Await.result(f, 90 second) |