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);
}
