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