Comment by gcc_programmer

You test all possible executions of your program when you test with all possible data inputs, which is infinite.