Skip to content

Use SierraGenerator for testing (part 1) #1125

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 13 commits into
base: main
Choose a base branch
from
Open

Use SierraGenerator for testing (part 1) #1125

Show file tree
Hide file tree
Changes from 5 commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
05b25d2
some tests to sierra
FrancoGiachetta Feb 28, 2025
f066443
fix test
FrancoGiachetta Feb 28, 2025
a3502c9
clean cast.rs
FrancoGiachetta Feb 28, 2025
c5eb0c5
Merge branch 'main' into tests-to-sierra-1
FrancoGiachetta Feb 28, 2025
10cfd4a
Merge branch 'main' into tests-to-sierra-1
FrancoGiachetta Mar 6, 2025
bc11b41
fix clippy
FrancoGiachetta Mar 7, 2025
96a0a53
Merge branch 'main' into tests-to-sierra-1
JulianGCalderon Mar 10, 2025
1243c32
reviews
FrancoGiachetta Mar 10, 2025
b2abe2c
remove cairo program
FrancoGiachetta Mar 10, 2025
377cf01
fix casts tests and clippy
FrancoGiachetta Mar 11, 2025
c0362e3
Merge branch 'main' into tests-to-sierra-1
FrancoGiachetta Mar 14, 2025
6f984dd
merge main
FrancoGiachetta Apr 3, 2025
c57e219
Merge branch 'tests-to-sierra-1' of github.com:lambdaclass/cairo_nati…
FrancoGiachetta Apr 3, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
103 changes: 45 additions & 58 deletions src/libfuncs/bool.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -209,65 +209,64 @@ pub fn build_bool_to_felt252<'ctx, 'this>(

#[cfg(test)]
mod test {
use cairo_lang_sierra::extensions::boolean::{
BoolAndLibfunc, BoolNotLibfunc, BoolOrLibfunc, BoolToFelt252Libfunc, BoolXorLibfunc,
};

use crate::{
utils::test::{jit_enum, jit_struct, load_cairo, run_program},
utils::{
sierra_gen::SierraGenerator,
test::{jit_enum, jit_struct, run_sierra_program},
},
values::Value,
};

#[test]
fn run_not() {
let program = load_cairo!(
use array::ArrayTrait;
let program = {
let sierra_generator = SierraGenerator::<BoolNotLibfunc>::default();

fn run_test(a: bool) -> bool {
!a
}
);
sierra_generator.build(&[])
};

let result = run_program(&program, "run_test", &[jit_enum!(0, jit_struct!())]).return_value;
let result = run_sierra_program(&program, &[jit_enum!(0, jit_struct!())]).return_value;
assert_eq!(result, jit_enum!(1, jit_struct!()));

let result = run_program(&program, "run_test", &[jit_enum!(1, jit_struct!())]).return_value;
let result = run_sierra_program(&program, &[jit_enum!(1, jit_struct!())]).return_value;
assert_eq!(result, jit_enum!(0, jit_struct!()));
}

#[test]
fn run_and() {
let program = load_cairo!(
use array::ArrayTrait;
let program = {
let sierra_generator = SierraGenerator::<BoolAndLibfunc>::default();

fn run_test(a: bool, b: bool) -> bool {
a && b
}
);
sierra_generator.build(&[])
};

let result = run_program(
let result = run_sierra_program(
&program,
"run_test",
&[jit_enum!(1, jit_struct!()), jit_enum!(1, jit_struct!())],
)
.return_value;
assert_eq!(result, jit_enum!(1, jit_struct!()));

let result = run_program(
let result = run_sierra_program(
&program,
"run_test",
&[jit_enum!(1, jit_struct!()), jit_enum!(0, jit_struct!())],
)
.return_value;
assert_eq!(result, jit_enum!(0, jit_struct!()));

let result = run_program(
let result = run_sierra_program(
&program,
"run_test",
&[jit_enum!(0, jit_struct!()), jit_enum!(1, jit_struct!())],
)
.return_value;
assert_eq!(result, jit_enum!(0, jit_struct!()));

let result = run_program(
let result = run_sierra_program(
&program,
"run_test",
&[jit_enum!(0, jit_struct!()), jit_enum!(0, jit_struct!())],
)
.return_value;
Expand All @@ -276,41 +275,35 @@ mod test {

#[test]
fn run_xor() {
let program = load_cairo!(
use array::ArrayTrait;
let program = {
let sierra_generator = SierraGenerator::<BoolXorLibfunc>::default();

fn run_test(a: bool, b: bool) -> bool {
a ^ b
}
);
sierra_generator.build(&[])
};

let result = run_program(
let result = run_sierra_program(
&program,
"run_test",
&[jit_enum!(1, jit_struct!()), jit_enum!(1, jit_struct!())],
)
.return_value;
assert_eq!(result, jit_enum!(0, jit_struct!()));

let result = run_program(
let result = run_sierra_program(
&program,
"run_test",
&[jit_enum!(1, jit_struct!()), jit_enum!(0, jit_struct!())],
)
.return_value;
assert_eq!(result, jit_enum!(1, jit_struct!()));

let result = run_program(
let result = run_sierra_program(
&program,
"run_test",
&[jit_enum!(0, jit_struct!()), jit_enum!(1, jit_struct!())],
)
.return_value;
assert_eq!(result, jit_enum!(1, jit_struct!()));

let result = run_program(
let result = run_sierra_program(
&program,
"run_test",
&[jit_enum!(0, jit_struct!()), jit_enum!(0, jit_struct!())],
)
.return_value;
Expand All @@ -319,41 +312,35 @@ mod test {

#[test]
fn run_or() {
let program = load_cairo!(
use array::ArrayTrait;
let program = {
let sierra_generator = SierraGenerator::<BoolOrLibfunc>::default();

fn run_test(a: bool, b: bool) -> bool {
a || b
}
);
sierra_generator.build(&[])
};

let result = run_program(
let result = run_sierra_program(
&program,
"run_test",
&[jit_enum!(1, jit_struct!()), jit_enum!(1, jit_struct!())],
)
.return_value;
assert_eq!(result, jit_enum!(1, jit_struct!()));

let result = run_program(
let result = run_sierra_program(
&program,
"run_test",
&[jit_enum!(1, jit_struct!()), jit_enum!(0, jit_struct!())],
)
.return_value;
assert_eq!(result, jit_enum!(1, jit_struct!()));

let result = run_program(
let result = run_sierra_program(
&program,
"run_test",
&[jit_enum!(0, jit_struct!()), jit_enum!(1, jit_struct!())],
)
.return_value;
assert_eq!(result, jit_enum!(1, jit_struct!()));

let result = run_program(
let result = run_sierra_program(
&program,
"run_test",
&[jit_enum!(0, jit_struct!()), jit_enum!(0, jit_struct!())],
)
.return_value;
Expand All @@ -362,16 +349,16 @@ mod test {

#[test]
fn bool_to_felt252() {
let program = load_cairo!(
fn run_test(a: bool) -> felt252 {
bool_to_felt252(a)
}
);
let program = {
let sierra_generator = SierraGenerator::<BoolToFelt252Libfunc>::default();

sierra_generator.build(&[])
};

let result = run_program(&program, "run_test", &[jit_enum!(1, jit_struct!())]).return_value;
let result = run_sierra_program(&program, &[jit_enum!(1, jit_struct!())]).return_value;
assert_eq!(result, Value::Felt252(1.into()));

let result = run_program(&program, "run_test", &[jit_enum!(0, jit_struct!())]).return_value;
let result = run_sierra_program(&program, &[jit_enum!(0, jit_struct!())]).return_value;
assert_eq!(result, Value::Felt252(0.into()));
}
}
Loading
Loading