Searched refs:state_B0 (Results 1 – 1 of 1) sorted by relevance
63 State state_B0 = StateFromQ(gas, B0, state_var_B); in TestState() local64 StateToQ(gas, state_B0, A0_test, state_var_A); in TestState()