| author | Christian Urban <urbanc@in.tum.de> | 
| Fri, 24 Nov 2017 01:26:01 +0000 | |
| changeset 154 | e7f8e3d2e09a | 
| parent 153 | 316f9c6cc2ff | 
| child 160 | 250e1d7df9ff | 
| permissions | -rw-r--r-- | 
| 153 | 1  | 
|
2  | 
import scala.concurrent._  | 
|
3  | 
import scala.concurrent.duration._  | 
|
4  | 
import ExecutionContext.Implicits.global  | 
|
5  | 
import scala.language.postfixOps  | 
|
6  | 
import scala.language.reflectiveCalls  | 
|
7  | 
||
8  | 
lazy val f = Future {
 | 
|
9  | 
import CW8b._  | 
|
10  | 
||
11  | 
assert(sread(Map(), 2) == 0)  | 
|
12  | 
assert(sread(Map(2 -> 1), 2) == 1)  | 
|
13  | 
assert(write(Map(), 1, 2) == Map(1 -> 2))  | 
|
14  | 
assert(write(Map(1 -> 0), 1, 2) == Map(1 -> 2))  | 
|
15  | 
}  | 
|
16  | 
||
17  | 
Await.result(f, 120 second)  |