Skip to content

traceEvents: do not stop at TraceRacesFound - #272

Open
jasagredo wants to merge 1 commit into
IntersectMBO:mainfrom
jasagredo:fix-traceEvents-races-found
Open

jasagredo wants to merge 1 commit into
IntersectMBO:mainfrom
jasagredo:fix-traceEvents-races-found

Conversation

@jasagredo

Copy link
Copy Markdown
Contributor

traceEvents matched SimTrace and SimPORTrace, and ended the list at any other node. A trace from controlSimTrace has TraceRacesFound nodes, so traceEvents returned only the events before the first one: of a replayed schedule, typically almost nothing. The selectTraceEvents functions already skip SimRacesFound; traceEvents now does too.

@jasagredo
jasagredo requested a review from a team as a code owner November 13, 2026 13:07
traceEvents matched SimTrace and SimPORTrace, and ended the list at any
other node. A trace from controlSimTrace has TraceRacesFound nodes, so
traceEvents returned only the events before the first one: of a replayed
schedule, typically almost nothing. The selectTraceEvents functions
already skip SimRacesFound; traceEvents now does too.
@jasagredo
jasagredo force-pushed the fix-traceEvents-races-found branch from 95a0764 to 71fceb0 Compare November 13, 2026 13:08

@coot coot left a comment •

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This fixes a symptom not the cause. The idea was that TraceRacesFound is an internal API and there's no reason to exposed it to the user. The cause of the problem is the controlSimTrace. We need a private version of controlSimTrace it which doesn't filter traces (as it's used by exploreSimTrace and a public one that filters out TraceRacesFound.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants