Skip to content

Commit

Permalink
Run brillig_oracle with test, not execute
Browse files Browse the repository at this point in the history
  • Loading branch information
aakoshh committed Jan 6, 2025
1 parent 039f69b commit 941415a
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 3 deletions.
2 changes: 0 additions & 2 deletions test_programs/execution_success/brillig_oracle/Prover.toml

This file was deleted.

Original file line number Diff line number Diff line change
@@ -1,6 +1,11 @@
use std::slice;
use std::test::OracleMock;

#[test]
fn test_main() {
main(10);
}

// Tests oracle usage in brillig/unconstrained functions
fn main(_x: Field) {
unsafe {
Expand Down Expand Up @@ -46,4 +51,3 @@ unconstrained fn get_number_sequence_wrapper(size: Field) {
assert(slice[i] == reversed_slice[19 - i]);
}
}

0 comments on commit 941415a

Please sign in to comment.