Searched refs:DMMName (Results 1 – 1 of 1) sorted by relevance
3891 CheckerNameRef DMMName = Mgr.getCurrentCheckerName(); in registerDynamicMemoryModeling() local3893 Mgr.getAnalyzerOptions().getCheckerBooleanOption(DMMName, "Optimistic"); in registerDynamicMemoryModeling()3896 DMMName, "AddNoOwnershipChangeNotes"); in registerDynamicMemoryModeling()