DEBUG

tautschnig · tautschnig · commit 4a882153c224 · 2022-10-08T13:34:28.000Z
diff --git a/src/solvers/sat/external_sat.cpp b/src/solvers/sat/external_sat.cpp
@@ -159,7 +159,7 @@ external_satt::resultt external_satt::parse_result(std::string solver_output)
     return resultt::P_SATISFIABLE;
   }
 
-  log.error() << "external SAT solver has provided an unexpected response"
+  log.error() << "external SAT solver has provided an unexpected response: " << solver_output
               << messaget::eom;
   return resultt::P_ERROR;
 }

Original file line number	Diff line number	Diff line change
`@@ -159,7 +159,7 @@ external_satt::resultt external_satt::parse_result(std::string solver_output)`
`159`	`159`	`return resultt::P_SATISFIABLE;`
`160`	`160`	`}`
`161`	`161`
`162`		`- log.error() << "external SAT solver has provided an unexpected response"`
	`162`	`+ log.error() << "external SAT solver has provided an unexpected response: " << solver_output`
`163`	`163`	`<< messaget::eom;`
`164`	`164`	`return resultt::P_ERROR;`
`165`	`165`	`}`