In StateFlow, one often uses the command e.g.
on clk: count++; I wonder how the clock is counted exactly. Is it the rising edge, or the falling or does it count both?
When I enter the properties of the clock I can't see any setting about that and when simply using "
on clk" I can't see it neither.