Ejemplo n.º 1
0
        public void IfClaimCanReduceMustReduce()
        {
            var exp = new ClaimedReducibleOverride();

            Assert.Throws <ArgumentException>(() => exp.Reduce());
        }
Ejemplo n.º 2
0
 public void IfClaimCanReduceMustReduce()
 {
     var exp = new ClaimedReducibleOverride();
     Assert.Throws<ArgumentException>(() => exp.Reduce());
 }