Ejemplo n.º 1
0
def parseUserInvariant(s,description):
	(succ,obj) = parseInvariant(s,description)

	if succ == 0:
		return obj
	else:
		raise CrowdproverException("Errorcode 1: Could not parse user invariant - "+obj)
Ejemplo n.º 2
0
def parseableInvariant(program, invariant):
	(succ,obj) = parseInvariant(invariant,program.description)
	return (succ == 0)