public void PutValue() { AbstractMachineState state = SetupMachine(); PutValueInstruction i = new PutValueInstruction(); object[] args = { "X0", "X1" }; i.Process(args); AbstractTerm X0 = (AbstractTerm)state["X0"]; X0.Assign(new ConstantTerm("ali")); i.Execute(state); AbstractTerm X1 = (AbstractTerm)state["X1"]; Assert.AreEqual("ali", X1.Data()); Assert.AreEqual("put_value", i.Name()); Assert.AreEqual(2, i.NumberOfArguments()); }