Skip to content

Commit

Permalink
Flag problems with EWSB when solving at tree-level fails
Browse files Browse the repository at this point in the history
  • Loading branch information
Dylan Harries committed Feb 16, 2017
1 parent 26ce865 commit 8c2bc8b
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions meta/EWSB.m
Expand Up @@ -847,15 +847,17 @@
result = result <>
"if (is_finite) {\n" <>
IndentText[body] <>
IndentText["model.get_problems().unflag_no_ewsb();\n"] <>
"} else {\n" <>
IndentText["error = EWSB_solver::FAIL;\n"] <>
IndentText["error = EWSB_solver::FAIL;\nmodel.get_problems().flag_no_ewsb();\n"] <>
"}";,
result = result <>
"if (is_finite) {\n" <>
IndentText[body] <>
IndentText[WrapLines[SetModelParametersFromEWSB[parametersFixedByEWSB, substitutions, struct]]] <>
IndentText["model.get_problems().unflag_no_ewsb();\n"] <>
"} else {\n" <>
IndentText["error = EWSB_solver::FAIL;\n"] <>
IndentText["error = EWSB_solver::FAIL;\nmodel.get_problems().flag_no_ewsb();\n"] <>
"}";
];
];
Expand Down

0 comments on commit 8c2bc8b

Please sign in to comment.