%!s(int64=7) %!d(string=hai) anos · bdcd4e65f9
--- a/models/DTCBD/transformations/simulate.alc
+++ b/models/DTCBD/transformations/simulate.alc
@@ -435,7 +435,6 @@ Boolean function solve_scc(model : Element, scc : Element):
 
				 	while (i < read_nr_out(m)):
			
 
				 		block = scc[i]
			
 
				 		instantiate_attribute(model, block, "signal", m[i][read_nr_out(scc)])
			
 
				-		log((("Solved " + block) + " to ") + cast_string(m[i][read_nr_out(scc)]))
			
 
				 		i = i + 1
			
 
				 
			
 
				 	return True!
			
--- a/wrappers/modelverse_SCCD.py
+++ b/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:   Wed May 23 19:46:37 2018
			
 
				+Date:   Wed May 23 20:08:38 2018
			
 
				 
			
 
				 Model author: Yentl Van Tendeloo
			
 
				 Model name:   MvK Server