• Maged Michael's avatar
    Updated example and methodology for using DeterministicSchedule support for... · f701dbad
    Maged Michael authored
    Updated example and methodology for using DeterministicSchedule support for auxiliary data and global invariants
    
    Summary:
    Depends on D3792669
    
    Updating the test and methodology based on the experience with fine-grained testing dynamic MPMCQueue using DeterministicSchedule's support for auxiliary data and global invariants.
    
    Updates D3675447
    
    Reviewed By: djwatson
    
    Differential Revision: D3794217
    
    fbshipit-source-id: d2862895cb8dea120e758beeb24d6ae15191b013
    f701dbad
DeterministicScheduleTest.cpp 11.8 KB