Question 13
Consider the following code segment.
Based on the above data, answer the given subquestions.
From among the following, identify the set of concrete test inputs that execute all the instances of symbolic execution.
{(a = 1, b = 2, c = 3), (a = 3, b = 3, c = 3), (a = 1, b = 3, c = 3)}
{(a = 1, b = 2, c = 3), (a = 3, b = 2, c = 1), (a = 1, b = 6, c = 3)}
{(a = 3, b = 2, c = 2), (a = 3, b = 2, c = 3), (a = 1, b = 6, c = 3)}
{(a = 3, b = 2, c = 2), (a = 1, b = 4, c = 3), (a = 1, b = 2, c = 3)}