We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
The chiplet virtual table doesn't sum to 1 (due to the kernel ROM part) when there is more than 1 kernel procedure exported.
Failing test:
#[test] fn simple_syscall_2() { let kernel_source = " export.foo add end export.bar mul end "; let program_source = " begin syscall.foo syscall.bar end"; // TODO: update and use macro? let mut test = Test::new(&format!("test{}", line!()), program_source, false); test.stack_inputs = StackInputs::try_from_ints([3, 2, 1]).unwrap(); test.kernel_source = Some( test.source_manager .load(&format!("kernel{}", line!()), kernel_source.to_string()), ); test.expect_stack(&[9]); test.prove_and_verify(vec![3, 2, 1], false); }
The text was updated successfully, but these errors were encountered:
Not the same issue but maybe related: the check for block stack table was disabled in #1553 (comment) because it also seems to have an issue.
Sorry, something went wrong.
Do we still need to address TODO here to close this issue?
No branches or pull requests
The chiplet virtual table doesn't sum to 1 (due to the kernel ROM part) when there is more than 1 kernel procedure exported.
Failing test:
The text was updated successfully, but these errors were encountered: