From 6def304cdf37e07e47ecf3c147b724682dac01d0 Mon Sep 17 00:00:00 2001
From: Jan Schmitz <44864658+danjujan@users.noreply.github.com>
Date: Fri, 10 Nov 2023 13:25:47 +0100
Subject: [PATCH] Add excluded options workaround for xz

---
 varats/varats/plots/llvm_coverage_plot.py | 45 +++++++++++++++--------
 1 file changed, 29 insertions(+), 16 deletions(-)

diff --git a/varats/varats/plots/llvm_coverage_plot.py b/varats/varats/plots/llvm_coverage_plot.py
index ce80ba1a9..668cc09c9 100644
--- a/varats/varats/plots/llvm_coverage_plot.py
+++ b/varats/varats/plots/llvm_coverage_plot.py
@@ -247,28 +247,41 @@
 # Workaround BDD displaying equivalent but negated formula.
 EXCLUDED_OPTIONS = {
     # SynthDADynamicDispatch
-    "brut-force": ["hashing", "sorting"],
-    "hashing": ["brut-force", "sorting"],
-    "sorting": ["hashing", "brut-force"],
+    #"brut-force": ["hashing", "sorting"],
+    #"hashing": ["brut-force", "sorting"],
+    #"sorting": ["hashing", "brut-force"],
 
     # SynthIPRuntime
-    "d": ["c"],
-    "c": ["d"],
-    "1": ["d"],
-    "2": ["d"],
+    #"d": ["c"],
+    #"c": ["d"],
+    #"1": ["d"],
+    #"2": ["d"],
 
     #SynthSAContextSensitivity
-    "mem 0": ["mem 1020", "mem 1275", "mem 255", "mem 510", "mem 765"],
-    "mem 1020": ["mem 0", "mem 1275", "mem 255", "mem 510", "mem 765"],
-    "mem 1275": ["mem 1020", "mem 0", "mem 255", "mem 510", "mem 765"],
-    "mem 255": ["mem 1020", "mem 1275", "mem 0", "mem 510", "mem 765"],
-    "mem 510": ["mem 1020", "mem 1275", "mem 255", "mem 0", "mem 765"],
-    "mem 765": ["mem 1020", "mem 1275", "mem 255", "mem 510", "mem 0"],
+    #"mem 0": ["mem 1020", "mem 1275", "mem 255", "mem 510", "mem 765"],
+    #"mem 1020": ["mem 0", "mem 1275", "mem 255", "mem 510", "mem 765"],
+    #"mem 1275": ["mem 1020", "mem 0", "mem 255", "mem 510", "mem 765"],
+    #"mem 255": ["mem 1020", "mem 1275", "mem 0", "mem 510", "mem 765"],
+    #"mem 510": ["mem 1020", "mem 1275", "mem 255", "mem 0", "mem 765"],
+    #"mem 765": ["mem 1020", "mem 1275", "mem 255", "mem 510", "mem 0"],
 
     # bzip2
-    "compress": ["decompress", "test"],
-    "decompress": ["compress", "test"],
-    "test": ["decompress", "compress"],
+    #"compress": ["decompress", "test"],
+    #"decompress": ["compress", "test"],
+    #"test": ["decompress", "compress"],
+
+    # gzip
+    # No alternative options since compress cannot be explicitly enabled
+    # through command-line option
+
+    # xz
+    "compress": ["decompress", "list", "test"],
+    "list": ["decompress", "compress", "test"],
+    "test": ["list", "compress"],
+    "decompress": ["list", "compress"],
+    "robot": ["compress", "decompress", "test"],
+    "format=auto": ["format=xz"],
+    "format=xz": ["format=auto"],
 }