generator driven testing

Por quê: Quando seu código é executado no mundo real, você não conhece as entradas de uma função. Os valores vêm da pilha de chamadas ou vêm de fontes externas, …

que tenho certeza que não são provas. Existe uma prova que tem substância que começa com “existe ..” e não termina com “para todos ..”? Como exercício, observe um teste …