From 4ee6033d2fe2d506741606bc6d553d8e66e922d4 Mon Sep 17 00:00:00 2001
From: Michele Co <mc2zk@virginia.edu>
Date: Wed, 18 Jul 2018 12:12:01 -0400
Subject: [PATCH] Added code to create aggregate evidence file which contains
explanation of why there is no aggregate evidence.
Former-commit-id: 01a9a8c09115dc441432eca71f072eaba4d0895b
---
tools/generate_mvee_package.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/tools/generate_mvee_package.sh b/tools/generate_mvee_package.sh
index b9ffb7836..dc8a9ba9b 100755
--- a/tools/generate_mvee_package.sh
+++ b/tools/generate_mvee_package.sh
@@ -838,6 +838,7 @@ finalize_json()
if [ "x"$use_assurance = "x--enable-assurance" ]; then
if [ ! -f "$outdir/assurance/vs-${vs}_aggregate_evidence.tmp.txt" ]; then
echo "There does not appear to be any AGGREGATE ASSURANCE evidence to gather."
+ echo "There are no transformations which produce aggregate (inter-variant) evidence for vs-${vs}." >> "$outdir/assurance/vs-${vs}_aggregate_evidence.txt"
else
# parse the aggregated assurance case evidence for the variant set
--
GitLab