runtime_classification_validation.py File Reference

Go to the source code of this file.

Namespaces
	runtime_classification_validation

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

Variables
tuple	runtime_classification_validation.ARTIFACT_CORE_FIELDS
string	runtime_classification_validation.ARTIFACT_FILENAME = "runtime_classification_bundle.json"
	runtime_classification_validation.DEFAULT_OUTPUT_DIR = correctness_evidence_output_dir("runtime_classification")
string	runtime_classification_validation.SUITE_NAME = "correctness_evidence_runtime_classification"