changeset 787 | 819ca5b50de0 |
parent 784 | 9d6c3e8b2421 |
child 827 | 580af8cf2f6a |
1.1 --- a/test/digraph_test.cc Sun Aug 23 11:13:21 2009 +0200 1.2 +++ b/test/digraph_test.cc Tue Sep 29 10:21:51 2009 +0200 1.3 @@ -286,6 +286,14 @@ 1.4 G.addArc(G.addNode(), G.addNode()); 1.5 1.6 snapshot.restore(); 1.7 + snapshot.save(G); 1.8 + 1.9 + checkGraphNodeList(G, 4); 1.10 + checkGraphArcList(G, 4); 1.11 + 1.12 + G.addArc(G.addNode(), G.addNode()); 1.13 + 1.14 + snapshot.restore(); 1.15 1.16 checkGraphNodeList(G, 4); 1.17 checkGraphArcList(G, 4);