Ejemplos de parseInvariant en Python

Ejemplo n.º 1

Archivo: verifier.py Proyecto: rsinha/crowdprover

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

Archivo: verifier.py Proyecto: rsinha/crowdprover

def parseableInvariant(program, invariant):
	(succ,obj) = parseInvariant(invariant,program.description)
	return (succ == 0)