public void TestStampLeq() { TimeStamp s1 = new TimeStamp(); TimeStamp s2 = new TimeStamp(); Assert.True(TimeStamp.Leq(s1, s2.FireEvent())); Assert.False(TimeStamp.Leq(s2.FireEvent(), s1)); }