Findings

All test suites

Always assertions → group by Watch validation passes

Jul 22 Tue, 2025

4:33 PM, 3 weeks ago

Today

Never: Watch validation pass → group by broke Bookmarkable - Progress notification events guarantee that all events have been already delivered

Jul 18 Tue, 2025

5:28 PM, 4 weeks ago

Today

ENG 557

Recent software version provided

Jul 12 Tue, 2025

6:12 PM, 5 weeks ago

Today

ENG 515

Symbols were uploaded

Jul 12 Tue, 2025

6:12 PM, 5 weeks ago

Today

ENG 515

Unreachable assertions → group by Linearization timeout

Jul 12 Tue, 2025

6:12 PM, 5 weeks ago

Today

ENG 515

No Panics → group by failed to unmarshal mvccpb.KeyValue

Jul 12 Tue, 2025

6:12 PM, 5 weeks ago

Today

ENG 500

No Fatals → group by fatal error: fault

Jul 12 Tue, 2025

6:12 PM, 5 weeks ago

Today

ENG 497

Never: Watch validation pass → group by broke Ordered - events are ordered by revision; an event will never appear on a watch if it precedes an event in time that has already been posted

Jul 12 Tue, 2025

6:12 PM, 5 weeks ago

Today

ENG 493

Never: Watch validation pass → group by broke Reliable - a sequence of events will never drop any subsequence of events; if there are events ordered in time as a < b < c, then if the watch receives events a and c, it is guaranteed to receive b

Jul 12 Tue, 2025

6:12 PM, 5 weeks ago

Today

ENG 487

Never: Watch validation pass → group by broke Unique - an event will never appear on a watch twice

Jul 12 Tue, 2025

6:12 PM, 5 weeks ago

Today

ENG 481

Linearization timeout

Jul 12 Tue, 2025

6:12 PM, 5 weeks ago

Today

ENG 420