diff options
Diffstat (limited to 'src/prop/bvminisat/bvminisat.cpp')
| -rw-r--r-- | src/prop/bvminisat/bvminisat.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/prop/bvminisat/bvminisat.cpp b/src/prop/bvminisat/bvminisat.cpp index 6bbe4bb3e..ab25fa6cb 100644 --- a/src/prop/bvminisat/bvminisat.cpp +++ b/src/prop/bvminisat/bvminisat.cpp @@ -106,6 +106,7 @@ SatValue BVMinisatSatSolver::solve(){ SatValue BVMinisatSatSolver::solve(long unsigned int& resource){ Trace("limit") << "MinisatSatSolver::solve(): have limit of " << resource << " conflicts" << std::endl; + ++d_statistics.d_statCallsToSolve; if(resource == 0) { d_minisat->budgetOff(); } else { |