Skip to content

#377 Legacy hyper-edge creator: consider location invariants.

Dennis Hendriks requested to merge 377-fix-legacy-hyper-edge-creation-bug into develop
  • Previously, for each location, the automaton invariants were handled, where the location invariants were to be processed.
  • It was a copy/paste bug.
  • This could affect synthesis performance.

Closes #377 (closed)

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent