def pop(self, levels=1):
for _ in xrange(levels):
if self.failed_pushes > 0:
self.failed_pushes -= 1
else:
c = libyices.yices_pop(self.yices)
if c != 0:
raise InternalSolverError("Error in pop: %s" % \
libyices.yices_error_string())
def pop(self, levels=1):
for _ in xrange(levels):
c = libyices.yices_pop(self.yices)
assert c == 0
def pop(self, levels=1):
for _ in xrange(levels):
c = libyices.yices_pop(self.yices)
assert c == 0
