Skip to content
Snippets Groups Projects
Commit 983c05b7 authored by Alexander Diewald's avatar Alexander Diewald
Browse files

Print the stack trace if Z3 reports "out of memory"

parent a5fd541e
No related branches found
No related tags found
No related merge requests found
IScheduleElement.java 655b5e225ea2f3b41496d57e676512e94eea1ee7 YELLOW
IScheduleTask.java 0c94c70de7044a7dc12cef159c15a54ca101f2ee YELLOW
ResourceSchedule.java 95e59f034907941cad3a59b1468b319b099865b6 YELLOW
SMTStrictTTDecoder.java 7301937adb8b8eb51dd64ddd8c08a907b2afe3e9 RED
SMTStrictTTDecoder.java 3b107bfc09bc18e0a2b6726d16e910c435df859a RED
ScheduleTaskGraph.java 232627b5c35a9abdb296c1e67c9469dd2e74faf7 RED
ScheduleUtils.java 9b4dde251d63025e81265983a60948dccc3c780e RED
ScheduledTask.java 0db7b0fefbb799842065b078bfc4a2b8a92d4942 YELLOW
......
......@@ -311,6 +311,7 @@ public class SMTStrictTTDecoder extends DecoderModule<StrictTTSchedule> {
} catch(Exception e) {
// If the Z3 solver fails due to an internal bug or machine-specific behavior, we
// use an best effort approach and just return an already found solution.
e.printStackTrace();
return latestValidSolution;
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment