From 79260d46848fee783a9beac76c5562dedc4d5a2e Mon Sep 17 00:00:00 2001
From: Viktor Malik <viktor.malik@gmail.com>
Date: Mon, 18 Oct 2021 12:00:42 +0200
Subject: [PATCH] Use SHA-256 for program hash in witnesses

SHA-256 is required by witness specification. It is now checked by the
witness linter in SV-COMP.
---
 tool-wrapper.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool-wrapper.inc b/tool-wrapper.inc
index addc406..8c69028 100755
--- a/tool-wrapper.inc
+++ b/tool-wrapper.inc
@@ -100,7 +100,7 @@ process_graphml()
       <data key=\"producer\">$(echo $TOOL_NAME)<\/data>
       <data key=\"specification\">$(<$PROP_FILE)<\/data>
       <data key=\"programfile\">$(echo ${BM[0]} | sed 's8/8\\/8g')<\/data>
-      <data key=\"programhash\">$(sha1sum ${BM[0]} | awk '{print $1}')<\/data>
+      <data key=\"programhash\">$(sha256sum ${BM[0]} | awk '{print $1}')<\/data>
       <data key=\"architecture\">${BIT_WIDTH}bit<\/data>
       <data key=\"creationtime\">$(date -Iseconds)<\/data>\\Q/"
   fi