| 1234567891011121314151617181920 |
- import model
- import logging
- import sys
- sys.path.append('../../src/')
- from simulator import Simulator
- sys.setrecursionlimit(50000)
- model = model.AutoDistPHOLD(int(sys.argv[1]), int(sys.argv[2]), int(sys.argv[3]))
- sim = Simulator(model)
- #sim.setVerbose(None)
- sim.setTerminationTime(200)
- sim.setMessageCopy('custom')
- sim.setStateSaving("custom")
- sim.setMemoization(True)
- sim.setGVTInterval(5)
- #sim.setGVTInterval(30)
- #sim.setShowProgress()
- sim.simulate()
|
