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
The following code does not compile with error @can't find definition of signal, again: if@. It does work with manual unrolling to @my_module mod(.if(if), .*);@.
Author Name: Maciej Piechotka
Original Redmine Issue: 1176 from https://www.veripool.org
Original Assignee: Wilson Snyder (@wsnyder)
The following code does not compile with error @can't find definition of signal, again: if@. It does work with manual unrolling to @my_module mod(.if(if), .*);@.
The text was updated successfully, but these errors were encountered: