Exemplo n.º 1
0
		public ModelCheckingTests()
		{
			_model = new PressureTankModel();
			_spin = new Spin(_model);
		}
Exemplo n.º 2
0
		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);
		}
Exemplo n.º 3
0
		public Tests()
		{
			_model = new RobotCellModel();
			_spin = new Spin(_model);
		}