add simulation guided by inputs sequence, rm random simulation for MealyMachine
add simulation guided by inputs sequence, rm random simulation for MealyMachine
tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control