Testing exhaustively