C# 클래스 CfiDriver.CfiDriver.ProgramAttributes

파일 보기 프로젝트 열기: TrustedCloud/slashconfidential

공개 프로퍼티들

프로퍼티	타입	설명
assertionTypes	String>.Dictionary
foundLoop	bool
numBasicBlocks	int
numSplits	int
solverCallArg	string
solverName	string

프로퍼티 상세

assertionTypes 공개적으로 프로퍼티

public Dictionary assertionTypes
리턴	String>.Dictionary

foundLoop 공개적으로 프로퍼티

public bool foundLoop
리턴	bool

numBasicBlocks 공개적으로 프로퍼티

public int numBasicBlocks
리턴	int

numSplits 공개적으로 프로퍼티

public int numSplits
리턴	int

solverCallArg 공개적으로 프로퍼티

public string solverCallArg
리턴	string

solverName 공개적으로 프로퍼티

public string solverName
리턴	string