Skip to content

Improve how CPABuilder handles CPAs for specification automata

Philipp Wendler requested to merge cpabuilder-specification into trunk

These changes have been split into two commits, one for refactoring and one for the actual feature and each with respective explanation in the commit message, so it makes sense to review them separately.

Important points for reviewing:

  • Is the behavior the same as before except for where new behavior is intended?
  • Is the concept good or are there better suggestions for supporting the desired use cases?
  • Is $specification a good name?

cf. background context

Merge request reports