Results 14 comments of Cary R.

Thank you for looking into this. We have recently become aware of '{} being invalid and are trying to understand how to rewrite tests etc. to remove it along with...

FYI '{} is supported by commercial tools (e.g. VCS). I opened an item to discuss how to handle these de facto standard items in sv-tests the other day.

Adding br_gh435.v as another unexpected fail which we recently added to ivtest. It has an embedded single line comment in a macro. I think there is some ambiguity in the...

Okay, it's good to see we are basically on the same page! Though I think your concept of expected fail and mine here are slightly different. It looks like what...

@dalance this looks like it was your addition.

The difference is == is specifically called out as a token since it is an operator: > The types of lexical tokens in the language are as follows: > —...

Well `.*` is referred to as a token: > The `.*` token shall appear at most once in a list of port connections. I have no comment on `@@` since...

I just checked and the 2017 standard is the same for `@@`, just two BNF references. I also checked a number of PDF books I have and they do not...

I agree the BNF does not show a space, but is there anywhere else in the standard that indicates this should be a token/operator? I can find noting that says...

"DPI-C" is a string literal which is specified to be a token and since the space character is significant in a string they cannot be added arbitrarily. Space characters can...