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