public void NeedResizeTest()
{
BDDHash target = new BDDHash();
bool expected = false;
bool actual;
actual = target.NeedResize();
Assert.AreEqual(expected, actual, "BddSharp.Kernel.BDDHash.NeedResize did not return the expected value.");
}
public void ConstructorTest1()
{
int s = 0x100; // TODO: Initialize to an appropriate value
BDDHash target = new BDDHash(s);
BddSharp_Kernel_BDDHashAccessor accessor = new BddSharp_Kernel_BDDHashAccessor(target);
// TODO: Implement code to verify target
Assert.IsNotNull(target, "Object created");
Assert.AreEqual(s, accessor.startSize, "StartSize not initiated to correct value.");
}
public void ClearTest()
{
BDDHash target = new BDDHash();
// BddSharp_Kernel_BDDHashAccessor accessor = new BddSharp_Kernel_BDDHashAccessor(target);
target.Add(1, 2, 3, 4);
target.Clear();
Assert.AreEqual(target.Count, 0, "Count was not reset on clear");
}
public void ItemTest()
{
BDDHash target = new BDDHash();
int val = 4;
int var = 5;
int low = 6;
int high = 42;
target.Add(var, low, high, val);
Assert.AreEqual(val, target[var, low, high], "BddSharp.Kernel.BDDHash.this was not set correctly.");
}
public static void CheckNewBddHash()
{
BDDHash hash = new BDDHash();
for (int i = 0; i < 1000; i++)
{
hash.Add(i, i, i, i);
}
for (int j = 0; j < 1000; j++)
{
Console.WriteLine(hash[j, j, j].ToString());
}
}
public void ContainsKeyTest()
{
BDDHash target = new BDDHash();
int var = 1;
int low = 2;
int high = 3;
bool expected = false;
bool actual;
actual = target.ContainsKey(var, low, high);
Assert.AreEqual(expected, actual, "BddSharp.Kernel.BDDHash.ContainsKey returned the expected value.");
}
public void AddTest()
{
BDDHash target = new BDDHash();
int var = 1;
int low = 0;
int high = 1;
int u = 42;
int beforeCount = target.Count;
target.Add(var, low, high, u);
int afterCount = target.Count;
Assert.AreEqual(beforeCount + 1, afterCount, "Count was not increased on Add");
}
public void RemoveTest()
{
BDDHash target = new BDDHash();
int var = 4;
int low = 5;
int high = 6;
int count_one = target.Count;
target.Add(var, low, high, 42);
int count_two = target.Count;
target.Remove(var, low, high);
int count_three = target.Count;
Assert.AreEqual(count_one + 1, count_two, "Something was not insterted correct");
Assert.AreEqual(count_two, count_three + 1, "Something was not removed correct");
}
public void ConstructorTest()
{
BDDHash target = new BDDHash();
Assert.IsNotNull(target, "Object created");
}
