Closed pwizenty closed 3 years ago
When the commit is fixed and v08 out, please provide a Docker image in a future commit for the Container Base Generator (cf. https://github.com/SeelabFhdo/lemma/tree/v08_prepare/code%20generators/docker/java).
An additional comment: Do the example models on GitHub already work with the Container Base Generator? If not, they should, before v08.
When the commit is fixed and v08 out, please provide a Docker image in a future commit for the Container Base Generator (cf. https://github.com/SeelabFhdo/lemma/tree/v08_prepare/code%20generators/docker/java).