[docs]classTimeout(ExplorationTechnique):""" Timeout exploration technique that stops an active exploration if the run time exceeds a predefined timeout """
[docs]defstep(self,simgr,stash="active",**kwargs):ifself.start_timeisNone:self.start_time=time.time()ifself.timeoutisnotNoneandtime.time()-self.start_time>self.timeout:self.start_time=Nonesimgr.move(stash,"timeout")l.warning("exploration timeout in %s seconds!",self.timeout)else:simgr=simgr.step(stash=stash,**kwargs)returnsimgr