formatting

Author: omriisack

src/engine/IEngine.h

@@ -44,7 +44,7 @@ class UnsatCertificateNode;
 class IEngine
 {
 public:
-    virtual ~IEngine(){};
+    virtual ~IEngine() {};
 
     enum ExitCode {
         UNSAT = 0,
@@ -216,7 +216,6 @@ class IEngine
      Get the number of PLC lemmas
     */
     virtual unsigned getNumOfLemmas() const = 0;
-
 };
 
 #endif // __IEngine_h__

src/engine/Marabou.cpp

@@ -224,7 +224,7 @@ void Marabou::solveQuery()
         _engine->solve( timeoutInSeconds );
         if ( _engine->shouldProduceProofs() && _engine->getExitCode() == Engine::UNSAT )
             _engine->certifyUNSATCertificate();
-        else if (_engine->shouldProduceProofs())
+        else if ( _engine->shouldProduceProofs() )
             _engine->deleteProofIfExists();
     }
 

src/engine/ReluConstraint.cpp

@@ -583,8 +583,8 @@ List<PiecewiseLinearConstraint::Fix> ReluConstraint::getSmartFixes( ITableau *ta
 
 List<PiecewiseLinearCaseSplit> ReluConstraint::getCaseSplits() const
 {
-        if ( getPhaseStatus() != PHASE_NOT_FIXED )
-            throw MarabouError( MarabouError::REQUESTED_CASE_SPLITS_FROM_FIXED_CONSTRAINT );
+    if ( getPhaseStatus() != PHASE_NOT_FIXED )
+        throw MarabouError( MarabouError::REQUESTED_CASE_SPLITS_FROM_FIXED_CONSTRAINT );
 
     List<PiecewiseLinearCaseSplit> splits;
 

src/proofs/tests/Test_UnsatCertificateNode.h

@@ -39,8 +39,8 @@ class UnsatCertificateNodeTestSuite : public CxxTest::TestSuite
         PiecewiseLinearCaseSplit split1 = splits.back();
         PiecewiseLinearCaseSplit split2 = splits.front();
 
-        auto *child1 = new UnsatCertificateNode( root, split1, 1,0 );
-        auto *child2 = new UnsatCertificateNode( root, split2, 1,0 );
+        auto *child1 = new UnsatCertificateNode( root, split1, 1, 0 );
+        auto *child2 = new UnsatCertificateNode( root, split2, 1, 0 );
 
         TS_ASSERT_EQUALS( child1->getParent(), root );
         TS_ASSERT_EQUALS( child2->getParent(), root );