Go to the source code of this file.
Allows applications to test that invariants are always satisfied. Can test mutexes and readers/writer locks. Does not test recursive acquisition.
Definition in file Token_Invariants.h.