Closed GBeauregard closed 6 years ago
These options were set to int which meant, e.g., setting tune_exhaustive=true wasn't working because it needed tune_exhaustive=1. This pull request fixes this so that it works with a boolean as intended.
These options were set to int which meant, e.g., setting tune_exhaustive=true wasn't working because it needed tune_exhaustive=1. This pull request fixes this so that it works with a boolean as intended.