mcrl2_sys::atermpp::ffi

Function enable_automatic_garbage_collection

Source
pub fn enable_automatic_garbage_collection(enabled: bool)
Expand description

Enable automated garbage collection.

ยงWarning

This will deadlock when any Rust terms are created due to the interaction with the busy flags. Instead, call collect_garbage periodically to trigger garbage collection when needed.