sequential_correctness_validation.py File Reference

Go to the source code of this file.

Namespaces
	sequential_correctness_validation

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

Variables
tuple	sequential_correctness_validation.ARTIFACT_CORE_FIELDS
string	sequential_correctness_validation.ARTIFACT_FILENAME = "sequential_correctness_bundle.json"
	sequential_correctness_validation.DEFAULT_OUTPUT_DIR = correctness_evidence_output_dir("sequential_correctness")
string	sequential_correctness_validation.SUITE_NAME = "correctness_evidence_sequential_correctness"