Skip to content

Commit

Permalink
Fix audits
Browse files Browse the repository at this point in the history
  • Loading branch information
Morwenn committed Jan 21, 2024
1 parent f1268e6 commit d6cf373
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions include/gfx/timsort.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -705,10 +705,10 @@ auto timmerge(Iterator first, Iterator middle, Sentinel last,
-> Iterator
{
auto last_it = std::ranges::next(first, last);
GFX_TIMSORT_AUDIT(std::is_sorted(first, middle, comp, proj) && "Precondition");
GFX_TIMSORT_AUDIT(std::is_sorted(middle, last_it, comp, proj) && "Precondition");
GFX_TIMSORT_AUDIT(std::ranges::is_sorted(first, middle, comp, proj) && "Precondition");
GFX_TIMSORT_AUDIT(std::ranges::is_sorted(middle, last_it, comp, proj) && "Precondition");
detail::TimSort<Iterator, Compare, Projection>::merge(first, middle, last_it, comp, proj);
GFX_TIMSORT_AUDIT(std::is_sorted(first, last_it, comp, proj) && "Postcondition");
GFX_TIMSORT_AUDIT(std::ranges::is_sorted(first, last_it, comp, proj) && "Postcondition");
return last_it;
}

Expand Down Expand Up @@ -745,7 +745,7 @@ auto timsort(Iterator first, Sentinel last,
{
auto last_it = std::ranges::next(first, last);
detail::TimSort<Iterator, Compare, Projection>::sort(first, last_it, comp, proj);
GFX_TIMSORT_AUDIT(std::is_sorted(first, last_it, comp, proj) && "Postcondition");
GFX_TIMSORT_AUDIT(std::ranges::is_sorted(first, last_it, comp, proj) && "Postcondition");
return last_it;
}

Expand Down

0 comments on commit d6cf373

Please sign in to comment.