public void RemoveBitRequiringArg_Contract() { using (run.CreateEditScope(Token)) run.HealHealth = true; PIERun newRun = new PIERun(Model, 0, SortedSpan <int> .None); Model.ObserveRunWritten(Token, newRun); ViewPort.Goto.Execute(4); ViewPort.Edit("0 "); Assert.Equal(6, Model.GetNextRun(0).Length); }
public ItemEffectTests() { run = new PIERun(Model, 0, SortedSpan <int> .None); }
public ItemEffectTests() { run = new PIERun(Model, 0, SortedSpan <int> .None); Model.ObserveRunWritten(Token, run); Model.WriteValue(Token, run.Length, -1); }