pub unsafe extern "C" fn vampire_reset()Expand description
Fully reset the Vampire state for a fresh start. This resets all static caches, clears the signature, and reinitializes the environment. After calling this, the state is as if Vampire was just started.
Call this between proofs if you want to reuse symbol names without conflicts, or to prevent memory growth from accumulated symbols and caches.