C# Class CfiDriver.CfiDriver.ProgramAttributes

Show file Open project: TrustedCloud/slashconfidential

Public Properties

Property	Type	Description
assertionTypes	String>.Dictionary
foundLoop	bool
numBasicBlocks	int
numSplits	int
solverCallArg	string
solverName	string

Property Details

assertionTypes public property

public Dictionary assertionTypes
return	String>.Dictionary

foundLoop public property

public bool foundLoop
return	bool

numBasicBlocks public property

public int numBasicBlocks
return	int

numSplits public property

public int numSplits
return	int

solverCallArg public property

public string solverCallArg
return	string

solverName public property

public string solverName
return	string