Exemplo n.º 1
0
 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));
 }