// Copyright lowRISC contributors (OpenTitan project).
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0

// Use most pessimistic X propagation.
merge = xmerge;

// Turn on xprop for dut only.
instance { tb.dut } { xpropOn };

// Modules excluded from xprop instrumentation.
module { prim_cdc_rand_delay } { xpropOff };
