Searched defs:isVarAgnostic (Results 1 – 2 of 2) sorted by relevance
305 bool isVarAgnostic = d_tds->isVariableAgnosticEnumerator(m); in assertTesterInternal() local525 bool isVarAgnostic) in getSimpleSymBreakPred()963 bool isVarAgnostic, in registerSearchValue()1595 bool isVarAgnostic = d_tds->isVariableAgnosticEnumerator(prog); in check() local
624 bool isVarAgnostic = in registerEnumerator() local