external_correctness_validation.py File Reference

Go to the source code of this file.

Namespaces
	external_correctness_validation

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

Variables
tuple	external_correctness_validation.ARTIFACT_CORE_FIELDS
string	external_correctness_validation.ARTIFACT_FILENAME = "external_correctness_bundle.json"
	external_correctness_validation.DEFAULT_OUTPUT_DIR = correctness_evidence_output_dir("external_correctness")
string	external_correctness_validation.SUITE_NAME = "correctness_evidence_external_correctness"