public void TrustMe() { AbstractMachineState state = SetupMachine(); TrustMeInstruction i = new TrustMeInstruction(); i.Process(null); AMProgram program = (AMProgram)state.Program; AMTrail trail = (AMTrail)state.Trail; Choicepoint b = new Choicepoint(); b.CE = new EnvironmentFrame(); Choicepoint old = new Choicepoint(); b.B = old; b.CP = new ProgramNode(); b.TR = 1; b.NextClause = new ProgramClause(); state.B = b; i.Execute(state); Assert.AreEqual("trust_me", i.Name()); Assert.AreEqual(0, i.NumberOfArguments()); Assert.AreSame(state.E, b.CE); Assert.AreSame(program.CP, b.CP); Assert.AreEqual(b.TR, trail.TR); Assert.AreSame(state.B, old); }