public void SetConstant() { AbstractMachineState state = SetupMachine(); SetConstantInstruction i = new SetConstantInstruction(); object[] args = { "ali" }; i.Process(args); i.Execute(state); AbstractTerm H = (AbstractTerm)((AMHeap)state.DataArea).Top(); Assert.AreEqual("set_constant", i.Name()); Assert.AreEqual(1, i.NumberOfArguments()); Assert.AreEqual("ali", H.Data()); }