Skip to content

Commit

Permalink
format
Browse files Browse the repository at this point in the history
  • Loading branch information
FrancoGiachetta committed Oct 4, 2024
1 parent 602b37b commit 80d280e
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 10 deletions.
7 changes: 6 additions & 1 deletion src/test_utils.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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};

Expand Down
12 changes: 3 additions & 9 deletions src/vm/int128.rs
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,6 @@ pub fn eval(
selector: &Sint128Concrete,
args: Vec<Value>,
) -> EvalAction {

match selector {
Sint128Concrete::Const(info) => todo!("1"),
Sint128Concrete::Operation(info) => eval_operation(registry, info, args),
Expand All @@ -44,13 +43,6 @@ fn eval_diff(
panic!()
};

dbg!(_selector
.signature
.branch_signatures
.iter()
.map(|x| x.vars.iter().map(|x| &x.ty).collect::<Vec<_>>())
.collect::<Vec<_>>());

if lhs >= rhs {
EvalAction::NormalBranch(
0,
Expand Down Expand Up @@ -180,7 +172,9 @@ mod tests {
use core::integer;

fn main() -> i128 {
0x7fffffffffffffffffffffffffffffff_felt252.try_into().unwrap()
0x7fffffffffffffffffffffffffffffff_felt252
.try_into()
.unwrap()
}
);

Expand Down

0 comments on commit 80d280e

Please sign in to comment.