public void GetVarTest()
{
int var = 42;
int low = 4;
int high = 5;
int u = 5;
TEntry target = new TEntry(var, low, high, u);
int expected = 42;
int actual;
actual = target.GetVar();
Assert.AreEqual(expected, actual, "BddSharp.Kernel.TEntry.GetVar did not return the expected value.");
}
