def test_inputs(core_type_lib, push_config):
interp = PushInterpreter()
in_state = PushState.from_dict({"inputs": [7, "x"], "int": []}, core_type_lib, push_config)
ex_state = PushState.from_dict({"inputs": [7, "x"], "int": [7]}, core_type_lib, push_config)
interp.state = in_state
interp.evaluate_atom(Input(input_index=0), push_config)
ac_state = interp.state
assert ex_state == ac_state
assert len(in_state.inputs) == 2
in_state = PushState.from_dict({"inputs": [7, "x"], "str": []}, core_type_lib, push_config)
ex_state = PushState.from_dict({"inputs": [7, "x"], "str": ["x"]}, core_type_lib, push_config)
interp.state = in_state
interp.evaluate_atom(Input(input_index=1), push_config)
ac_state = interp.state
assert ex_state == ac_state
assert len(in_state.inputs) == 2
def test_instructions(core_type_lib, push_config):
debug = False
interp = PushInterpreter()
iset = interp.instruction_set
for spec in SPECS:
in_state = PushState.from_dict(spec["in"], core_type_lib, push_config)
ex_state = PushState.from_dict(spec["ex"], core_type_lib, push_config)
interp.state = in_state
instruction_name = spec["instr"]
if debug:
print(instruction_name,)
in_state.pretty_print()
print("---")
ex_state.pretty_print()
print("---")
interp.evaluate_atom(iset[instruction_name].meta(), push_config)
ac_state = interp.state
if debug:
ac_state.pretty_print()
print()
assert ex_state == ac_state