2 % executes some tests
for the Checkpoint
class
5 % ok:
boolean flag indicating whether all tests passed
9 % Check persistency feature of enable_storing
10 c1 = Greedy.Checkpoint();
11 ok = ok && c1.enable_storing;
12 c2 = Greedy.Checkpoint();
13 c2.enable_storing =
false;
14 ok = ok && ~c1.enable_storing;