Lines Matching refs:crash
14 func Minimize(p0 *Prog, callIndex0 int, crash bool, pred0 func(*Prog, int) bool) (*Prog, int) {
31 p0, callIndex0 = removeCalls(p0, callIndex0, crash, pred)
39 crash: crash,
62 func removeCalls(p0 *Prog, callIndex0 int, crash bool, pred func(*Prog, int) bool) (*Prog, int) {
88 crash bool
138 if !ctx.crash && !ctx.triedPaths[elemPath] &&
173 if ctx.crash {
192 if ctx.crash {
229 if ctx.crash {
