Add a way to pass cargo options to `charon` - Githubissues

AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification

Apache License 2.0

62 stars 15 forks source link

Add a way to pass cargo options to `charon` #253

Closed Nadrieril closed 2 weeks ago