smt2_solver: catch analysis_exceptiont

Daniel Kroening · Daniel Kroening · commit 778fbdfdfd44 · 2018-12-03T14:26:57.000Z
diff --git a/src/solvers/smt2/smt2_solver.cpp b/src/solvers/smt2/smt2_solver.cpp
@@ -401,6 +401,13 @@ int solver(std::istream &in)
       message.error().source_location.set_line(error.get_line_no());
       message.error() << error.what() << messaget::eom;
     }
+    catch(const analysis_exceptiont &error)
+    {
+      smt2_solver.skip_to_end_of_list();
+      error_found = true;
+      messaget message(message_handler);
+      message.error() << error.what() << messaget::eom;
+    }
   }
 
   if(error_found)

Original file line number	Diff line number	Diff line change
`@@ -401,6 +401,13 @@ int solver(std::istream &in)`
`401`	`401`	`message.error().source_location.set_line(error.get_line_no());`
`402`	`402`	`message.error() << error.what() << messaget::eom;`
`403`	`403`	`}`
	`404`	`+ catch(const analysis_exceptiont &error)`
	`405`	`+ {`
	`406`	`+ smt2_solver.skip_to_end_of_list();`
	`407`	`+ error_found = true;`
	`408`	`+ messaget message(message_handler);`
	`409`	`+ message.error() << error.what() << messaget::eom;`
	`410`	`+ }`
`404`	`411`	`}`
`405`	`412`
`406`	`413`	`if(error_found)`