Unit tests for time semantics