ULLBC_PASSES
charon_
lib
0.1.142
In charon_
lib::
transform
charon_lib
::
transform
Static
ULLBC_
PASSES
Copy item path
Source
pub static ULLBC_PASSES: &[
Pass
]
Expand description
Body cleanup passes on the ullbc.