Duplicate `unused` variables are generated

AeneasVerif / eurydice

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

Apache License 2.0

21 stars 1 forks source link

Closed franziskuskiefer closed 2 months ago

franziskuskiefer commented 2 months ago

The code before this change generated two unused slices for the calls of the kdf function.