| 123456789101112131415 |
- import sys
- sys.setrecursionlimit(20000)
- import random
- sys.path.append("../../src/")
- from simulator import Simulator
- from model import DEVStone
- model = DEVStone(3, int(sys.argv[1]), False)
- sim = Simulator(model)
- sim.setMessageCopy('custom')
- sim.setStateSaving(str(sys.argv[2]))
- sim.setTerminationTime(1000)
- sim.setSchedulerMinimalList()
- sim.simulate()
|
