qc 0.1

QC este un instrument de testare care vă permite să scrie proprietăți care vă așteptați să dețină adevărat, și lăsați computerul genera cazuri de testare randomizate pentru a verifica dacă aceste proprietăți dețin efectiv. & Nbsp; De exemplu, dacă ați...