From 45a675bb3c3f1b0aade1d088512356546d69606d Mon Sep 17 00:00:00 2001
From: mc2zk <mc2zk@git.zephyr-software.com>
Date: Fri, 15 Dec 2017 16:04:04 +0000
Subject: [PATCH] assurance case evidence

---
 unpin.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/unpin.cpp b/unpin.cpp
index 82431cd..f2b39d9 100644
--- a/unpin.cpp
+++ b/unpin.cpp
@@ -186,8 +186,8 @@ void Unpin_t::DoUnpinForFixedCalls()
 		}
 	}
 
-	cout<<"#ATTRIBUTE insn_unpin_total_unpins="<<dec<<insn_unpins<<endl;
-	cout<<"#ATTRIBUTE insn_unpin_missed_unpins="<<dec<<missed_unpins<<endl;
+	cout<<"# ATTRIBUTE zipr_unpin::insn_unpin_total_unpins="<<dec<<insn_unpins<<endl;
+	cout<<"# ATTRIBUTE zipr_unpin::insn_unpin_missed_unpins="<<dec<<missed_unpins<<endl;
 }
 
 
@@ -265,8 +265,8 @@ void Unpin_t::DoUnpinForScoops()
 		}
 	}
 
-	cout<<"#ATTRIBUTE scoop_unpin_total_unpins="<<dec<<scoop_unpins<<endl;
-	cout<<"#ATTRIBUTE scoop_unpin_missed_unpins="<<dec<<missed_unpins<<endl;
+	cout<<"# ATTRIBUTE zipr_unpin::scoop_unpin_total_unpins="<<dec<<scoop_unpins<<endl;
+	cout<<"# ATTRIBUTE zipr_unpin::scoop_unpin_missed_unpins="<<dec<<missed_unpins<<endl;
 }
 
 Zipr_SDK::ZiprPreference Unpin_t::RetargetCallback(
-- 
GitLab