Browse Source

Add missing bootstrap file

Yentl Van Tendeloo 6 years ago
parent
commit
738c3e27ad
2 changed files with 12 additions and 1 deletions
  1. 11 0
      bootstrap/main.alc
  2. 1 1
      wrappers/modelverse_SCCD.py

+ 11 - 0
bootstrap/main.alc

@@ -0,0 +1,11 @@
+include "bootstrap/primitives.alc"
+include "utils.alh"
+include "core_algorithm.alh"
+include "task_manager.alh"
+
+Void function __main():
+	if (get_taskname() == "task_manager"):
+		task_management()
+	else:
+		new_task()
+	return!

+ 1 - 1
wrappers/modelverse_SCCD.py

@@ -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 24 13:37:14 2018
+Date:   Tue Apr 24 14:39:15 2018
 
 Model author: Yentl Van Tendeloo
 Model name:   MvK Server