Document get_problem_messages

thomasspriggs · thomasspriggs · commit 6c516b3bb99c · 2023-09-13T19:16:40.000+01:00
diff --git a/src/solvers/smt2_incremental/smt2_incremental_decision_procedure.cpp b/src/solvers/smt2_incremental/smt2_incremental_decision_procedure.cpp
@@ -40,6 +40,8 @@ static smt_responset get_response_to_command(
     return response;
 }
 
+/// Returns a message string describing the problem in the case where the
+/// response from the solver is an error status. Returns empty otherwise.
 static optionalt<std::string>
 get_problem_messages(const smt_responset &response)
 {

Original file line number	Diff line number	Diff line change
`@@ -40,6 +40,8 @@ static smt_responset get_response_to_command(`
`40`	`40`	`return response;`
`41`	`41`	`}`
`42`	`42`
	`43`	`+/// Returns a message string describing the problem in the case where the`
	`44`	`+/// response from the solver is an error status. Returns empty otherwise.`
`43`	`45`	`static optionalt<std::string>`
`44`	`46`	`get_problem_messages(const smt_responset &response)`
`45`	`47`	`{`