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.");
}
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.");
}