public void testIsFinite(){
  int num=atLeast(200);
  for (int i=0; i < num; i++) {
    Automaton a=AutomatonTestUtil.randomAutomaton(random());
    assertEquals(AutomatonTestUtil.isFiniteSlow(a),Operations.isFinite(a));
  }
}

public void testIsFinite ( ) { int num = atLeast ( 200 ) ; for ( int i = 0 ; i < num ; i ++ ) { Automaton a = AutomatonTestUtil . randomAutomaton ( random ( ) ) ; assertEquals ( AutomatonTestUtil . isFiniteSlow ( a ) , Operations . isFinite ( a ) ) ; } }
tests against the original brics implementation .
