瀏覽代碼

Minor performance improvement

Yentl Van Tendeloo 7 年之前
父節點
當前提交
ebb4c9ac1e
共有 2 個文件被更改,包括 2 次插入3 次删除
  1. 1 2
      kernel/modelverse_kernel/request_handler.py
  2. 1 1
      wrappers/modelverse_SCCD.py

+ 1 - 2
kernel/modelverse_kernel/request_handler.py

@@ -51,7 +51,6 @@ class RequestHandler(object):
         raise primitive_functions.SleepKernel(request_args[0], request_args[1])
 
     def execute_return(self, request_args):
-        del self.generator_stack[-1]
-        del self.generator_stack[-1]
+        del self.generator_stack[-2:]
         self.reply = [request_args[0]]
         return self.generator_stack[-1]

+ 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:   Wed May  2 09:25:29 2018
+Date:   Wed May  2 10:11:54 2018
 
 Model author: Yentl Van Tendeloo
 Model name:   MvK Server