flags

Documentation

Index

• Variables
• func ParseFlags()

Variables

var DoCallback = false //bz: simplify callback fn + preSolve()

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

var DoCommonPart = false //bz: do compute common path

var DoCompare = false //bz: this has a super long time

var DoCoverage = false //bz: compute (#analyzed fn/#total fn) in a program within the scope

var DoDefault = false //bz: only Do default

var DoDetail = false //bz: print out all data from countReachUnreachXXX

var DoDiff = false //bz: compute the diff functions when turn on/off ptsLimit

var DoLevel = 0 //bz: set the analysis scope to level ? default = 0

var DoLog = false

user

var DoParallel = false //bz: do all mains in a pkg in parallel, do each main by itself by parallel

var DoPerformance = false //bz: print out all statistics (time, number)

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

var DoSeq = false //bz: do all mains in a pkg sequential, but input is multiple mains (test useage in race checker)

var DoTests = false //bz: treat a test as a main to analyze

var Main = "" //bz: run for a specific main in this pkg; start from 0

var PTSLimit int //bz: limit the size of pts; if excess, skip its solving

var PrintCGNodes = false //bz: print #cgnodes (before solve())

my use

var TimeLimit time.Duration //bz: time limit set by users, unit: ?h?m?s

Functions

func ParseFlags

func ParseFlags()

bz: analyze all flags from input