test/lgf_test.cc
branch1.1
changeset 769 74e2dac774c8
parent 765 2b47dbd6612c
equal deleted inserted replaced
3:7507fb4a61d2 4:6759c43a9726
   115     bool ok=false;
   115     bool ok=false;
   116     try {
   116     try {
   117       digraphReader(d, input).
   117       digraphReader(d, input).
   118         run();
   118         run();
   119     }
   119     }
   120     catch (FormatError&) 
   120     catch (FormatError&)
   121       {
   121       {
   122         ok = true;
   122         ok = true;
   123       }
   123       }
   124     check(ok,"FormatError exception should have occured");
   124     check(ok,"FormatError exception should have occured");
   125   }
   125   }