-
It is possible that void_total is exactly equal to not_used and the other assertions for this check for <= rather than <.
It is possible that void_total is exactly equal to not_used and the other assertions for this check for <= rather than <.
Loading