public void ConstructorTest()
{
BddTable target = new BddTable();
Assert.IsNotNull(target);
}
public void ClearTest()
{
BddTable target = new BddTable();
target.Add(657, 6, 6, 6);
target.Clear();
Assert.AreEqual(0, target.Count);
}
public static void CheckT()
{
BddTable table = new BddTable(0x200000);
for (int i = 2; i < int.MaxValue; i++)
{
table.Add(i, i, i, i);
}
}
public void ConstructorTest1()
{
int startSize = 500;
BddTable target = new BddTable(startSize);
bool result = target.StartSize > startSize;
Assert.AreEqual(true, result);
}
public void GetEnumeratorTest()
{
BddTable target = new BddTable();
IEnumerator actual;
actual = target.GetEnumerator();
Assert.IsNotNull(actual);
}
public void NeedResizeTest()
{
BddTable target = new BddTable(2);
bool expected = false;
bool actual;
actual = target.NeedResize();
Assert.AreEqual(expected, actual, "BddSharp.Kernel.BddTable.NeedResize did not return the expected value.");
}
public void CountTest()
{
BddTable target = new BddTable();
int val = 0;
Assert.AreEqual(val, target.Count, "BddSharp.Kernel.BddTable.Count was not set correctly.");
target.Add(5634, 5, 6, 8);
val = 1;
Assert.AreEqual(val, target.Count, "BddSharp.Kernel.BddTable.Count was not set correctly.");
}
public void RemoveTest()
{
BddTable target = new BddTable(2);
int u = 0; // TODO: Initialize to an appropriate value
target.Add(u, 5, 6, 7);
target.Remove(u);
int result = target.Count;
Assert.AreEqual(0, result);
}
public void SizeTest()
{
BddTable target = new BddTable();
int val = 131072;
Assert.AreEqual(val, target.Size, "BddSharp.Kernel.BddTable.Size was not set correctly.");
target = new BddTable(5);
val = 8;
Assert.AreEqual(val, target.Size, "BddSharp.Kernel.BddTable.Size was not set correctly.");
}
public void ItemTest()
{
BddTable target = new BddTable();
BddNode val = new BddNode(); // TODO: Assign to an appropriate value for the property
int u = 0; // TODO: Initialize to an appropriate value
//target[u] = val;
Assert.AreEqual(val, target[u], "BddSharp.Kernel.BddTable.this was not set correctly.");
Assert.Inconclusive("Verify the correctness of this test method.");
}
public void ContainsKeyTest()
{
BddTable target = new BddTable();
int u = 3275;
target.Add(u, 5, 6, 8);
bool expected = true;
bool actual;
actual = target.ContainsKey(u);
Assert.AreEqual(expected, actual, "BddSharp.Kernel.BddTable.ContainsKey did not return the expected value.");
}
public void AddTestAndItemTest()
{
BddTable target = new BddTable();
int u = 567;
int high = 3;
int low = 4;
int var = 5;
target.Add(u, low, high, var);
BddNode actual = target[u];
Assert.AreEqual(actual.high, high, "Adding nodes is not correct");
Assert.AreEqual(actual.low, low, "Adding nodes is not correct");
Assert.AreEqual(actual.var, var, "Adding nodes is not correct");
}
public void FillDegreeTest()
{
BddTable target = new BddTable(2);
int expected = 0;
int actual;
actual = target.FillDegree();
Assert.AreEqual(expected, actual, "BddSharp.Kernel.BddTable.FillDegree did not return the expected value.");
target.Add(6, 78, 45, 33);
bool result = target.FillDegree() > 0;
Assert.AreEqual(true, result, "BddSharp.Kernel.BddTable.FillDegree did not return the expected value.");
}
