cargo fmt

twizmwazin · Nov 1, 2024 · f32a4d5 · f32a4d5
1 parent 6c8ccbd
commit f32a4d5
Show file tree

Hide file tree

Showing 5 changed files with 25 additions and 5 deletions.
diff --git a/crates/clarirs_core/src/ast/bitvec.rs b/crates/clarirs_core/src/ast/bitvec.rs
@@ -100,7 +100,11 @@ impl<'c> Op<'c> for BitVecOp<'c> {
 
     fn get_annotations(&self) -> Vec<Annotation> {
         if let BitVecOp::Annotated(inner, anno) = self {
-            inner.get_annotations().into_iter().chain(vec![anno.clone()]).collect()
+            inner
+                .get_annotations()
+                .into_iter()
+                .chain(vec![anno.clone()])
+                .collect()
         } else {
             vec![]
         }

diff --git a/crates/clarirs_core/src/ast/bool.rs b/crates/clarirs_core/src/ast/bool.rs
@@ -115,7 +115,11 @@ impl<'c> Op<'c> for BooleanOp<'c> {
 
     fn get_annotations(&self) -> Vec<Annotation> {
         if let BooleanOp::Annotated(inner, anno) = self {
-            inner.get_annotations().into_iter().chain(vec![anno.clone()]).collect()
+            inner
+                .get_annotations()
+                .into_iter()
+                .chain(vec![anno.clone()])
+                .collect()
         } else {
             vec![]
         }

diff --git a/crates/clarirs_core/src/ast/float.rs b/crates/clarirs_core/src/ast/float.rs
@@ -58,7 +58,11 @@ impl<'c> Op<'c> for FloatOp<'c> {
 
     fn get_annotations(&self) -> Vec<Annotation> {
         if let FloatOp::Annotated(inner, anno) = self {
-            inner.get_annotations().into_iter().chain(vec![anno.clone()]).collect()
+            inner
+                .get_annotations()
+                .into_iter()
+                .chain(vec![anno.clone()])
+                .collect()
         } else {
             vec![]
         }

diff --git a/crates/clarirs_core/src/ast/string.rs b/crates/clarirs_core/src/ast/string.rs
@@ -51,7 +51,11 @@ impl<'c> Op<'c> for StringOp<'c> {
 
     fn get_annotations(&self) -> Vec<Annotation> {
         if let StringOp::Annotated(inner, anno) = self {
-            inner.get_annotations().into_iter().chain(vec![anno.clone()]).collect()
+            inner
+                .get_annotations()
+                .into_iter()
+                .chain(vec![anno.clone()])
+                .collect()
         } else {
             vec![]
         }

diff --git a/crates/clarirs_py/src/ast/string.rs b/crates/clarirs_py/src/ast/string.rs
@@ -106,7 +106,11 @@ impl PyAstString {
         self.inner.depth() == 1
     }
 
-    fn annotate(&self, py: Python, annotation: Bound<PyAny>) -> Result<Py<PyAstString>, ClaripyError> {
+    fn annotate(
+        &self,
+        py: Python,
+        annotation: Bound<PyAny>,
+    ) -> Result<Py<PyAstString>, ClaripyError> {
         let pickle_dumps = py.import_bound("pickle")?.getattr("dumps")?;
         let annotation_bytes = pickle_dumps
             .call1((&annotation,))?