Descrição
Casos de teste baseados em propriedades para C podem ser escritos contra uma pequena biblioteca instalada com headers e documentação. Instala theft via make; entradas geradas, seeds com falha, logs de teste e código do projeto podem revelar comportamento proprietário.