From ad142067a65a841f6dc9362220e145b86081eea1 Mon Sep 17 00:00:00 2001
From: mc2zk <mc2zk@git.zephyr-software.com>
Date: Fri, 15 Dec 2017 16:13:17 +0000
Subject: [PATCH] format fixes for assurance case output
Former-commit-id: 16d1132caaa29824fa900c6eb14a0331da6448ab
---
tools/transforms/PNTransformDriver.cpp | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/tools/transforms/PNTransformDriver.cpp b/tools/transforms/PNTransformDriver.cpp
index bd4b78e72..b94844390 100644
--- a/tools/transforms/PNTransformDriver.cpp
+++ b/tools/transforms/PNTransformDriver.cpp
@@ -1819,7 +1819,7 @@ void PNTransformDriver::Print_Report()
for(unsigned int i=0;i<history_keys.size();++i)
{
cerr<<"\tLayout: "<<history_keys[i]<<endl;
- cerr<<"# ATTRIBUTE pnxform::Layout="<<history_keys[i]<<endl;
+ cerr<<"# ATTRIBUTE Layout="<<history_keys[i]<<endl;
vector<PNStackLayout*> layouts = transformed_history[history_keys[i]];
map<int,int> obj_histogram;
@@ -1889,12 +1889,12 @@ void PNTransformDriver::Print_Report()
cerr<<"Transformed \t\t\t"<<total_transformed<<endl;
cerr<<"# ATTRIBUTE pnxform::Functions_validated_exceeding_threshold="<<high_coverage_count<<endl;
- cerr<<"# ATTRIBUTE pnxform::Functions_validated_ with_ nonZero_coverage_below_or_ equal_to_threshold="<<low_coverage_count<<endl;
+ cerr<<"# ATTRIBUTE pnxform::Functions_validated_with_nonZero_coverage_below_or_equal_to_threshold="<<low_coverage_count<<endl;
cerr<<"# ATTRIBUTE pnxform::Functions_modified_with_no_coverage="<<no_coverage_count<<endl;
cerr<<"# ATTRIBUTE pnxform::Total_recursive_validations_performed="<<validation_count<<endl;
cerr<<"# ATTRIBUTE pnxform::NonBlacklisted_Functions="<<total_funcs<<endl;
- cerr<<"# ATTRIBUTE pnxform::Blacklisted Functions="<<blacklist_funcs<<endl;
+ cerr<<"# ATTRIBUTE pnxform::Blacklisted_Functions="<<blacklist_funcs<<endl;
cerr<<"# ATTRIBUTE pnxform::Sanitized_Functions="<<sanitized_funcs<<endl;
cerr<<"# ATTRIBUTE pnxform::PushPop_Sanitized_Functions="<<push_pop_sanitized_funcs<<endl;
cerr<<"# ATTRIBUTE pnxform::CondFrameSanitized_Functions="<<cond_frame_sanitized_funcs<<endl;
--
GitLab