public void SetVoid() { AbstractMachineState state = SetupMachine(); AMHeap heap = (AMHeap)state.DataArea; object[] args = { "3" }; SetVoidInstruction i = new SetVoidInstruction(); i.Process(args); i.Execute(state); Assert.AreEqual("set_void", i.Name()); Assert.AreEqual(1, i.NumberOfArguments()); Assert.IsTrue(((AbstractTerm)heap.Pop()).IsReference); Assert.IsTrue(((AbstractTerm)heap.Pop()).IsReference); Assert.IsTrue(((AbstractTerm)heap.Pop()).IsReference); }