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