Functions
def	build_artifact_bundle ()

def	main

Variables
tuple	ARTIFACT_CORE_FIELDS

string	ARTIFACT_FILENAME = "phase31_summary_consistency_bundle.json"

	DEFAULT_OUTPUT_DIR = phase31_correctness_evidence_output_dir("summary_consistency")

string	SUITE_NAME = "correctness_evidence_phase31_summary_consistency"

Detailed Description

Stage-A Phase 3.1 summary consistency vs. the Phase 3.1 correctness package.

Run with:
python benchmarks/density_matrix/correctness_evidence/phase31_summary_consistency_validation.py

Function Documentation

◆ build_artifact_bundle()

def phase31_summary_consistency_validation.build_artifact_bundle ( dict )

Definition at line 40 of file phase31_summary_consistency_validation.py.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ main()

def phase31_summary_consistency_validation.main ( argv )

Definition at line 102 of file phase31_summary_consistency_validation.py.

Here is the call graph for this function:

Variable Documentation

◆ ARTIFACT_CORE_FIELDS

tuple phase31_summary_consistency_validation.ARTIFACT_CORE_FIELDS

Initial value:

 =  (
     "suite_name",
     "status",
     "schema_version",
     "software",
     "selected_candidate",
     "requirements",
     "summary",
     "required_artifacts",
 )