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

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

            _p = new WritePredicate();

            Verify("write", 1);

            _p.Execute(state);
        }