Searched defs:ifreset (Results 1 – 2 of 2) sorted by relevance
130 ifreset(ifp) in ifreset() function
198 BoolectorNode *one, *zero, *three, *add, *ifenable, *ifreset, *bad; in TEST_F() local