public void Start(Options options) {
      var reeval = new ReevaluateCFGPythonSolutionsInResultCollection();

      foreach (var filePath in options.InputFiles) {
        RunCollection coll = Helper.LoadRunCollection(filePath);
        if (Check(coll, filePath) == 2) {
          reeval.Reevaluate(coll, filePath, options.Timeout);
          Helper.printToConsole("Check again", Path.GetFileName(filePath));
          coll = Helper.LoadRunCollection(filePath);
          Check(coll, filePath);
        }
      }
    }
示例#2
0
        public void Start(Options options)
        {
            var reeval = new ReevaluateCFGPythonSolutionsInResultCollection();

            foreach (var filePath in options.InputFiles)
            {
                RunCollection coll = Helper.LoadRunCollection(filePath);
                if (Check(coll, filePath) == 2)
                {
                    reeval.Reevaluate(coll, filePath, options.Timeout);
                    Helper.printToConsole("Check again", Path.GetFileName(filePath));
                    coll = Helper.LoadRunCollection(filePath);
                    Check(coll, filePath);
                }
            }
        }