phase31_external_correctness_validation.py File Reference

Go to the source code of this file.

Namespaces
	phase31_external_correctness_validation

Functions
def	phase31_external_correctness_validation.build_artifact_bundle
def	phase31_external_correctness_validation.build_cases ()
def	phase31_external_correctness_validation.main

Variables
tuple	phase31_external_correctness_validation.ARTIFACT_CORE_FIELDS
string	phase31_external_correctness_validation.ARTIFACT_FILENAME = "phase31_external_correctness_bundle.json"
	phase31_external_correctness_validation.DEFAULT_OUTPUT_DIR = phase31_correctness_evidence_output_dir("external_correctness")
string	phase31_external_correctness_validation.SUITE_NAME = "correctness_evidence_phase31_external_correctness"