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