From 45cc7691cb0b87b0c735951963ec3b719865a429 Mon Sep 17 00:00:00 2001
From: GitHub Actions Build <rockysui@gmail.com>
Date: Thu, 9 May 2024 11:38:28 +0000
Subject: [PATCH] SVF code formatter

---
 svf/include/AE/Core/AbstractValue.h            | 6 ++++--
 svf/include/AE/Svfexe/AbstractInterpretation.h | 2 +-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/svf/include/AE/Core/AbstractValue.h b/svf/include/AE/Core/AbstractValue.h
index d0d6fca27..46f4459d9 100644
--- 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
index bc5a5a3ea..9eedfeffa 100644
--- 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);