UnaryTest.java

package fr.inria.diverse.k3.benchVM.prop;

import statemachine.StateMachine;

public interface UnaryTest {
  boolean test(StateMachine a) ;
}