Fix duplicate globals analysis blocks

For goblint/analyzer#469.
goblint · Dec 1, 2021 · 49ea2ed · 49ea2ed
1 parent 279681b
commit 49ea2ed
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/resources/globals.xsl b/resources/globals.xsl
@@ -58,7 +58,8 @@
   </xsl:template>
 
   <xsl:template match="globs">
-    <xsl:for-each select="glob[1]/analysis" >
+    <!-- https://stackoverflow.com/questions/2291567/how-to-use-xslt-to-create-distinct-values#comment38881974_18886096 -->
+    <xsl:for-each select="glob/analysis[not(./@name=preceding::*/@name)]" >
       <xsl:variable name="analysis" select="@name"/>
       <div class="toggle">
         <span>