public void TestUlongBvsSetCreation() { BDDAlgebra solver = new BDDAlgebra(); BDD cond = solver.MkSetFromElements(new ulong[] { 0UL, (ulong)0xFFFFFFFF }, 31); BDD bvs = solver.ShiftLeft(cond, 4); var ranges = solver.ToRanges64(bvs, bvs.Ordinal); Assert.AreEqual<int>(2, ranges.Length); Assert.AreEqual<ulong>(0UL, ranges[0].First); Assert.AreEqual<ulong>(0xFUL, ranges[0].Second); Assert.AreEqual<ulong>((ulong)0xFFFFFFFF0, ranges[1].First); Assert.AreEqual<ulong>((ulong)0xFFFFFFFFF, ranges[1].Second); }
public void TestUlongBvsSetCreation() { BDDAlgebra solver = new BDDAlgebra(); BDD cond = solver.MkSetFromElements(new ulong[] { 0UL, (ulong)0xFFFFFFFF }, 31); BDD bvs = solver.ShiftLeft(cond, 4); var ranges = solver.ToRanges64(bvs, bvs.Ordinal); Assert.AreEqual <int>(2, ranges.Length); Assert.AreEqual <ulong>(0UL, ranges[0].First); Assert.AreEqual <ulong>(0xFUL, ranges[0].Second); Assert.AreEqual <ulong>((ulong)0xFFFFFFFF0, ranges[1].First); Assert.AreEqual <ulong>((ulong)0xFFFFFFFFF, ranges[1].Second); }