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

Open shaobo-he opened this issue 3 years ago • 1 comments

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

Mar 01 '22 21:03 shaobo-he

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.

Mar 02 '22 06:03 shaobo-he