Merge pull request #60 from tautschnig/creationtime

tautschnig · web-flow · commit 904c3cc55060 · 2020-12-02T00:52:53.000+01:00
Include creationtime in witness output
diff --git a/tool-wrapper.inc b/tool-wrapper.inc
@@ -101,7 +101,8 @@ process_graphml()
       <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=\"architecture\">${BIT_WIDTH}bit<\/data>\\Q/"
+      <data key=\"architecture\">${BIT_WIDTH}bit<\/data>
+      <data key=\"creationtime\">$(date -Iseconds)<\/data>\\Q/"
   fi
 }
 

Original file line number	Diff line number	Diff line change
`@@ -101,7 +101,8 @@ process_graphml()`
`101`	`101`	`<data key=\"specification\">$(<$PROP_FILE)<\/data>`
`102`	`102`	`<data key=\"programfile\">$(echo ${BM[0]} \| sed 's8/8\\/8g')<\/data>`
`103`	`103`	`<data key=\"programhash\">$(sha1sum ${BM[0]} \| awk '{print $1}')<\/data>`
`104`		`- <data key=\"architecture\">${BIT_WIDTH}bit<\/data>\\Q/"`
	`104`	`+ <data key=\"architecture\">${BIT_WIDTH}bit<\/data>`
	`105`	`+ <data key=\"creationtime\">$(date -Iseconds)<\/data>\\Q/"`
`105`	`106`	`fi`
`106`	`107`	`}`
`107`	`108`