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