hotfix for hax: do not alias mutable variable

openwsn-berkeley / lakers

EDHOC implemented in Rust, optimized for microcontrollers, with bindings for C and Python.

https://crates.io/crates/lakers

BSD 3-Clause "New" or "Revised" License

12 stars 10 forks source link

Closed geonnave closed 8 months ago

geonnave commented 8 months ago

Temporary fix so that hax will be happy.

The proper solution is to refactor state from a tuple-struct into a regular struct.