Skip to content

Commit

Permalink
Add footfall comment
Browse files Browse the repository at this point in the history
  • Loading branch information
maplant committed May 20, 2024
1 parent c1a3f96 commit dc8a57d
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions mobile_verifier/src/boosting_oracles/footfall.rs
Original file line number Diff line number Diff line change
Expand Up @@ -57,6 +57,9 @@ impl HexAssignment for Footfall {
anyhow::bail!("No footfall data set has been loaded");
};

// The footfall disktree maps hexes to a single byte, a value of one indicating
// assignment A and a value of zero indicating assignment B. If no value is present,
// assignment C is given.
match footfall.get(cell)? {
Some((_, &[x])) if x >= 1 => Ok(Assignment::A),
Some((_, &[0])) => Ok(Assignment::B),
Expand Down

0 comments on commit dc8a57d

Please sign in to comment.