public void AddTest() { BddGCache target = new BddGCache(); int u1 = 4; int u2 = 5; Op op = Op.DIS; int u = 0; target.Add(u1, u2, op, u); BddSharp_Kernel_BddGCacheAccessor accessor = new BddSharp_Kernel_BddGCacheAccessor(target); BddGCacheEntry[] temp = accessor.cacheArray; bool result = false; foreach (BddGCacheEntry en in temp) { if (en.op == op && en.u1 == u1 && en.u2 == u2) { result = true; break; } } Assert.AreEqual(true, result); }
public void ClearTest() { BddGCache target = new BddGCache(); BddSharp_Kernel_BddGCacheAccessor ass = new BddSharp_Kernel_BddGCacheAccessor(target); BddGCacheEntry[] temp = ass.cacheArray; target.Clear(); BddGCacheEntry[] temp2 = ass.cacheArray; Assert.AreNotSame(temp, temp2); }