pub fn config_violation(config: &Config) -> Option<&'static str>Expand description
Refuse unsupported InitialImage configuration without changing it.
This first slice excludes PMU/RCB time, maximum/target timeslices, imprecise
timers, chaos and slowdown, preemption recording/replay and stack traces,
schedule replay, and record/replay execution modes. record_host_inputs
remains supported for genuine strict verification. No startup-accounting,
successor exec, fork or thread capability is implied by this predicate.