some tests for AtTime.scala