diff --git a/src/V3Randomize.cpp b/src/V3Randomize.cpp index 4921550e6..32239d08a 100644 --- a/src/V3Randomize.cpp +++ b/src/V3Randomize.cpp @@ -1514,11 +1514,12 @@ class ConstraintExprVisitor final : public VNVisitor { = VN_CAST(nodep->fromp()->dtypep()->skipRefp(), UnpackArrayDType)) { const int arraySize = adtypep->elementsConst(); if (arraySize > v3Global.opt.constraintArrayLimit()) { - nodep->v3warn(CONSTRAINTIGN, "Constraint array reduction ignored (array size " - + cvtToStr(arraySize) - + " exceeds --constraint-array-limit of " - + cvtToStr(v3Global.opt.constraintArrayLimit()) - + "), treating as state"); + nodep->v3warn(CONSTRAINTIGN, + "Constraint array reduction ignored (array size " + + cvtToStr(arraySize) + + " exceeds --constraint-array-limit of " + + cvtToStr(v3Global.opt.constraintArrayLimit()) + + "), treating as state"); nodep->user1(false); if (editFormat(nodep)) return; nodep->v3fatalSrc("Method not handled in constraints? " << nodep); diff --git a/test_regress/t/t_constraint_array_limit.py b/test_regress/t/t_constraint_array_limit.py old mode 100644 new mode 100755