Documentation
¶
Index ¶
Constants ¶
View Source
const ( ProofTests = "tests" ProofStructural = "structural" ProofProvider = "provider" )
View Source
const (
CurrentVersion = "v3"
)
Variables ¶
View Source
var Ceiling = Budget{Files: 200, Lines: 50000, Bytes: 2 << 20, GeneratedBytes: 8 << 20, Turns: 120}
View Source
var ErrUnsupported = errors.New("repository requires an explicit supported validation recipe")
View Source
var Toolchains = []string{"go", "javascript", "python"}
Functions ¶
func ForFinding ¶
func GeneratedPath ¶
Types ¶
type Archetype ¶
type Archetype struct {
Name string
Toolchain string
MinProof string
ReadOnly bool
Validator string
Categories []string
Ecosystems []string
AllowedPaths []string
Budget Budget
}
func Archetypes ¶
func Archetypes() []Archetype
type Recipe ¶
type Recipe struct {
Name string `json:"name"`
Version string `json:"version"`
Commands []Command `json:"commands"`
ProtectedPaths []string `json:"protected_paths"`
ManifestPaths []string `json:"manifest_paths"`
AllowedPaths []string `json:"allowed_paths,omitempty"`
MinProof string `json:"min_proof,omitempty"`
ReviewOnly bool `json:"review_only,omitempty"`
ReadOnly bool `json:"read_only,omitempty"`
MinimumTests int `json:"minimum_tests"`
MaxFiles int `json:"max_files"`
MaxPatchBytes int `json:"max_patch_bytes"`
MaxGenerated int `json:"max_generated_bytes,omitempty"`
MaxTurns int `json:"max_turns"`
TimeoutSeconds int `json:"timeout_seconds"`
}
Click to show internal directories.
Click to hide internal directories.