@@ -10,7 +10,7 @@
<![CDATA[
self.mvs = ModelverseState("../bootstrap/bootstrap.m.gz")
# Enable Garbage Collection
- self.mvs.GC = True
+ self.mvs.GC = False
self.root = self.mvs.read_root()
@@ -1,7 +1,7 @@
"""
Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
-Date: Tue Apr 10 12:42:12 2018
+Date: Tue Apr 10 14:43:31 2018
Model author: Yentl Van Tendeloo
Model name: MvK Server