Skip to content

Commit

Permalink
Export distinct_certified_solutions!
Browse files Browse the repository at this point in the history
  • Loading branch information
saschatimme committed Jun 12, 2023
1 parent e577c93 commit bf1e0a4
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/certification.jl
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,7 @@ export certify,
solutions,
certificates,
distinct_certified_solutions,
distinct_certified_solutions!,
# deprecated
initial_solution,
certified_solution
Expand Down Expand Up @@ -1569,7 +1570,7 @@ function distinct_certified_solutions!(
end
progress_lock = ReentrantLock()
if threading
ndistinct = Threads.Atomic{Int}(0)
ndistinct = Threads.Atomic{Int}(length(d))
processed = Threads.Atomic{Int}(0)
Threads.@threads for i = 1:length(S)
sol = S[i]
Expand Down

0 comments on commit bf1e0a4

Please sign in to comment.