From 80d280e3f21cb141a6d39d033e99514cb78dc65f Mon Sep 17 00:00:00 2001 From: FrancoGiachetta Date: Fri, 4 Oct 2024 15:39:35 -0300 Subject: [PATCH] format --- src/test_utils.rs | 7 ++++++- src/vm/int128.rs | 12 +++--------- 2 files changed, 9 insertions(+), 10 deletions(-) diff --git a/src/test_utils.rs b/src/test_utils.rs index ae9d8f7..672ccec 100644 --- a/src/test_utils.rs +++ b/src/test_utils.rs @@ -5,7 +5,12 @@ use cairo_lang_compiler::{ project::setup_project, CompilerConfig, }; use cairo_lang_filesystem::db::init_dev_corelib; -use cairo_lang_sierra::{extensions::{circuit::CircuitTypeConcrete, core::CoreTypeConcrete, starknet::StarkNetTypeConcrete}, program::Program}; +use cairo_lang_sierra::{ + extensions::{ + circuit::CircuitTypeConcrete, core::CoreTypeConcrete, starknet::StarkNetTypeConcrete, + }, + program::Program, +}; use crate::{find_entry_point_by_idx, ProgramTrace, StateDump, Value, VirtualMachine}; diff --git a/src/vm/int128.rs b/src/vm/int128.rs index 6410d44..e1cfd1a 100644 --- a/src/vm/int128.rs +++ b/src/vm/int128.rs @@ -21,7 +21,6 @@ pub fn eval( selector: &Sint128Concrete, args: Vec, ) -> EvalAction { - match selector { Sint128Concrete::Const(info) => todo!("1"), Sint128Concrete::Operation(info) => eval_operation(registry, info, args), @@ -44,13 +43,6 @@ fn eval_diff( panic!() }; - dbg!(_selector - .signature - .branch_signatures - .iter() - .map(|x| x.vars.iter().map(|x| &x.ty).collect::>()) - .collect::>()); - if lhs >= rhs { EvalAction::NormalBranch( 0, @@ -180,7 +172,9 @@ mod tests { use core::integer; fn main() -> i128 { - 0x7fffffffffffffffffffffffffffffff_felt252.try_into().unwrap() + 0x7fffffffffffffffffffffffffffffff_felt252 + .try_into() + .unwrap() } );