# How to choose between rising and falling edge (e.g. when using a pulse generator)?

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.