Skip to main content

EXTRA_SYMBOLS

miri::sym

Constant EXTRA_SYMBOLS 

Source 
pub const EXTRA_SYMBOLS: &[&str];
Expand description

To be supplied to rustc_interface::Config