BadVPN – Blame information for rev 1
?pathlinks?
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1 | office | 1 | process main { |
| 2 | var(@clock_get_ms()) t0; |
||
| 3 | backtrack_point() again; |
||
| 4 | var(@clock_get_ms()) t1; |
||
| 5 | assert(@num_greater_equal(t1, t0)); |
||
| 6 | If (@num_equal(t1, t0)) { |
||
| 7 | again->go(); |
||
| 8 | }; |
||
| 9 | |||
| 10 | exit("0"); |
||
| 11 | } |