Merge pull request #53 from guimarqu/master

assert the semaphore idx is not nothing
atoptima · Jan 26, 2024 · 11a8eaf · 11a8eaf
2 parents 795a492 + e1ab8c8
commit 11a8eaf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/pcsr.jl b/src/pcsr.jl
@@ -129,6 +129,7 @@ function addpartition!(pcsc::PackedCSC{K,T}, prev_sem_id::Int) where {K,T}
         for i in nb_semaphores:-1:(prev_sem_id+1)
             moved_sem_pos = pcsc.semaphores[i]
             semaphores[i+1] = semaphores[i]
+            @assert !isnothing(moved_sem_pos)
             pcsc.pma.array[moved_sem_pos] = (sem_key, T(i+1))
         end
     end