Merge branch 'dev_ema' of...

Merge branch 'dev_ema' of git.rwth-aachen.de:monticore/EmbeddedMontiArc/simulators/simulation into dev_ema
1 job for dev_ema in 58 seconds (queued for 1 second)
Status Job ID Name Coverage
  Linux
passed #1384783
BranchJobLinux

00:00:58