Lines Matching refs:Prog
4 package prog
15 pred func(*Prog, int) bool
25 func(p *Prog, callIndex int) bool {
45 func(p *Prog, callIndex int) bool {
59 func(p *Prog, callIndex int) bool {
79 func(p *Prog, callIndex int) bool {
94 func(p *Prog, callIndex int) bool {
128 Minimize(p, len(p.Calls)-1, crash, func(p1 *Prog, callIndex int) bool {
131 Minimize(p, len(p.Calls)-1, crash, func(p1 *Prog, callIndex int) bool {
144 p1, ci1 := Minimize(p, ci, r.Intn(2) == 0, func(p1 *Prog, callIndex int) bool {
