CES-01-07-09

Giuseppe Avolio

@avolio

9de8be8e · Checking the clock in the NONE state too (and not only in INITIAL) · Jan 23, 2017

This is CES-01-07-09.

Main changes:
- Checking the clock in the NONE state too (and not only in INITIAL).