If you turned in a solution in class, you already got credit for this assignment. Otherwise, answer the following and submit to the E29 box on Canvas.

Exercise 29

How many states are in the symbolic execution tree for the following program?

int main(int argc){
	if (argc > 2){
		if (argc < 1){
			return 1;
		}
	}
	return argc;
}