From adc3966d554ce3cde6b8550641758be00a8c0178 Mon Sep 17 00:00:00 2001 From: iamrajiv Date: Mon, 17 Feb 2025 09:13:34 +0530 Subject: [PATCH] validate: Add error for linearizability watch validation - Introduce new error `errBrokeLinearizable` to detect watch events that violate linearization order - Enhance watch validation robustness by tracking potential linearizability issues --- tests/robustness/validate/watch.go | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/robustness/validate/watch.go b/tests/robustness/validate/watch.go index 506cbeca431f..ba8fa72a28d6 100644 --- a/tests/robustness/validate/watch.go +++ b/tests/robustness/validate/watch.go @@ -35,6 +35,7 @@ var ( errBrokePrevKV = errors.New("incorrect event prevValue") errBrokeIsCreate = errors.New("incorrect event IsCreate") errBrokeFilter = errors.New("event not matching watch filter") + errBrokeLinearizable = errors.New("broke linearizable property: watch events don't match linearization order") ) func validateWatch(lg *zap.Logger, cfg Config, reports []report.ClientReport, replay *model.EtcdReplay) error {