Ejemplos de SynchronousCspSimulator.internalRun en Java

Ejemplo n.º 1

Archivo: GivenFailuresCspSimulator.java Proyecto: mkleine/cspk4j

 @Override
 protected void internalRun() {
   if (index < trace.size()) {
     super.internalRun();
   } else {
     environment.reset();
   }
 }