BadVPN – Blame information for rev 1
?pathlinks?
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1 | office | 1 | process main { |
| 2 | var("hello") x; |
||
| 3 | provide("A"); |
||
| 4 | depend("A") d; |
||
| 5 | val_equal(d.x, "hello") a; |
||
| 6 | assert(a); |
||
| 7 | d.x->set("world"); |
||
| 8 | val_equal(d.x, "world") a; |
||
| 9 | assert(a); |
||
| 10 | |||
| 11 | var("hello") x; |
||
| 12 | provide("B"); |
||
| 13 | val_equal(x, "world") a; |
||
| 14 | assert(a); |
||
| 15 | |||
| 16 | var("hello") x; |
||
| 17 | provide("C"); |
||
| 18 | val_equal(x, "hello") a; |
||
| 19 | assert(a); |
||
| 20 | depend("C_done"); |
||
| 21 | val_equal(x, "world") a; |
||
| 22 | assert(a); |
||
| 23 | |||
| 24 | var("hello") x; |
||
| 25 | blocker() blk; |
||
| 26 | provide("D"); |
||
| 27 | val_equal(x, "hello") a; |
||
| 28 | assert(a); |
||
| 29 | blk->up(); |
||
| 30 | val_equal(x, "0") a; |
||
| 31 | assert(a); |
||
| 32 | blk->down(); |
||
| 33 | blk->up(); |
||
| 34 | val_equal(x, "1") a; |
||
| 35 | assert(a); |
||
| 36 | |||
| 37 | exit("0"); |
||
| 38 | } |
||
| 39 | |||
| 40 | process proc1 { |
||
| 41 | depend("B") dep; |
||
| 42 | dep.x->set("world"); |
||
| 43 | } |
||
| 44 | |||
| 45 | process proc2 { |
||
| 46 | depend("C") dep; |
||
| 47 | sleep("0", "0"); |
||
| 48 | dep.x->set("world"); |
||
| 49 | provide("C_done"); |
||
| 50 | } |
||
| 51 | |||
| 52 | process proc3 { |
||
| 53 | depend("D") dep; |
||
| 54 | dep.blk->use(); |
||
| 55 | provide("E"); |
||
| 56 | } |
||
| 57 | |||
| 58 | process proc4 { |
||
| 59 | var("0") i; |
||
| 60 | depend("E") dep; |
||
| 61 | dep.dep.x->set(i); |
||
| 62 | num_add(i, "1") j; |
||
| 63 | i->set(j); |
||
| 64 | } |