Skip to content

properly translate dependencies

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

Merge request reports