def testSingleProp(self):
var1 = Variable(0, 3)
var2 = Variable(0, 5)
model = NativeModel()
model.add(var1 > var2)
solver = Solver(model)
solver.propogate()
def testSingleProp(self):
var1 = Variable(0, 3)
var2 = Variable(0, 5)
model = NativeModel()
model.add(var1 > var2)
solver = Solver(model)
solver.propogate()
def testSingleProp_1(self):
var1 = Variable(0, 0)
var2 = Variable(0, 5)
model = NativeModel()
model.add(var2 != var1)
solver = Solver(model)
solver.propogate()
assert( not var2.can_be_instantiated_to(0) )
def testSingleProp_1(self):
var1 = Variable(0, 0)
var2 = Variable(0, 5)
model = NativeModel()
model.add(var2 != var1)
solver = Solver(model)
solver.propogate()
assert (not var2.can_be_instantiated_to(0))
