O fuzzingu / testování založeném na vlastnostech: - Je něco zvláštního na tom, když na funkci hodíte tisíce a tisíce vstupů a vidíte, že funguje dobře. - Je to důkaz o práci ekvivalentní formálnímu ověření - Jen málo věcí je tak uspokojivých jako zvýšení počtu iterací testů založených na generativních vlastnostech a vymýšlení invariantů, které je třeba prosadit. - Bez knihoven testů založených na vlastnostech bych před lety pravděpodobně nikdy plně nepřešel na Rust. Podivný inflexní bod. Každopádně mi tato analýza přináší spoustu radosti. Podívejte se na výsledky 👇