always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix #4907

Browse Source
This commit is contained in:
Laurent Perron
2025-11-12 03:16:33 +01:00
committed by Corentin Le Molgat
parent 29ffc72cf3
commit b67dc02476
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
ortools/sat/subsolver.h
View File

@@ -101,11 +101,12 @@ class SubSolver {
// called sequentially. Subclasses do not need to call this.
void AddTaskDuration(double duration_in_seconds) {
++num_finished_tasks_;
wall_time_ += duration_in_seconds;
timing_.AddTimeInSec(duration_in_seconds);
if (duration_in_seconds > 0) {
wall_time_ += duration_in_seconds;
timing_.AddTimeInSec(duration_in_seconds);
}
}
// Note that this is protected by the global execution mutex and so it is
// called sequentially. Subclasses do not need to call this.
void NotifySelection() { ++num_scheduled_tasks_; }