BadVPN – Blame information for rev 1
?pathlinks?
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1 | office | 1 | process main { |
| 2 | value({}) list; |
||
| 3 | var("0") i; |
||
| 4 | backtrack_point() point; |
||
| 5 | num_lesser(i, "100") do_more; |
||
| 6 | If (do_more) { |
||
| 7 | list->insert(i); |
||
| 8 | num_add(i, "1") new_i; |
||
| 9 | i->set(new_i); |
||
| 10 | point->go(); |
||
| 11 | }; |
||
| 12 | val_equal(list.length, "100") a; |
||
| 13 | assert(a); |
||
| 14 | |||
| 15 | value({}) list; |
||
| 16 | var("0") i; |
||
| 17 | blocker() blk; |
||
| 18 | blk->up(); |
||
| 19 | blk->use(); |
||
| 20 | num_lesser(i, "100") do_more; |
||
| 21 | If (do_more) { |
||
| 22 | list->insert(i); |
||
| 23 | num_add(i, "1") new_i; |
||
| 24 | i->set(new_i); |
||
| 25 | blk->downup(); |
||
| 26 | }; |
||
| 27 | val_equal(list.length, "100") a; |
||
| 28 | assert(a); |
||
| 29 | |||
| 30 | var("true") start; |
||
| 31 | var("false") flag; |
||
| 32 | backtrack_point() point; |
||
| 33 | If (start) { |
||
| 34 | blocker() blk; |
||
| 35 | blk->up(); |
||
| 36 | spawn("helper1", {}); |
||
| 37 | imperative("<none>", {}, "helper3", {}, "1000"); |
||
| 38 | start->set("false"); |
||
| 39 | blk->down(); |
||
| 40 | if("false"); |
||
| 41 | } Else { |
||
| 42 | assert(flag); |
||
| 43 | }; |
||
| 44 | |||
| 45 | exit("0"); |
||
| 46 | } |
||
| 47 | |||
| 48 | template helper1 { |
||
| 49 | _caller.blk->use(); |
||
| 50 | imperative("<none>", {}, "helper2", {}, "1000"); |
||
| 51 | _caller.point->rgo(); |
||
| 52 | } |
||
| 53 | |||
| 54 | template helper2 { |
||
| 55 | val_equal(_caller._caller.flag, "true") a; |
||
| 56 | assert(a); |
||
| 57 | } |
||
| 58 | |||
| 59 | template helper3 { |
||
| 60 | val_equal(_caller.flag, "false") a; |
||
| 61 | assert(a); |
||
| 62 | _caller.flag->set("true"); |
||
| 63 | } |