Skip to main content
Module update_block_indices
charon_
lib
0.1.282
Module update_
block_
indices
Module Items
Structs
In charon_
lib::
transform::
simplify_
output
charon_lib
::
transform
::
simplify_output
Module
update_
block_
indices
Copy item path
Source
Expand description
Renumber rechable blocks to be consecutive and in topological order (ignoring loop backedges).
Structs
ยง
Transform