correctness_evidence/records.py File Reference

Go to the source code of this file.

Namespaces
	records

Functions
def	records._base_case_record
def	records._build_correctness_evidence_negative_records_cached ()
def	records._build_correctness_evidence_positive_records_cached ()
def	records._build_phase31_correctness_evidence_positive_records_cached ()
def	records._normalize_negative_case
def	records._phase31_base_case_record
def	records._phase31_hybrid_partition_route_summary (runtime_result)
def	records._runtime_classification (runtime_result)
def	records.build_correctness_evidence_negative_records ()
def	records.build_correctness_evidence_positive_record (case_context)
def	records.build_correctness_evidence_positive_records ()
def	records.build_negative_records ()
def	records.build_phase31_correctness_evidence_positive_record (case_context)
def	records.build_phase31_correctness_evidence_positive_records ()
def	records.build_positive_records ()
def	records.correctness_evidence_counted_supported_case