Commit a27795de authored by Riegel's avatar Riegel
Browse files

Bugfix for found false positives of C_GE_S_SELF_INTERSECTION

parent 216ab18a
Pipeline #9981 passed with stage
in 1 minute and 14 seconds