Skip to content

Restructure PRG sources and add visitor for Concurrent/Prompt CF inconsistency detection

  • restructure PRG related sources and introduce 3 categories for PRG visitors: promoters, rankers and validators;
  • add visitor searching for Concurrent/Prompt inconsistencies in task precedence rules;
  • fix tests and update refs to account for introduction of the Concurrent/Prompt contradiction detector.

Merge request reports

Loading