goreduce

Reduce a program to its simplest form as long as it produces a compiler error or any output (such as a panic) matching a regular expression.

go get -u mvdan.cc/goreduce

Example

func main() {
        a := []int{1, 2, 3}
        if true {
                a = append(a, 4)
        }
        a[1] = -2
        println(a[10])
}

goreduce -match 'index out of range' .

func main() {
        a := []int{}
        println(a[0])
}

For more usage information, see goreduce -h.

Design

• The tool should be reproducible, giving the same output for an input program as long as external factors don't modify its behavior
• The rules should be as simple and composable as possible
• Rules should avoid generating changes that they can know won't compile

Rules

Removing

Inlining

Resolving