/* Create random input file with i states and MAX_EVENTS events */ void create_test_file(const string& filename, int states, int events) { FSM fsm = create_initial_FSM(states, events); make_accessible(fsm); ofstream file_out(filename); if (EXTENSION == ".txt") fsm.print_txt(file_out); else if (EXTENSION == ".fsm") fsm.print_fsm(file_out); file_out.close(); }