Create a new machine when a MachineContext is used and has a definition.
authorChristian Femers <femers@in.tum.de>
Mon, 23 Sep 2019 14:53:05 +0000 (16:53 +0200)
committerChristian Femers <femers@in.tum.de>
Mon, 23 Sep 2019 14:53:05 +0000 (16:53 +0200)
This might be refined in future to a somewhat more lazy creation, but
for now it fixes the bug that a machine context has no machine at the
start, and it is not clear, when else it should be created.


No differences found