diff --git a/replay-ui/src/routes/RunDetail.tsx b/replay-ui/src/routes/RunDetail.tsx index 8063816..eab5ca9 100644 --- a/replay-ui/src/routes/RunDetail.tsx +++ b/replay-ui/src/routes/RunDetail.tsx @@ -126,6 +126,8 @@ export default function RunDetail() { const violationsAfter = nextStep?.violations ?? violationsBefore; const residualsBefore = currentStep?.residuals; const residualsAfter = nextStep?.residuals ?? residualsBefore; + const witnessesBefore = currentStep?.witnesses; + const witnessesAfter = nextStep?.witnesses ?? witnessesBefore; const exceptionsForStep = currentStep?.exceptions; const beforeTabs: TabDefinition[] = [ @@ -157,8 +159,10 @@ export default function RunDetail() { propertyNames={history?.names ?? []} violations={violationsBefore} residuals={residualsBefore} + witnesses={witnessesBefore} onJumpToFirstViolation={jumpToFirstViolation} hasFirstViolation={history?.firstViolationStep !== undefined} + onJumpToStep={goTo} /> ), }, @@ -176,8 +180,10 @@ export default function RunDetail() { propertyNames={history?.names ?? []} violations={violationsBefore} residuals={residualsBefore} + witnesses={witnessesBefore} onJumpToFirstViolation={jumpToFirstViolation} hasFirstViolation={history?.firstViolationStep !== undefined} + onJumpToStep={goTo} violationsOnly /> ), @@ -213,8 +219,10 @@ export default function RunDetail() { propertyNames={history?.names ?? []} violations={violationsAfter} residuals={residualsAfter} + witnesses={witnessesAfter} onJumpToFirstViolation={jumpToFirstViolation} hasFirstViolation={history?.firstViolationStep !== undefined} + onJumpToStep={goTo} /> ), }, @@ -232,8 +240,10 @@ export default function RunDetail() { propertyNames={history?.names ?? []} violations={violationsAfter} residuals={residualsAfter} + witnesses={witnessesAfter} onJumpToFirstViolation={jumpToFirstViolation} hasFirstViolation={history?.firstViolationStep !== undefined} + onJumpToStep={goTo} violationsOnly /> ),