public void SetVariable() { AbstractMachineState state = SetupMachine(); SetVariableInstruction i = new SetVariableInstruction(); object[] args = { "X0" }; i.Process(args); i.Execute(state); Assert.AreEqual("set_variable", i.Name()); Assert.AreEqual(1, i.NumberOfArguments()); AbstractTerm X0 = ((AbstractTerm)state["X0"]).Dereference(); AMHeap heap = (AMHeap)state.DataArea; Assert.AreSame(X0, heap.Top()); }