Exemplo n.º 1
0
		public static int Main(string[] args)
		{
			var s = new S3();
			var modelChecker = new SSharpChecker();

			return modelChecker.CheckInvariant(s, s.C.X < 10).FormulaHolds ? 0 : -1;
		}