Searched refs:state_1 (Results 1 – 1 of 1) sorted by relevance
720 State state_1 = StateFromQ(gas, A1, state_var_A); in TestState_fwd() local722 StateToQ(gas, state_1, B1, state_var_B); in TestState_fwd()