Skip to main content

check_alias_vm

rapx::verify::vm::alias

Function check_alias_vm 

Source 
pub fn check_alias_vm<'ctx, 'tcx>(
    vm_state: &VmState<'ctx, 'tcx>,
    checkpoint: &Checkpoint<'tcx>,
    _property: &Property<'tcx>,
) -> VmAliasResult
Expand description

Run the full alias hazard check for the VM backend.

This is the function the PropertyChecker::check_alias delegates to.