C# Class CfiDriver.CfiDriver.ProgramAttributes

Datei anzeigen 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_oe property

public Dictionary assertionTypes
return	String>.Dictionary

foundLoop public_oe property

public bool foundLoop
return	bool

numBasicBlocks public_oe property

public int numBasicBlocks
return	int

numSplits public_oe property

public int numSplits
return	int

solverCallArg public_oe property

public string solverCallArg
return	string

solverName public_oe property

public string solverName
return	string