Skip to content
GitLab

Fix ExactConstraintSatisfaction::safeDot:

Open Martin Heistermann requested to merge safeDot-fix-edgecase into master

In an edge case, it could happen that k is negative (even INT_MIN), leading to an endless (modulo safebreak) loop.

Simplify the code, eliminating some dangerous manual edge case handling.