Exemple #1
0
 def start(self, model_checker):
     Node.start(self, model_checker)
     for callback in self.start_callbacks:
         callback()
     self.start_callbacks = None
Exemple #2
0
 def start(self, model_checker):
     Node.start(self, model_checker)
     for p in self.ports_to_fail:
         self.enableAction("link_fault_down", p)
Exemple #3
0
 def start(self, model_checker):
     Node.start(self, model_checker)
Exemple #4
0
 def start(self, model_checker):
     Node.start(self, model_checker)
     for callback in self.start_callbacks:
         callback()
     self.start_callbacks = None
Exemple #5
0
 def start(self, model_checker):
     Node.start(self, model_checker)
Exemple #6
0
 def start(self, model_checker):
     Node.start(self, model_checker)
     for p in self.ports_to_fail:
         self.enableAction("link_fault_down", p)