示例#1
0
        public static void TEntryTest()
        {
            TEntry entry = new TEntry(1, 2, 3, 4);

            entry.SetMark(true);
            entry.SetMark(false);
            entry.SetMark(true);
            entry.SetMark(true);
        }
示例#2
0
        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.");
        }