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))