Updated example and methodology for using DeterministicSchedule support for auxiliary...
authorMaged Michael <magedmichael@fb.com>
Wed, 5 Oct 2016 12:18:09 +0000 (05:18 -0700)
committerFacebook Github Bot <facebook-github-bot-bot@fb.com>
Wed, 5 Oct 2016 12:24:11 +0000 (05:24 -0700)
commitf701dbadd9f705adc862ca3c81874149b3d1b928
treea8330147ab03ef2daa939583da614c3baceee96d
parent676035fe24870a006a2551a59fe2febf82393cad
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
folly/test/DeterministicScheduleTest.cpp