Commit 5a6ba38e authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Condition on the state for exhausting transitions

parent 02654e92
......@@ -197,9 +197,15 @@ procedure test is
procedure exhaustive_simulation is
begin
exhaust_paramless;
exhaust_pulse;
exhaust_arr;
if Process_Ctxt.State in Wait | Running then
exhaust_paramless;
end if;
if Process_Ctxt.State in Wait | Running then
exhaust_pulse;
end if;
if Process_Ctxt.State in Wait | Running then
exhaust_arr;
end if;
end;
event : Event_ty(start);
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment