type GenConfig …
const CallerName …
const CheckerName …
type TunableParams …
func SetTunables(t TunableParams) { … }
var defaultTypeFractions …
const StructTfIdx …
const ArrayTfIdx …
const MapTfIdx …
const PointerTfIdx …
const NumericTfIdx …
const FloatTfIdx …
const ComplexTfIdx …
const ByteTfIdx …
const StringTfIdx …
var tunables …
func DefaultTunables() TunableParams { … }
func checkTunables(t TunableParams) { … }
func (t *TunableParams) DisableReflectionCalls() { … }
func (t *TunableParams) DisableRecursiveCalls() { … }
func (t *TunableParams) DisableMethodCalls() { … }
func (t *TunableParams) DisableTakeAddr() { … }
func (t *TunableParams) DisableDefer() { … }
func (t *TunableParams) LimitInputs(n int) error { … }
func (t *TunableParams) LimitOutputs(n int) error { … }
func ParseMaskString(arg string, tag string) (map[int]int, error) { … }
func writeCom(b *bytes.Buffer, i int) { … }
var Verbctl …
func verb(vlevel int, s string, a ...interface{ … }
type funcdef …
type genstate …
func (s *genstate) intFlavor() string { … }
func (s *genstate) intBits() uint32 { … }
func (s *genstate) floatBits() uint32 { … }
func (s *genstate) genAddrTaken() addrTakenHow { … }
func (s *genstate) pushTunables() { … }
func (s *genstate) popTunables() { … }
func (s *genstate) redistributeFraction(toIncorporate uint8, avoid []int) { … }
func (s *genstate) precludeSelectedTypes(t int, t2 ...int) { … }
func (s *genstate) GenMapKeyType(f *funcdef, depth int, pidx int) parm { … }
func (s *genstate) GenParm(f *funcdef, depth int, mkctl bool, pidx int) parm { … }
func (s *genstate) GenReturn(f *funcdef, depth int, pidx int) parm { … }
func (s *genstate) GenFunc(fidx int, pidx int) *funcdef { … }
func genDeref(p parm) (parm, string) { … }
func (s *genstate) eqFuncRef(f *funcdef, t parm, caller bool) string { … }
func (s *genstate) emitCompareFunc(f *funcdef, b *bytes.Buffer, p parm) { … }
func (s *genstate) emitStructAndArrayDefs(f *funcdef, b *bytes.Buffer) { … }
func (s *genstate) GenValue(f *funcdef, p parm, value int, caller bool) (string, int) { … }
func (s *genstate) emitMapKeyTmps(f *funcdef, b *bytes.Buffer, pidx int, value int, caller bool) int { … }
func (s *genstate) emitCheckReturnsInCaller(f *funcdef, b *bytes.Buffer, pidx int, reflectCall bool) { … }
func (s *genstate) emitCaller(f *funcdef, b *bytes.Buffer, pidx int) { … }
func checkableElements(p parm) int { … }
type funcdesc …
func (s *genstate) emitDerefFuncs(b *bytes.Buffer, emit bool) { … }
func (s *genstate) emitAssignFuncs(b *bytes.Buffer, emit bool) { … }
func (s *genstate) emitNewFuncs(b *bytes.Buffer, emit bool) { … }
func (s *genstate) emitGlobalVars(b *bytes.Buffer, emit bool) { … }
func (s *genstate) emitGenValFuncs(f *funcdef, b *bytes.Buffer, emit bool) { … }
func (s *genstate) emitAddrTakenHelpers(f *funcdef, b *bytes.Buffer, emit bool) { … }
func (s *genstate) genGlobVar(p parm) string { … }
func (s *genstate) genParamDerefFunc(p parm) string { … }
func (s *genstate) genAssignFunc(p parm) string { … }
func (s *genstate) genAllocFunc(p parm) string { … }
func (s *genstate) genParamRef(p parm, idx int) string { … }
func (s *genstate) genReturnAssign(b *bytes.Buffer, r parm, idx int, val string) { … }
func (s *genstate) emitParamElemCheck(f *funcdef, b *bytes.Buffer, p parm, pvar string, cvar string, paramidx int, elemidx int) { … }
func (s *genstate) emitParamChecks(f *funcdef, b *bytes.Buffer, pidx int, value int) (int, bool) { … }
func (s *genstate) emitDeferChecks(f *funcdef, b *bytes.Buffer, pidx int, value int) int { … }
func (s *genstate) emitVarAssign(f *funcdef, b *bytes.Buffer, r parm, rname string, value int, caller bool) int { … }
func (s *genstate) emitChecker(f *funcdef, b *bytes.Buffer, pidx int, emit bool) { … }
func (f *funcdef) complexityMeasure() int { … }
func (s *genstate) emitRecursiveCall(f *funcdef) string { … }
func (s *genstate) emitReturn(f *funcdef, b *bytes.Buffer, doRecursiveCall bool) { … }
func (s *genstate) GenPair(calloutfile *os.File, checkoutfile *os.File, fidx int, pidx int, b *bytes.Buffer, seed int64, emit bool) int64 { … }
func (s *genstate) openOutputFile(filename string, pk string, imports []string, ipref string) *os.File { … }
type miscVals …
const utilsTemplate …
func (s *genstate) emitUtils(outf *os.File, maxfail int, numtpk int) { … }
const mainPreamble …
func (s *genstate) emitMain(outf *os.File, numit int, fcnmask map[int]int, pkmask map[int]int) { … }
func makeDir(d string) { … }
func (s *genstate) callerPkg(which int) string { … }
func (s *genstate) callerFile(which int) string { … }
func (s *genstate) checkerPkg(which int) string { … }
func (s *genstate) checkerFile(which int) string { … }
func (s *genstate) utilsPkg() string { … }
func (s *genstate) beginPackage(pkidx int) { … }
func runImports(files []string) { … }
func shouldEmitFP(fn int, pk int, fcnmask map[int]int, pkmask map[int]int) bool { … }
func Generate(c GenConfig) int { … }