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