Symbolic_execution_is_not_able_to_proceed_if_the_number_of_iterations_in_the_loop_is_known.$

• A. True
• B. False