Modules
Generate Elixir programs with known structural facts.
Behaviour and helpers for analyzer adapters.
Normalized analyzer result used for differential comparisons.
Saves generated programs as replayable corpus entries.
Failure metadata saved alongside a promoted corpus entry.
Differential analyzer comparison.
Test helpers for generated programs.
Converts generated programs and facts into JSON-friendly manifests.
A branch/control-flow oracle fact.
A call associated with one branch clause.
A directed call edge between two generated functions.
A ground-truth data-flow oracle fact.
A typed data-flow endpoint or intermediate reference.
A side-effect oracle fact for a generated function.
A function identity in generated oracle facts.
A source location oracle fact.
Ground-truth facts expected from a generated program.
A generated source file.
Converts ProgramFacts models and facts into libgraph graphs.
Applies project-layout path conventions to generated programs.
Derives source locations from generated source files.
JSON manifest for a generated program.
JSON manifest facts payload.
JSON manifest source file entry.
Helpers for checking transform invariants.
Semantic summary model for generated programs.
Builder API for constructing ProgramFacts.Model values.
A generated program with source files and expected structural facts.
Writes generated programs to Mix project directories.
Feedback-directed generation over ProgramFacts features and user callbacks.
Deterministic minimization helpers for generated failures.
StreamData generators for generated programs.
Fact-aware transformations for generated programs.