Skip to main content

deserialize_llbc_with_format

charon_lib

Function deserialize_llbc_with_format 

Source 
pub fn deserialize_llbc_with_format(
    path: &Path,
    format: SerializationFormat,
) -> Result<TranslatedCrate>
Expand description

Read a serialized (U)LLBC file.