Merge pull request klee#20 from delcypher/remove_pointless_loop

Remove unnecessary loop from SolverTest unit test.
august782 · Aug 30, 2013 · 0efeb6c · 0efeb6c
2 parents 8cc2105 + 61a555a
commit 0efeb6c
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/unittests/Solver/SolverTest.cpp b/unittests/Solver/SolverTest.cpp
@@ -61,9 +61,7 @@ void testOperation(Solver &solver,
  // replaced value is appropriated constrained.
  for (unsigned kid = 0; kid < T::numKids; kid++) {
  std::vector<Expr::CreateArg> partiallyConstantArgs(symbolicArgs);
- for (unsigned i = 0; i < T::numKids; i++)
- if (i==kid)
- partiallyConstantArgs[i] = getConstant(value, operandWidth);
+ partiallyConstantArgs[kid] = getConstant(value, operandWidth);
 
  ref<Expr> expr = 
  NotOptimizedExpr::create(EqExpr::create(partiallyConstantArgs[kid].expr,