public ModelCheckingTests()
{
_model = new PressureTankModel();
_spin = new Spin(_model);
}
public void FirstTest()
{
var watch = new Stopwatch();
watch.Start();
var spin = new Spin(_model);
spin.Check(X(true));
Console.WriteLine("Elapsed: {0}ms", watch.Elapsed.TotalMilliseconds);
}
public Tests()
{
_model = new RobotCellModel();
_spin = new Spin(_model);
}