コード例 #1
0
ファイル: BddTableTest.cs プロジェクト: sorenjuul/bddsharp
        public void GetMarkTest()
        {
            int var = 3;

            int low = 3;

            int high = 3;

            int u = 3;

            TEntry target = new TEntry(var, low, high, u);

            bool expected = false;
            bool actual;

            actual = target.GetMark();

            Assert.AreEqual(expected, actual, "BddSharp.Kernel.TEntry.GetMark did not return the expected value.");
        }
コード例 #2
0
ファイル: BddTableTest.cs プロジェクト: sorenjuul/bddsharp
        public void SetMarkTest()
        {
            int var = 2;

            int low = 2;

            int high = 2;

            int u = 2;

            TEntry target = new TEntry(var, low, high, u);

            bool mark = true;

            target.SetMark(mark);
            bool actual   = target.GetMark();
            bool expected = true;

            Assert.AreEqual(expected, actual, "BddSharp.Kernel.TEntry.GetMark did not return the expected value.");
        }