raise.h: In member function ‘void sc_raise::state_actions<C>::enter(sc_raise::data_model&) [with C = sc_raise::state_State_1]::with::operator()()’:
raise.h:163:46: error: ‘event_ev1’ is not a member of ‘sc_raise::state’
event_queue.emplace_back(&sc_raise::state::event_ev1);
^~~~~~~~~
If a signal is triggered with
<raise>
, but it has no matching transition in the SM, it leads to a compile error.The solution should be similar to the fix for #69
Example:
Result: