Ejemplo n.º 1
0
        public void TestCreation()
        {
            var behaviour = new FakeBehaviour {
                Type = BehaviourType.Order
            };

            Assert.IsTrue(Laws.Check(behaviour));
        }
Ejemplo n.º 2
0
        public void TestPassingLaw3()
        {
            var behaviour = new FakeBehaviour {
                Type = BehaviourType.GeneratedBehaviour
            };

            Assert.IsTrue(Laws.Check(behaviour));
        }
Ejemplo n.º 3
0
        public void TestPassingLaw2()
        {
            var behaviour = new FakeBehaviour {
                Type = BehaviourType.Order
            };

            Assert.IsTrue(Laws.Check(behaviour));
        }
Ejemplo n.º 4
0
        public void TestCatchesBreakingLaw3()
        {
            var behaviour = new FakeBehaviour {
                Type = BehaviourType.GeneratedBehaviour
            };

            ((FakeModel)behaviour.Model).InjuresSelf = true;
            Assert.IsFalse(Laws.Check(behaviour));
        }
Ejemplo n.º 5
0
        public void TestCatchesBreakingLaw1()
        {
            var behaviour = new FakeBehaviour {
                Type = BehaviourType.Order
            };

            ((FakeModel)behaviour.Model).InjuresHuman = true;
            Assert.IsFalse(Laws.Check(behaviour));
        }