Symbolic execution is not able to proceed if the number of iterations in the loop is known.
Symbolic execution is not able to proceed if the number of iterations in the loop is known. Correct Answer True
Symbolic execution can also not be used with arrays.