From 05c29be14c4fe930030a97cfebfa67277ab8a84c Mon Sep 17 00:00:00 2001
From: Joerg Martin <joerg.martin@ptb.de>
Date: Thu, 13 Jan 2022 15:20:22 +0000
Subject: [PATCH] Removed markers in plot_coverage
---
Experiments/plot_coverage.py | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/Experiments/plot_coverage.py b/Experiments/plot_coverage.py
index ba21039..b7a5116 100644
--- a/Experiments/plot_coverage.py
+++ b/Experiments/plot_coverage.py
@@ -2,7 +2,6 @@
Compute the coverage for various coverage factors and compare them with
with the corresponding q or theoretical coverage. Results will be stored
in various plots in the results/figures folder.
-TODO: Do the latter
"""
import importlib
import os
@@ -361,6 +360,7 @@ plt.clf()
plt.title('Difference coverages')
plt.xlabel('q')
plt.ylabel('EiV cov - nonEiV-cov')
+
# datasets to plot and their coloring
datasets = ['linear', 'quadratic','yacht','wine','power',
'protein','concrete','california','energy','kin8nm','msd','naval']
@@ -438,7 +438,5 @@ plt.savefig('results/figures/summary_th_deviation_coverage_ground_truth.pdf')
plt.figure(7)
plt.savefig('results/figures/summary_difference_coverage.pdf')
-
-
-#####
+# show plots
plt.show()
--
GitLab