| 123456789101112131415161718192021222324252627282930 |
- import sys
- import time
- sys.path.append("../src/")
- from python_runtime.statecharts_core import Event
- import random
- random.seed(1)
- import sccd
- from model import Root
- omniscient = (float(sys.argv[1]), int(sys.argv[2]))
- params = (int(sys.argv[3]), int(sys.argv[4]), float(sys.argv[5]))
- controller = sccd.Controller(Root(*params), omniscient)
- reply_port = controller.addOutputListener('reply')
- controller.start()
- params = [{"termination_time": 1000}]
- controller.addInput(Event("simulate", "request", params))
- reply_port.fetch(-1)
- reply_port.fetch(-1)
- reply_port.fetch(-1)
- params = [500]
- start = time.time()
- controller.addInput(Event("jump", "request", params))
- reply_port.fetch(-1)
- end = time.time()
- controller.stop()
- print(end - start)
|