Function main

tools/complexity-diff/main.go:36–125

()

}

func main() {
	if len(os.Args) != 4 {
		panic("usage: complexity-diff <old> <new> <diff>")
	}

	oldFile := os.Args[1]
	newFile := os.Args[2]
	diffFile := os.Args[3]

	oldRecords, err := loadRecords(oldFile)
	if err != nil {
		panic(err)
	}
	newRecords, err := loadRecords(newFile)
	if err != nil {
		panic(err)
	}

	diffRecords := calcDiffRecords(oldRecords, newRecords, true)

	minMaxInsnsProcessed := calcMinMax(diffRecords, func(r verifierComplexityRecord) int {
		return r.InsnsProcessed
	})
	printTop15MinMax("largest differences by instructions processed", minMaxInsnsProcessed, percentInsnsProcessed, colorRelativeChange)

	minMaxStackDepth := calcMinMax(diffRecords, func(r verifierComplexityRecord) int {
		return r.StackDepth
	})
	printTop15MinMax("largest differences by stack depth", minMaxStackDepth, percentStackDepth, colorRelativeChange)

	minMaxMapCount := calcMinMax(diffRecords, func(r verifierComplexityRecord) int {
		return r.MapCount
	})
	printTop15MinMax("largest differences by map count", minMaxMapCount, percentMapCount, colorRelativeChange)

	var sortedNewRecords []verifierComplexityRecord
	for _, key := range slices.Sorted(maps.Keys(newRecords)) {
		sortedNewRecords = append(sortedNewRecords, newRecords[key])
	}

	minMaxInsnsProcessed = calcMinMax(sortedNewRecords, func(r verifierComplexityRecord) int {
		return r.InsnsProcessed
	})
	printTop15MinMax("largest instructions processed", minMaxInsnsProcessed, percentInsnsProcessed, colorAbsoluteValueExponential)

	minMaxStackDepth = calcMinMax(sortedNewRecords, func(r verifierComplexityRecord) int {
		return r.StackDepth
	})
	printTop15MinMax("largest stack depth", minMaxStackDepth, percentStackDepth, colorAbsoluteValue)

	minMaxMapCount = calcMinMax(sortedNewRecords, func(r verifierComplexityRecord) int {
		return r.MapCount
	})
	printTop15MinMax("largest map count", minMaxMapCount, percentMapCount, colorAbsoluteValue)

	diffRecords = calcDiffRecords(oldRecords, newRecords, false)

	// Sort diff records to be more logically grouped for human consumption, even though its JSON.