Update default tests per rule to use GetDefaultOptions function

pelikhan · pelikhan · commit b6627381ae6c · 2025-08-02T16:22:30.000Z
diff --git a/cmd/generate/pipeline.go b/cmd/generate/pipeline.go
@@ -284,7 +284,7 @@ Inverse Output Rules:`, strings.Join(context.Rules, "\n"))
 func (h *generateCommandHandler) generateTests(context *PromptPexContext) error {
 	h.WriteStartBox("Tests", fmt.Sprintf("%d rules x %d tests per rule", len(context.Rules)+len(context.InverseRules), h.options.TestsPerRule))
 	if len(context.Tests) == 0 {
-		testsPerRule := 3
+		testsPerRule := GetDefaultOptions()
 		if h.options.TestsPerRule != 0 {
 			testsPerRule = h.options.TestsPerRule
 		}

Original file line number	Diff line number	Diff line change
@@ -284,7 +284,7 @@ Inverse Output Rules:`, strings.Join(context.Rules, "\n"))
`284`	`284`	`func (h generateCommandHandler) generateTests(context PromptPexContext) error {`
`285`	`285`	`h.WriteStartBox("Tests", fmt.Sprintf("%d rules x %d tests per rule", len(context.Rules)+len(context.InverseRules), h.options.TestsPerRule))`
`286`	`286`	`if len(context.Tests) == 0 {`
`287`		`- testsPerRule := 3`
	`287`	`+ testsPerRule := GetDefaultOptions()`
`288`	`288`	`if h.options.TestsPerRule != 0 {`
`289`	`289`	`testsPerRule = h.options.TestsPerRule`
`290`	`290`	`}`