Skip to main content

PROCESS_KEY_FLAG

Constant PROCESS_KEY_FLAG 

Source
pub const PROCESS_KEY_FLAG: i64 = _ /* 1_099_511_627_776i64 */;
Expand description

Set in a disable key (sv_rt_proc_assert_disable) that names a whole process rather than a procedural assertion: the low bits are the process’s plan index (register_process). Disabling a process’s outermost scope also flushes its deferred assertion report queue (LRM 16.4.4).