quickcheck

4зной

1ответ

Haskell, QuickCheck, фальсифицировать свойство (неправильно):

Есть ли способ, чтобы фальсифицировать это свойство (неправильно): prop :: Eq a => [a] -> Bool prop xs = reverse xs == xs Когда я использую QuickCheck, а затем VerboseCheck это дает 100 различных ф

haskell quickcheck 2014-11-02

---

12зной

1ответ

Почему наличие/отсутствие двоичных элементов HsColour для перекомпиляции библиотеки QuickCheck?

Давайте предположим, что у меня нет программы HsColour установлен и установить QuickCheck $ cd /tmp/ $ cabal get QuickCheck $ cd QuickCheck $ cabal install ... [ 1 of 15] Compiling Test.QuickChec

haskell cabal cabal-install quickcheck 2014-11-06

---

13зной

1ответ

Почему моя реализация преобразования SVG-дуги не проходит QuickCheck?

Я реализовал W3s recommended algorithm for converting SVG-path arcs from endpoint-arcs to center-arcs and back в Haskell. type EndpointArc = (Double, Double, Double, Double , Bool, Bool, Doub

haskell svg ieee-754 quickcheck 2014-11-16

---

0зной

1ответ

Quickcheck, определяющий произвольные экземпляры с использованием функции, результат которой зависит от ее аргументов

У меня есть функция arbExample для генерации случайного типа данных Example, который зависит от числа функций. Я пытаюсь сделать некоторые испытания свойства, делая quickCheck prop_example, проблема,

haskell testing generator quickcheck 2014-11-22

---

6зной

3ответ

Как я могу ограничить параметры QuickCheck, например. используйте только неотрицательные ints?

Я новичок в Haskell. До сих пор это очень хорошо, но я запускаю копии для моих свойств QuickCheck, и я хотел бы это исправить. Вот выдуманный пример: prop_Myfunc :: [Int] -> (Int,Int) -> Bool prop_My

haskell quickcheck 2014-11-27

---