Index: drc_query.conf =================================================================== --- drc_query.conf (revision 30219) +++ drc_query.conf (revision 30220) @@ -35,7 +35,7 @@ rule overlap let A @.type==PSTK let B A - assert (A.ID > B.ID) && (distance(A.x, A.y, B.x, B.y) < (A.hole + B.hole)/(2*(1+$hole_overlap_factor))) thus mklist(A, B) + assert (A.ID > B.ID) && (distance(A.x, A.y, B.x, B.y) < (A.hole + B.hole)/(2*(1+$hole_overlap_factor))) thus violation(DRCGRP1, A, DRCGRP2, B, DRCMEASURE, distance(A.x, A.y, B.x, B.y), DRCEXPECT, (A.hole + B.hole)/(2*(1+$hole_overlap_factor))) } }