public static void SetProgramOptions(ProgramOptions op) { programOptions = op; if (StubGettersSetters && StubGettersSettersWhitelist.Count > 0) { throw new Exception("You can automatically stub all getters/setters or just the specified ones (not both at the same time!). You can't use StubGettersSetters and StubGettersSettersWhitelist at the same time. "); } if ((AsyncSupport || AsyncSupportGenerics) && !AddressesEnabled()) { throw new Exception("AsyncSupport requires addresses. The state machine generated by the compiler for async tasks uses managed pointers."); } if (TimeoutMinutes > 0) { Timeout.InitiateTimeoutCheck(); } }