C# 클래스 CfiDriver.CfiDriver

공개 메소드들

메소드	설명
RunBenchmarks ( List benchmarks, bool doNotRunBenchmarks, bool splitMemory, bool optimizeStore, bool optimizeLoad ) : Tuple

메소드	설명
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

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