コード例 #1
0
ファイル: verifier.py プロジェクト: 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)
コード例 #2
0
ファイル: verifier.py プロジェクト: rsinha/crowdprover 
def parseableInvariant(program, invariant):
	(succ,obj) = parseInvariant(invariant,program.description)
	return (succ == 0)