search

sneeuwballen / benchpress

Testing and benchmarking tool for logic-related programs.
BSD 2-Clause "Simplified" License
26 stars 8 forks source link

Plots fails when using custom tags #33

Closed Gbury closed 4 years ago

Gbury commented 4 years ago

It looks like the data points given to plots only contain sat/unsat/... results (i.e. builtins tags), but ignores custom tags. For a run that only uses custom tags this result in the following error (from benchpress-server logs):

         line 1: warning: Skipping data file with no valid points

gnuplot> plot  '-' using 1:2 with linespoints t "dolmen"
                                                        ^
         line 1: x range is invalid