mirror of
https://github.com/verilator/verilator.git
synced 2026-10-05 17:43:31 +02:00
Fix unique {} constraints missing semicolon (#5001)
Signed-off-by: Arkadiusz Kozdra <[email protected]>
This commit is contained in:
+1
-1
@@ -7337,7 +7337,7 @@ constraint_expression<nodep>: // ==IEEE: constraint_expression
|
||||
$$ = newp; }
|
||||
// // 1800-2012:
|
||||
// // IEEE: uniqueness_constraint ';'
|
||||
| yUNIQUE '{' range_list '}'
|
||||
| yUNIQUE '{' range_list '}' ';'
|
||||
{ $$ = new AstConstraintUnique{$1, $3}; }
|
||||
// // IEEE: expr yP_MINUSGT constraint_set
|
||||
// // Conflicts with expr:"expr yP_MINUSGT expr"; rule moved there
|
||||
|
||||
@@ -37,7 +37,7 @@ class Packet;
|
||||
foreach (array[i]) {
|
||||
array[i] inside {2, 4, 6};
|
||||
}
|
||||
unique { array[0], array[1] }
|
||||
unique { array[0], array[1] };
|
||||
}
|
||||
|
||||
constraint order { solve length before header; }
|
||||
|
||||
@@ -37,7 +37,7 @@ class Packet;
|
||||
foreach (array[i]) {
|
||||
array[i] inside {2, 4, 6};
|
||||
}
|
||||
unique { array[0], array[1] }
|
||||
unique { array[0], array[1] };
|
||||
}
|
||||
|
||||
constraint order { solve length before header; }
|
||||
|
||||
@@ -37,7 +37,7 @@ class Packet;
|
||||
foreach (array[i]) {
|
||||
array[i] inside {2, 4, 6};
|
||||
}
|
||||
unique { array[0], array[1] }
|
||||
unique { array[0], array[1] };
|
||||
}
|
||||
|
||||
constraint order { solve length before header; }
|
||||
|
||||
Reference in New Issue
Block a user