equal
deleted
inserted
replaced
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& error) |
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 } |
129 bool ok=false; |
129 bool ok=false; |
130 try { |
130 try { |
131 graphReader(g, input). |
131 graphReader(g, input). |
132 run(); |
132 run(); |
133 } |
133 } |
134 catch (FormatError& error) |
134 catch (FormatError&) |
135 { |
135 { |
136 ok = true; |
136 ok = true; |
137 } |
137 } |
138 check(ok,"FormatError exception should have occured"); |
138 check(ok,"FormatError exception should have occured"); |
139 } |
139 } |
144 bool ok=false; |
144 bool ok=false; |
145 try { |
145 try { |
146 digraphReader(d, input). |
146 digraphReader(d, input). |
147 run(); |
147 run(); |
148 } |
148 } |
149 catch (FormatError& error) |
149 catch (FormatError&) |
150 { |
150 { |
151 ok = true; |
151 ok = true; |
152 } |
152 } |
153 check(ok,"FormatError exception should have occured"); |
153 check(ok,"FormatError exception should have occured"); |
154 } |
154 } |
158 bool ok=false; |
158 bool ok=false; |
159 try { |
159 try { |
160 graphReader(g, input). |
160 graphReader(g, input). |
161 run(); |
161 run(); |
162 } |
162 } |
163 catch (FormatError& error) |
163 catch (FormatError&) |
164 { |
164 { |
165 ok = true; |
165 ok = true; |
166 } |
166 } |
167 check(ok,"FormatError exception should have occured"); |
167 check(ok,"FormatError exception should have occured"); |
168 } |
168 } |