Format

src/cmd_parser.cpp

@@ -743,7 +743,8 @@ bool CmdParser::parseNextCommand()
           Expr rhs = p[1];
           d_eparser.ensureBound(rhs, bvs);
           // TODO: allow variable or default case?
-          for (size_t i = 1, nchildren = pc.getNumChildren(); i < nchildren; i++)
+          for (size_t i = 1, nchildren = pc.getNumChildren(); i < nchildren;
+               i++)
           {
             Expr ecc = pc[i];
             if (ecc.isEvaluatable())

src/expr.cpp

@@ -67,7 +67,7 @@ void ExprValue::computeFlags()
     std::vector<ExprValue*>& children = cur->d_children;
     if (children.empty())
     {
-      bool isEval = (ck==Kind::PROGRAM_CONST || ck==Kind::ORACLE);
+      bool isEval = (ck == Kind::PROGRAM_CONST || ck == Kind::ORACLE);
       bool isNonGround = (ck==Kind::PARAM);
       cur->setFlag(Flag::IS_EVAL, isEval);
       cur->setFlag(Flag::IS_NON_GROUND, isNonGround);

src/expr.h

@@ -61,20 +61,20 @@ class ExprValue
   Kind d_kind;
   /** The children of this expression */
   std::vector<ExprValue*> d_children;
-  /** 
-   * Flags, indicating properties of the term. 
+  /**
+   * Flags, indicating properties of the term.
    */
   enum class Flag
   {
     NONE = 0,
     /** Have we computed the flags for this term? */
     IS_FLAGS_COMPUTED = (1 << 0),
-    /** 
+    /**
      * Is the term "evaluatable", i.e. contains a literal op, program or oracle
      * as a subterm?
      */
     IS_EVAL = (1 << 1),
-    /** 
+    /**
      * Is the term non-ground, i.e. contains a parameter as a subterm?
      */
     IS_NON_GROUND = (1 << 2),