API Reference¶
Auto-generated API documentation from source code docstrings.
- Server & Tools
- Data Models
- Graph Analysis
CallGraphGraphNodeGraphEdgeNodeKindEdgeKindSourceLocationFunctionSignatureCallGraphExtractorASTExtractorASRExtractorDependencyExtractorget_extractor()ExtractorErrorParseErrorUnsupportedFeatureErrorLPythonNotFoundErrorPlanarityResultcheck_planarity()callgraph_to_networkx()networkx_to_callgraph()KamedaIndexNodeKindEdgeKindSourceLocationFunctionSignatureGraphNodeGraphEdgeCallGraphExtractorErrorParseErrorUnsupportedFeatureErrorCallGraphExtractorget_extractor()ScopeTrackerDefinitionVisitorCallVisitorASTExtractorLPythonNotFoundErrorASRExtractorImportInfoextract_imports_from_source()DependencyExtractorPlanarityResultcallgraph_to_networkx()networkx_to_callgraph()check_planarity()KamedaIndex
- Parsers
parse_mutation_output()UnsupportedFrameworkErrorMutationFrameworkFrameworkDetectionProjectLanguagedetect_language()detect_available_frameworks()recommend_framework()parse_stryker_output()parse_mutmut_output()parse_cosmic_ray_output()parse_poodle_output()parse_universalmutator_output()MutationFrameworkFrameworkDetectionProjectLanguagedetect_language()detect_available_frameworks()recommend_framework()find_stryker_report()parse_stryker_report()parse_stryker_output()MutmutStatusMutmutMutantfind_mutmut_cache()parse_mutmut_cache()aggregate_mutmut_stats()parse_mutmut_output()get_mutmut_region_mutants()get_region_mutation_stats()CosmicRayMutantfind_cosmic_ray_session()parse_cosmic_ray_session()aggregate_cosmic_ray_stats()parse_cosmic_ray_output()find_poodle_report()parse_poodle_report()parse_poodle_output()find_universalmutator_results()parse_universalmutator_output()
- Regions
- RAG Pipeline
- Storage
- Synthesis
CodePatchCounterexampleIndividualPatchSourceSpecificationSynthesisConfigSynthesisResultSynthesisStatusSynthesisStatusPatchSourceLLMBackendSynthesisConfigIndividualCodePatchSpecificationCounterexampleSynthesisResultCEGISEngineASTCrossoverASTMutatorPopulationFitnessEvaluatorEntropyManagerLLMClientMockLLMClientbuild_synthesis_prompt()CloudLLMClientLocalLLMClient
- Theory & Belief Revision
- Verification
BudgetCounterexampleSymbolSpecVerificationRequestVerificationResultVerificationStatusVerificationStatusBudgetSymbolSpecVerificationRequestCounterexampleVerificationResultVerificationBackendbuild_verification_backend()Z3BackendAngrDockerBackendMockBackendOrchestratorResultVerificationOrchestratorHarnessSpecHarnessBuilder