changeset 740 | 819ca5b50de0 |
parent 737 | 9d6c3e8b2421 |
child 877 | 141f9c0db4a3 |
1.1 --- a/test/graph_test.cc Sun Aug 23 11:13:21 2009 +0200 1.2 +++ b/test/graph_test.cc Tue Sep 29 10:21:51 2009 +0200 1.3 @@ -259,6 +259,15 @@ 1.4 G.addEdge(G.addNode(), G.addNode()); 1.5 1.6 snapshot.restore(); 1.7 + snapshot.save(G); 1.8 + 1.9 + checkGraphNodeList(G, 4); 1.10 + checkGraphEdgeList(G, 3); 1.11 + checkGraphArcList(G, 6); 1.12 + 1.13 + G.addEdge(G.addNode(), G.addNode()); 1.14 + 1.15 + snapshot.restore(); 1.16 1.17 checkGraphNodeList(G, 4); 1.18 checkGraphEdgeList(G, 3);