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
If a signal is declared in a for loop after something that called VARRESET(), it will attempt to create a signal with UNKNOWN type. I think the solution here is to just put a varRESET in the initialization of the for loop. Patch attached.
The text was updated successfully, but these errors were encountered:
Author Name: Byron Bradley (@bbradley)
Original Redmine Issue: 205 from https://www.veripool.org
Original Date: 2010-01-19
Original Assignee: Byron Bradley (@bbradley)
If a signal is declared in a for loop after something that called VARRESET(), it will attempt to create a signal with UNKNOWN type. I think the solution here is to just put a varRESET in the initialization of the for loop. Patch attached.
The text was updated successfully, but these errors were encountered: