Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
Hasekawa-Takumi committed Apr 21, 2024
1 parent 1a01e3d commit cb05181
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions basic/src/bin/valida.rs
Original file line number Diff line number Diff line change
Expand Up @@ -99,7 +99,7 @@ impl Context {
if self.stopped_ == StoppingFlag::DidStop {
return (StoppingFlag::DidStop, 0);
}
let state = self.machine_.step(&mut StdinAdviceProvider);
let state = self.machine_.step(&mut self.advice);
let pc = self.machine_.cpu().pc;
let fp = self.machine_.cpu().fp;

Expand Down Expand Up @@ -338,7 +338,7 @@ fn main() {
machine.static_data_mut().load(data);

// Run the program
machine.run(&code, &mut StdinAdviceProvider);
machine.run(&code, &mut GlobalAdviceProvider::new(&args.advice));

type Val = BabyBear;
type Challenge = BinomialExtensionField<Val, 5>;
Expand Down

0 comments on commit cb05181

Please sign in to comment.