fix dist tests

This commit is contained in:
Thomas Aldrian 2025-12-21 13:12:38 +00:00
parent a68d92e4e1
commit e5bae82a6d
No known key found for this signature in database
GPG Key ID: 6E25AF572B56794B
3 changed files with 3 additions and 3 deletions

View File

@ -68,7 +68,7 @@ for s in [
'Unsupported: 4-state numbers in this context',
'Unsupported: Bind with instance list',
'Unsupported: Concatenation to form ',
'Unsupported: Modport dotted port name',
'Unsupported: Modport empty expression',
'Unsupported: Modport export with prototype',
'Unsupported: Modport import with prototype',
'Unsupported: Only one PSL clock allowed per assertion',