cfg_if::cfg_if! {
if #[cfg(sp1_use_native_executor)] {
mod x86_64;
pub use x86_64::*;
}
else if #[cfg(all(sp1_native_executor_available, feature = "profiling"))] {
mod portable;
pub use portable::*;
#[cfg(test)]
#[allow(dead_code)]
pub mod x86_64;
}
else {
mod portable;
pub use portable::*;
}
}