Documentation ¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
View Source
var DoCallback = false //bz: simplify callback fn + preSolve()
View Source
var DoCollapse = false //bz: collapse the lib function with its callback, no matter what are the context of caller of lib func -> DoCallback must be true
View Source
var DoCommonPart = false //bz: do compute common path
View Source
var DoCompare = false //bz: this has a super long time
View Source
var DoCoverage = false //bz: compute (#analyzed fn/#total fn) in a program within the scope
View Source
var DoDefault = false //bz: only Do default
View Source
var DoDetail = false //bz: print out all data from countReachUnreachXXX
View Source
var DoLevel = 0 //bz: set the analysis scope to level ? default = 0
View Source
var DoLog = false
user
View Source
var DoParallel = false //bz: do all mains in a pkg in parallel, do each main by itself by parallel
View Source
var DoPerformance = false //bz: print out all statistics (time, number)
View Source
var DoSameRoot = false //bz: do all main in a pkg together from the same root -> all mains linked by the root node
different run scenario
View Source
var DoSeq = false //bz: do all mains in a pkg sequential, but input is multiple mains (test useage in race checker)
View Source
var DoTests = false //bz: treat a test as a main to analyze
View Source
var Main = "" //bz: run for a specific main in this pkg; start from 0
View Source
var PTSLimit int //bz: limit the size of pts; if excess, skip its solving
View Source
var PrintCGNodes = false //bz: print #cgnodes (before solve())
my use
View Source
var TimeLimit time.Duration //bz: time limit set by users, unit: ?h?m?s
Functions ¶
Types ¶
This section is empty.
Click to show internal directories.
Click to hide internal directories.