Skip to content
GitLab

properly translate dependencies

Merged Tammo Heilemann requested to merge elm-to-sbv-transform into master
  • translate dependencies even if they do not have any pre-/postconditions
  • only translate dependencies that are also in use
  • only translate dependencies once
Edited by Tammo Heilemann