N7S TMC#226 - Fixed subtyping fixed-sized sequence of and strings (!711) · Merge requests · TASTE / SpaceCreator

Additionally:
added zeroing to strings assign inlines
created two logical Promela models to fix registering translators

Edited Sep 23, 2022 by Filip Demski

N7S TMC#226 - Fixed subtyping fixed-sized sequence of and strings