# Application-specific options for the GRTC lost-COMPARE reproduction.

mainmenu "GRTC lost-COMPARE reproduction"

config GRTC_REPRO_ISOLATED
	bool "Phase A: isolated nrfx_grtc_syscounter_cc_abs_set() race"
	default y
	help
	  Drives nrfx_grtc_syscounter_cc_abs_set(ch, val, true) directly on a
	  private GRTC channel and counts how often a COMPARE event that the
	  hardware generated is destroyed by the driver's own event clear.
	  Deterministic and fast; independent of the Zephyr timer driver.

config GRTC_REPRO_ISOLATED_ATTEMPTS
	int "Attempts per pass in phase A"
	default 200000
	depends on GRTC_REPRO_ISOLATED
	help
	  Number of attempts in the race pass and in the control pass.

config GRTC_REPRO_TICK_STALL
	bool "Phase B: system-level kernel tick stall"
	default y
	help
	  Reproduces the user-visible symptom: every kernel timeout stops
	  forever. Requires an unpatched Zephyr GRTC driver.

config GRTC_REPRO_TICK_STALL_TIMEOUT_S
	int "Give up after this many seconds without a stall"
	default 300
	depends on GRTC_REPRO_TICK_STALL
	help
	  The pattern sweeps its whole offset window in roughly half a second, so
	  a healthy run reproduces within seconds. This is only a give-up bound.

source "Kconfig.zephyr"
