Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
SAT4J
sat4j
Commits
2e3dde80
Commit
2e3dde80
authored
Nov 12, 2018
by
Daniel Le Berre
Browse files
Fix for
#129
parent
ed68390b
Pipeline
#3371
passed with stages
in 43 minutes and 22 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java
View file @
2e3dde80
...
...
@@ -1841,7 +1841,7 @@ public class Solver<D extends DataStructureFactory>
this
.
slistener
.
end
(
status
);
if
(!
this
.
undertimeout
)
{
String
message
=
" Timeout ("
+
this
.
timeout
+
(
this
.
timeBasedTimeout
?
"s"
:
" conflicts"
)
+
(
this
.
timeBasedTimeout
?
"
m
s"
:
" conflicts"
)
+
") exceeded"
;
throw
new
TimeoutException
(
message
);
}
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment