search

gernst / korn

Other
8 stars 2 forks source link

Build with `make` requires `quantile-generator.py` #1

Closed mgudemann closed 3 years ago

mgudemann commented 3 years ago

Building korn using make fails with

[chmod] korn.sh
~/tools/benchexec/contrib/plots/quantile-generator.py --correct test/2020-10-10.results/eld-summaries-900.2020-10-10_15-36-15.results.sv-comp20_prop-reachsafety.xml.bz2 > test/2020-10-10.results/eld-summaries-900.2020-10-10_15-36-15.csv
/bin/sh: 1: $HOME/tools/benchexec/contrib/plots/quantile-generator.py: not found
make: *** [Makefile:93: test/2020-10-10.results/eld-summaries-900.2020-10-10_15-36-15.csv] Error 127

Is this required or is this only for benchmarking?

gernst commented 3 years ago

Thanks for reporting, should work now.

mgudemann commented 3 years ago

@gernst thanks, does work now