analyze_failure_tool
Analyze synthesis failures and classify the failure mode, then suggest which assertions to contract to fix the issue. Identify type mismatches, overfitting, underfitting, and more.
Instructions
Analyze why a synthesis attempt failed. Classifies the failure mode (type mismatch, overfitting, underfitting, etc.) and suggests which assertions to contract to fix the issue.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| regionId | No | ||
| projectId | Yes | ||
| errorMessage | No | ||
| testPassRate | No | ||
| mutationScore | No |