[style] Fix typo

UnitTestBot · Jul 5, 2023 · fac8369 · fac8369
1 parent b7162d7
commit fac8369
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/include/klee/Solver/SolverCmdLine.h b/include/klee/Solver/SolverCmdLine.h
@@ -70,7 +70,7 @@ extern llvm::cl::opt<CoreSolverType> DebugCrossCheckCoreSolverWith;
 
 extern llvm::cl::opt<bool> ProduceUnsatCore;
 
-extern llvm::cl::opt<unsigned> SymbolicAllocationThreshhold;
+extern llvm::cl::opt<unsigned> SymbolicAllocationThreshold;
 
 #ifdef ENABLE_METASMT
 

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
@@ -5152,7 +5152,7 @@ bool Executor::computeSizes(ExecutionState &state, ref<Expr> size,
   bool success = solver->getResponse(
       state.constraints.cs(),
       UgtExpr::create(symbolicSizesSum,
-                      ConstantExpr::create(SymbolicAllocationThreshhold,
+                      ConstantExpr::create(SymbolicAllocationThreshold,
                                            symbolicSizesSum->getWidth())),
       response, state.queryMetaData);
   solver->setTimeout(time::Span());

diff --git a/lib/Solver/ConcretizingSolver.cpp b/lib/Solver/ConcretizingSolver.cpp
@@ -253,7 +253,7 @@ bool ConcretizingSolver::relaxSymcreteConstraints(const Query &query,
           Query(queryConstraints,
                 UgtExpr::create(
                     symbolicSizesSum,
-                    ConstantExpr::create(SymbolicAllocationThreshhold,
+                    ConstantExpr::create(SymbolicAllocationThreshold,
                                          symbolicSizesSum->getWidth()))),
           response)) {
     return false;

diff --git a/lib/Solver/SolverCmdLine.cpp b/lib/Solver/SolverCmdLine.cpp
@@ -220,8 +220,8 @@ llvm::cl::opt<bool>
                      llvm::cl::desc("Produce unsat core (default=true)."),
                      llvm::cl::cat(klee::SolvingCat));
 
-llvm::cl::opt<unsigned> SymbolicAllocationThreshhold(
-    "symbolic-allocation-threshhold",
+llvm::cl::opt<unsigned> SymbolicAllocationThreshold(
+    "symbolic-allocation-threshold",
     llvm::cl::desc("Maximum possible sum of sizes for all symbolic allocation "
                    "before minimazation (default 1Kb)"),
     llvm::cl::init(1024), llvm::cl::cat(klee::SolvingCat));