Crate driver_hax_frontend_exporter

Modules

callbacks_wrapper 🔒

exporter 🔒

features 🔒

Constants

HAX_VANILLA_RUSTC 🔒

Functions

main 🔒

rustc_sysroot 🔒

setup_logging 🔒

vanilla_rustc 🔒

Re-run rustc without doing any hax translation. This ensures a rlib is produced (when the crate compiles correctly).