You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original Redmine Comment
Author Name: Alex Reed
Original Date: 2015-03-24T15:23:00Z
Good catch. The existing tests autoinput_none.v and autowire_pkg_bug195.v actually have @default_nettype none@ with bad module/package indentation following, so there's no need for a new test. Turns out that the compiler directive (pre-processor keyword) lists were incomplete. As such, more common directives like @define abc 123@ indented properly, but some of the newer/rarer specimens failed.
Author Name: Bernd Beuster
Original Redmine Issue: 901 from https://www.veripool.org
Original Date: 2015-03-24
Original Assignee: Alex Reed
None
The text was updated successfully, but these errors were encountered: