+
+
+ Bundle: ${checkerData.pbh.bundleName!"n/a"}
+
+
+
+
+ Checks run:
+ <#list checkerData.checks as key, c>
+ ${c}<#sep>, #sep>
+ #list>
+
+
+
Date of report: ${checkerData.checkDate}
+
+
Overall Status: ${checkerData.globalState}
+
+
+
Contracts Overview
+ <#assign total=checkerData.bundleProofCount()
+ proven=checkerData.provenCount()
+ lemmaLeft=checkerData.lemmaLeftCount()
+ unproven=checkerData.unprovenCount()
+ data=checkerData >
+
+ <#assign provenPercent=proven/total*100
+ depsLeftPercent=lemmaLeft/total*100
+ unprovenPercent=unproven/total*100 >
+
+
+
+
+
+
+
+
+
+
Log messages
+
+
+ <#list checkerData.messages as msg>
+ <#escape x as x>
+
+ ${msg}
+
+ #escape>
+ #list>
+
+
+
+
+
+
Files found inside proof bundle:
+
+ <#macro tree_folder f>
+
${f}
+
+ <#list f.children as c>
+ <@tree node=c />
+ #list>
+
+ #macro>
+
+ <#macro tree node>
+
+ -
+ <#if node.children?has_content>
+ <@tree_folder node />
+ <#else>
+ ${node}
+ #if>
+
+
+ #macro>
+ <@tree treeRoot />
+
+
+
+
Dependencies between contracts:
+ <#if graph?? >
+
+
+
+ | Proof |
+ SCC |
+ |
+ Dependencies |
+
+
+
+ <#list graph.node2SCC as node, scc>
+
+ |
+ ${node.contract.name}
+ |
+
+ #${scc.id?string("00")}
+ <#if scc.legal>
+ (legal)
+ <#else>
+ (illegal)
+ #if>
+ |
+ ⟶ |
+
+ <#list node.dependencies?keys as d>
+ ${d.contract.name}
+ #list>
+ |
+
+ #list>
+
+
+
+
+
+ <#else>
+ Dependency check has not been enabled. Use
--dependency flag to enable it.
+ #if>
+
+
+
+
+
+
+
diff --git a/keyext.proofmanagement/src/main/resources/report/html/report.st b/keyext.proofmanagement/src/main/resources/report/html/report.st
deleted file mode 100644
index 43d1dc7cb85..00000000000
--- a/keyext.proofmanagement/src/main/resources/report/html/report.st
+++ /dev/null
@@ -1,60 +0,0 @@
-
-
- | #$entry.value; format="%02d"$ |
- $names:{name | $entry.key.(name)$ |
- }$
-
\ No newline at end of file
diff --git a/keyext.proofmanagement/src/main/resources/report/html/settings/settings.st b/keyext.proofmanagement/src/main/resources/report/html/settings/settings.st
deleted file mode 100644
index 14713005818..00000000000
--- a/keyext.proofmanagement/src/main/resources/report/html/settings/settings.st
+++ /dev/null
@@ -1,12 +0,0 @@
-