public void SetLocalValue() { AbstractMachineState state = SetupMachine(); EnvironmentFrame env = new EnvironmentFrame(null, null, 3); state.E = env; SetLocalValueInstruction i = new SetLocalValueInstruction(); object[] args = { "X0" }; i.Process(args); AbstractTerm X0 = (AbstractTerm)state["X0"]; i.Execute(state); Assert.AreEqual("set_local_value", i.Name()); Assert.AreEqual(1, i.NumberOfArguments()); Assert.AreSame(X0.Dereference(), ((AbstractTerm)state["H"]).Dereference()); }