Method |
Description |
|
AddSolver ( List solvers, string solverName, string solverExecFlag, string solverPath, string solverFlags ) : void |
|
|
CheckAssertion ( string directory, string tag, int splitId, ProgramAttributes attributes ) : void |
|
|
CheckAssertions ( ) : void |
|
|
CheckAssertionsInParallel ( string directory, string tag, ProgramAttributes attributes ) : void |
|
|
ComputeStatisticsForDirectory ( string directory ) : Tuple |
|
|
ExecuteBoogieBinary ( string arguments ) : int>.Tuple |
|
|
ExecuteCfiVerifierBinary ( string arguments ) : ProgramAttributes |
|
|
GetBinaryPath ( ) : string |
|
|
Main ( Array args ) : void |
|
|
Usage ( ) : void |
|
|