test/graph_test.cc
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);