aboutsummaryrefslogtreecommitdiffstats
path: root/common/kernel
diff options
context:
space:
mode:
authorgatecat <gatecat@ds0.me>2023-01-02 09:33:11 +0100
committergatecat <gatecat@ds0.me>2023-01-02 09:33:11 +0100
commitf89b959b5f56ba8d91e1e7f8a645b267a5a7bb89 (patch)
tree2640323b2109f14111ce39f6f88dab1937a625dd /common/kernel
parent5cea801a2fdb71a23b2ccfe1b64e95cfa34d6242 (diff)
downloadnextpnr-f89b959b5f56ba8d91e1e7f8a645b267a5a7bb89.tar.gz
nextpnr-f89b959b5f56ba8d91e1e7f8a645b267a5a7bb89.tar.bz2
nextpnr-f89b959b5f56ba8d91e1e7f8a645b267a5a7bb89.zip
clangformat
Signed-off-by: gatecat <gatecat@ds0.me>
Diffstat (limited to 'common/kernel')
-rw-r--r--common/kernel/command.cc5
1 files changed, 3 insertions, 2 deletions
diff --git a/common/kernel/command.cc b/common/kernel/command.cc
index 65aa0299..bf785148 100644
--- a/common/kernel/command.cc
+++ b/common/kernel/command.cc
@@ -190,7 +190,8 @@ po::options_description CommandHandler::getGeneralOptions()
"placer heap criticality exponent (int, default: 2)");
general.add_options()("placer-heap-timingweight", po::value<int>(), "placer heap timing weight (int, default: 10)");
general.add_options()("placer-heap-cell-placement-timeout", po::value<int>(),
- "allow placer to attempt up to max(10000, total cells^2 / N) iterations to place a cell (int N, default: 8, 0 for no timeout)");
+ "allow placer to attempt up to max(10000, total cells^2 / N) iterations to place a cell (int "
+ "N, default: 8, 0 for no timeout)");
#if !defined(__wasm)
general.add_options()("parallel-refine", "use new experimental parallelised engine for placement refinement");
@@ -332,7 +333,7 @@ void CommandHandler::setupContext(Context *ctx)
if (vm.count("placer-heap-cell-placement-timeout"))
ctx->settings[ctx->id("placerHeap/cellPlacementTimeout")] =
- std::to_string(std::max(0, vm["placer-heap-cell-placement-timeout"].as<int>()));
+ std::to_string(std::max(0, vm["placer-heap-cell-placement-timeout"].as<int>()));
if (vm.count("parallel-refine"))
ctx->settings[ctx->id("placerHeap/parallelRefine")] = true;