Re: [Openflipper] Batch Mode Not Returning Result as Expected