be28433d7a2374a7134c6645d482cede1038b8b3
[packages/stm.git] / tests / conc060.stdout
1 \r
2 Starting\r
3 \r
4 Adding trivially true invariant (no TVar access)\r
5 \r
6 Adding trivially true invariant (no TVar access)\r
7 \r
8 Adding a trivially true invariant (TVar access)\r
9 \r
10 Adding an invraiant that's false when attemted to be added\r
11 Caught: exception :: [Char]\r
12 \r
13 Writing to a TVar watched by a trivially true invariant\r
14 \r
15 Adding a second trivially true invariant (same TVar access)\r
16 \r
17 Writing to a TVar watched by both trivially true invariants\r
18 \r
19 Adding a trivially false invariant (no TVar access)\r
20 Caught: exception :: [Char]\r
21 \r
22 Adding a trivially false invariant (no TVar access)\r
23 Caught: exception :: [Char]\r
24 \r
25 Adding a trivially false invariant (no TVar access)\r
26 Caught: Transacional invariant violation\r
27 \r
28 Adding a trivially false invariant (with TVar access)\r
29 Caught: exception :: [Char]\r
30 \r
31 Adding a third invariant true if TVar != 42\r
32 \r
33 Violating third invariant by setting TVar to 42\r
34 Caught: exception :: [Char]\r
35 \r
36 Checking final TVar contents\r
37 Final value = 18\r
38 \r
39 Done\r