qc 0.1

qc jest narzędzie do testowania, które pozwala pisać właściwości, które można oczekiwać, aby uznać za prawdziwe, i niech komputer generowania losowych testów, aby sprawdzić, że właściwości te faktycznie posiadają & nbsp;. Na przykład, jeśli masz napisane...