DynamoRIO / dynamorio

Dynamic Instrumentation Tool Platform
Other
2.57k stars 550 forks source link

Update incorrect docs about scheduler window ids #6781

Closed derekbruening closed 2 months ago

derekbruening commented 2 months ago

Updates the drmemtrace scheduler regions_of_interest docs which incorrectly stated the window id markers were not inserted between back-to-back regions: they are inserted, as the code confirms (with an explicit comment) and the unit tests check.