public static int Main(string[] args)
{
var s = new S1();
var modelChecker = new SafetySharpQualitativeChecker();
return(modelChecker.CheckInvariant(s, s.C.X < 2).FormulaHolds ? -1 : 0);
}
public static int Main(string[] args)
{
var s = new S1();
var modelChecker = new SSharpChecker();
return modelChecker.CheckInvariant(s, s.C.X < 2).FormulaHolds ? -1 : 0;
}
