Searched defs:state_b (Results 1 – 2 of 2) sorted by relevance
1781 const program_state &state_b = kb.m_enode->get_state (); in cmp() local
2306 const program_state &state_b = kb.m_enode->get_state (); in cmp() local