SVF code formatter

SVF-tools · May 9, 2024 · 45cc769 · 45cc769
1 parent 1d249d3
commit 45cc769
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/svf/include/AE/Core/AbstractValue.h b/svf/include/AE/Core/AbstractValue.h
@@ -126,13 +126,15 @@ class AbstractValue
         return *this;
     }
 
-    AbstractValue& operator=(const IntervalValue& other) {
+    AbstractValue& operator=(const IntervalValue& other)
+    {
         type = IntervalType;
         interval = other;
         return *this;
     }
 
-    AbstractValue& operator=(const AddressValue& other) {
+    AbstractValue& operator=(const AddressValue& other)
+    {
         type = AddressType;
         addr = other;
         return *this;

diff --git a/svf/include/AE/Svfexe/AbstractInterpretation.h b/svf/include/AE/Svfexe/AbstractInterpretation.h
@@ -365,7 +365,7 @@ class AbstractInterpretation
 protected:
     // helper functions in handleCycle
     bool isFixPointAfterWidening(const ICFGNode* cycle_head,
-                           AbstractState& pre_as);
+                                 AbstractState& pre_as);
     bool isFixPointAfterNarrowing(const SVF::ICFGNode* cycle_head,
                                   SVF::AbstractState& pre_as);