Axiom.Runtime.UnitTests._Builtins.put_1 C# (CSharp) 메소드

        public void put_1()
        {
            AbstractMachineState state = SetupMachine();

            _p = new PutPredicate();

            AbstractTerm x0 = (AbstractTerm)state["X0"];

            x0.Assign(new ConstantTerm("61"));

            Verify("put", 1);

            _p.Execute(state);
        }