From 46c50cdd7e06c93270af0557e580a743844a9428 Mon Sep 17 00:00:00 2001 From: Cedric Nugteren Date: Sat, 13 Oct 2018 17:47:29 +0200 Subject: [PATCH] Made tuning API more flexible: disregards any extra parameter values --- src/api_common.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api_common.cpp b/src/api_common.cpp index 4e08f1ef..4a4d5f8c 100644 --- a/src/api_common.cpp +++ b/src/api_common.cpp @@ -161,7 +161,7 @@ StatusCode OverrideParameters(const RawDeviceID device, const std::string &kerne // Verifies the parameters size const auto current_parameter_names = current_database.GetParameterNames(); - if (current_parameter_names.size() != parameters.size()) { + if (current_parameter_names.size() > parameters.size()) { return StatusCode::kMissingOverrideParameter; }