Generalize `clang-options` into `compiler-options`

smackers / smack

SMACK Software Verifier and Verification Toolchain

http://smackers.github.io

Other

432 stars 82 forks source link

Generalize `clang-options` into `compiler-options` #781

Open shaobo-he opened 2 years ago

shaobo-he commented 2 years ago

We should be able to feed rustc options via this flag.

shaobo-he commented 2 years ago

Ok, this feature does not make sense because a verification of a Rust program actually involves compiling C programs. It only makes sense when we fix the compilation flags of our C libraries.