diff --git a/Experiments/plot_coverage.py b/Experiments/plot_coverage.py index ba21039aacbf8a02fc65303d4400c54a53938218..b7a511645c34f2dd62f693e037db36ec05111696 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()