12 lines
222 B
Plaintext
12 lines
222 B
Plaintext
process main {
|
|
var(@clock_get_ms()) t0;
|
|
backtrack_point() again;
|
|
var(@clock_get_ms()) t1;
|
|
assert(@num_greater_equal(t1, t0));
|
|
If (@num_equal(t1, t0)) {
|
|
again->go();
|
|
};
|
|
|
|
exit("0");
|
|
}
|