Apply 'make format'

This commit is contained in:
github action 2026-02-13 06:57:42 +00:00
parent b88fc74c57
commit 5a947114f3
2 changed files with 6 additions and 5 deletions

View File

@ -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);

0
test_regress/t/t_constraint_array_limit.py Normal file → Executable file
View File