cargo fmt

twizmwazin · Nov 1, 2024 · 9e903ca · 9e903ca
1 parent a32c474
commit 9e903ca
Show file tree

Hide file tree

Showing 3 changed files with 40 additions and 8 deletions.
diff --git a/crates/clarirs_py/src/ast/bv.rs b/crates/clarirs_py/src/ast/bv.rs
@@ -24,7 +24,11 @@ impl BV {
         Self::new_with_name(py, inner, None)
     }
 
-    pub fn new_with_name(py: Python, inner: &BitVecAst<'static>, name: Option<String>) -> Result<Py<BV>, ClaripyError> {
+    pub fn new_with_name(
+        py: Python,
+        inner: &BitVecAst<'static>,
+        name: Option<String>,
+    ) -> Result<Py<BV>, ClaripyError> {
         if let Some(cache_hit) = PY_BV_CACHE.get(&inner.hash()).and_then(|cache_hit| {
             cache_hit
                 .bind(py)
@@ -405,7 +409,12 @@ impl BV {
 }
 
 #[pyfunction(signature = (name, size, explicit_name = false))]
-pub fn BVS(py: Python, name: String, size: u32, explicit_name: bool) -> Result<Py<BV>, ClaripyError> {
+pub fn BVS(
+    py: Python,
+    name: String,
+    size: u32,
+    explicit_name: bool,
+) -> Result<Py<BV>, ClaripyError> {
     let name: String = if explicit_name {
         name.to_string()
     } else {

diff --git a/crates/clarirs_py/src/ast/fp.rs b/crates/clarirs_py/src/ast/fp.rs
@@ -1,6 +1,9 @@
 #![allow(non_snake_case)]
 
-use std::sync::{atomic::{AtomicUsize, Ordering}, LazyLock};
+use std::sync::{
+    atomic::{AtomicUsize, Ordering},
+    LazyLock,
+};
 
 use dashmap::DashMap;
 use pyo3::types::{PyFrozenSet, PyWeakrefReference};
@@ -104,7 +107,11 @@ impl FP {
         Self::new_with_name(py, inner, None)
     }
 
-    pub fn new_with_name(py: Python, inner: &FloatAst<'static>, name: Option<String>) -> Result<Py<FP>, ClaripyError> {
+    pub fn new_with_name(
+        py: Python,
+        inner: &FloatAst<'static>,
+        name: Option<String>,
+    ) -> Result<Py<FP>, ClaripyError> {
         if let Some(cache_hit) = PY_FP_CACHE.get(&inner.hash()).and_then(|cache_hit| {
             cache_hit
                 .bind(py)
@@ -175,7 +182,12 @@ impl FP {
 }
 
 #[pyfunction(signature = (name, sort, explicit_name = false))]
-pub fn FPS(py: Python, name: &str, sort: PyFSort, explicit_name: bool) -> Result<Py<FP>, ClaripyError> {
+pub fn FPS(
+    py: Python,
+    name: &str,
+    sort: PyFSort,
+    explicit_name: bool,
+) -> Result<Py<FP>, ClaripyError> {
     let name: String = if explicit_name {
         name.to_string()
     } else {

diff --git a/crates/clarirs_py/src/ast/string.rs b/crates/clarirs_py/src/ast/string.rs
@@ -1,6 +1,9 @@
 #![allow(non_snake_case)]
 
-use std::sync::{atomic::{AtomicUsize, Ordering}, LazyLock};
+use std::sync::{
+    atomic::{AtomicUsize, Ordering},
+    LazyLock,
+};
 
 use dashmap::DashMap;
 use pyo3::types::{PyFrozenSet, PyWeakrefReference};
@@ -21,7 +24,11 @@ impl PyAstString {
         Self::new_with_name(py, inner, None)
     }
 
-    pub fn new_with_name(py: Python, inner: &StringAst<'static>, name: Option<String>) -> Result<Py<PyAstString>, ClaripyError> {
+    pub fn new_with_name(
+        py: Python,
+        inner: &StringAst<'static>,
+        name: Option<String>,
+    ) -> Result<Py<PyAstString>, ClaripyError> {
         if let Some(cache_hit) = PY_STRING_CACHE.get(&inner.hash()).and_then(|cache_hit| {
             cache_hit
                 .bind(py)
@@ -90,7 +97,11 @@ impl PyAstString {
 }
 
 #[pyfunction(signature = (name, explicit_name = false))]
-pub fn StringS(py: Python, name: &str, explicit_name: bool) -> Result<Py<PyAstString>, ClaripyError> {
+pub fn StringS(
+    py: Python,
+    name: &str,
+    explicit_name: bool,
+) -> Result<Py<PyAstString>, ClaripyError> {
     let name: String = if explicit_name {
         name.to_string()
     } else {