public static void TEntryTest()
{
TEntry entry = new TEntry(1, 2, 3, 4);
entry.SetMark(true);
entry.SetMark(false);
entry.SetMark(true);
entry.SetMark(true);
}
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.");
}
