Skip to content

Release after oracle executable introduction.

Niklas Krafczyk requested to merge develop into master

This introduces the following:

  • An executable that is able to check whether a symbolic trace is possible in a given SFSM.
  • Removal of and warnings for infeasible transitions.
  • Container builds for the SFSM method executable.
  • Code refactoring and cleanup.

Merge request reports