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.
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
Trace to Prover Refactor #23
Conversation
tests/integration_tests.rs
Outdated
program.push(memory.get(&i).unwrap().clone()); | ||
} | ||
// This should be auto calculated | ||
let padded_trace_length = next_power_of_two(memory.len() as u64) as usize; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The stdlib already gives us a method to find the next power of 2;
let padded_trace_length = next_power_of_two(memory.len() as u64) as usize; | |
let padded_trace_length = memory.len().next_power_of_two(); |
src/cairo_run/run.rs
Outdated
/// Uses [cairo-rs](https://github.com/lambdaclass/cairo-rs/) project to run the program. | ||
/// | ||
/// # Params | ||
/// | ||
/// `entrypoint_function` - the name of the entrypoint function tu run. If `None` is provided, the default value is `main`. | ||
/// `layout` - type of layout of Cairo. | ||
/// `layout` - type of layout of Cairo. `` |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The trailing quotes look strange here.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Very nice!
Codecov Report
@@ Coverage Diff @@
## main #23 +/- ##
==========================================
- Coverage 98.48% 97.92% -0.56%
==========================================
Files 31 33 +2
Lines 4818 4872 +54
==========================================
+ Hits 4745 4771 +26
- Misses 73 101 +28
... and 1 file with indirect coverage changes 📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
🎉
We need another refactor, and after optimization make a bigger test suite to be run in the CI