有没有办法伪造这个(错误的)财产:
prop :: Eq a => [a] -> Bool
prop xs = reverse xs == xs
当我使用QuickCheck及以后的VerboseCheck时,它提供了100种不同形式:
[(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]
通过:
最终结果是:
+++ OK, passed 100 tests.