Bug fix: forgot to init the runtime limit in Glucose.

68b59b8a · Alan Mishchenko · 3ffb098d · 68b59b8a
Commit 68b59b8a authored Sep 06, 2017 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/sat/glucose/Glucose.cpp
+1 -0

No files found.
--- a/src/sat/glucose/Glucose.cpp
+++ b/src/sat/glucose/Glucose.cpp
@@ -95,6 +95,7 @@ Solver::Solver() :
    , verbEveryConflicts(10000)
    , terminate_search_early(false)
    , pstop(NULL)
+    , nRuntimeLimit(0)

    , verbosity      (0)
    , showModel      (0)