C# Class CfiDriver.CfiDriver

Show file Open project: TrustedCloud/slashconfidential

Public Methods

Method Description
RunBenchmarks ( List benchmarks, bool doNotRunBenchmarks, bool splitMemory, bool optimizeStore, bool optimizeLoad ) : Tuple

Private Methods

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

Method Details

RunBenchmarks() public static method

public static RunBenchmarks ( List benchmarks, bool doNotRunBenchmarks, bool splitMemory, bool optimizeStore, bool optimizeLoad ) : Tuple
benchmarks List
doNotRunBenchmarks bool
splitMemory bool
optimizeStore bool
optimizeLoad bool
return Tuple