Test of DeterministicSchedule support for global invariants and auxiliary vari
authorMaged Michael <magedmichael@fb.com>
Wed, 3 Aug 2016 00:23:18 +0000 (17:23 -0700)
committerFacebook Github Bot 0 <facebook-github-bot-0-bot@fb.com>
Wed, 3 Aug 2016 00:38:24 +0000 (17:38 -0700)
commit832479bd63a69702d47901cac94c290a47b2acf8
tree9a98703f2ff4b9e5f5b83727bc3b27a86bff6f65
parent40857a36f39d1277fa0c117a794d95908ad8e9b2
Test of DeterministicSchedule support for global invariants and auxiliary vari

Summary:
Depends on D3648146

Atomic counter test with:
- Buggy path triggered by an env var
- Auxiliary data
- A global invariant
- A function to be called with shared accesses to update auxiliary data and check the global invariant.

Reviewed By: djwatson

Differential Revision: D3648195

fbshipit-source-id: 18620a887f114abf31ba1261c38287139a1591a7
folly/test/DeterministicScheduleTest.cpp