Skip to main content

INT_WIDTH

logicaffeine_tv::symexec

Constant INT_WIDTH 

Source 
pub const INT_WIDTH: u32 = 64;
Expand description

Bit width used to model LOGOS Int (native i64).