unit test symbolic time