quickcheck

7열

2답변

QuickCheck가 모든 예외를 잡는 것을 방지하려면 어떻게합니까?

QuickCheck 라이브러리는 속성을 테스트 할 때 throw되는 모든 예외를 catch하는 것으로 보입니다. 특히이 동작으로 인해 QuickCheck 계산 전체에 시간 제한을 설정하지 못합니다. 예를 들어 실제로 계산을 중단하지 않습니다 module QuickCheckTimeout where import System.Timeout (timeout)

testing haskell quickcheck 2012-03-03

---

12열

3답변

Haskell의 QuickCheck을 사용하여 특정 길이의 목록 생성

-- 3 (find k"th element of a list) element_at xs x = xs !! x prop_3a xs x = (x < length xs && x >= 0) ==> element_at xs (x::Int) == (xs !! x::Int) prop_3a는 QuickCheck를 통해 실행될 때 충분히 긴 목록을 생성하지 않기 때

haskell quickcheck 2011-10-08

---

9열

2답변

실패 및 캐비티 통합에 대한 빠른 종료 종료 상태

일부 빠른 테스트를 cabal과 통합하는 방법을 이해하려고합니다. 이 gist은 quickCheck 함수가 실패시 0이 아닌 상태를 반환하지만 그 동작을 얻지 못한다는 것을 나타내므로 cab32의 exitcode-stdio-1.0 테스트 스위트 유형을 사용하면 내 테스트에서 error을 호출하지 않는 한 나에게 적합하지 않은 것처럼 보입니다. 캐벌 user

haskell cabal quickcheck 2012-01-23

---

14열

2답변

QuickCheck를 사용하여 고차 함수를 테스트하려면 어떻게해야합니까?

필자는 테스트하고자하는 고차 함수를 가지고 있으며 테스트하고자하는 프로퍼티 중 하나는 전달되는 함수로 수행됩니다. 그림의 목적으로 여기에 인위적인 예제가 있습니다 : gen :: a -> ([a] -> [a]) -> ([a] -> Bool) -> a 아이디어는 대략 예제 생성기입니다. 하나의 a으로 시작하여 [a]의 싱글 톤 목록을 만든 다음 술어가 중

haskell quickcheck 2012-03-13

---

7열

1답변

하스켈 : quickcheck로 (반응성) FSM을 테스트하는 방법?

나는 현재 일하고있는 작은 축구 게임을위한 유한 상태 기계 모듈을 썼다. FSM (기본적으로 상태와 전환)을 설정하기위한 인터페이스를 제공합니다. 각 상태에 대해 입력 및 종료시 또는 FSM이 동일한 상태로 유지되는 동안 실행될 함수를 제공 할 수 있으며 이러한 함수는 일부 메시지를 반환합니다. 또한 시간 변동 상태를 산출하고 시간이 지남에 따라 발생하는

testing haskell quickcheck frp 2011-12-17

---

2열

1답변

Djinn/UU/Examples/Equality.hs에서 예제를로드하는 방법은 무엇입니까?

QuickCheck를 사용하는 cabal install Djinn 이후에 실행 파일은 ./.cabal/bin/djinn입니다. 는 내가 명령을 다음 :load full path/UU/Examples/Equality.hs 반환 구문 분석 할 수 없습니다 다음 ./djinn 명령을

haskell quickcheck 2011-10-30

---

1열

1답변

scalacheck가 quickcheck에 추가하는 기능은 무엇입니까?

모든 scalacheck 물건은 말한다 : 이후 진화하고 하스켈 QuickCheck 그래서 에없는 기능, 이러한 기능은 무엇으로 확장되었습니다?

quickcheck scalacheck 2012-02-17

---

-3열

2답변

임의로 생성 된 결과를 인쇄하는 방법은 무엇입니까?

만 something -> Bool 동의 quickCheckResult 후 좀 예 패스 [Colour] -> Bool [컬러] 상기 브래킷의 기능이 무엇을 모방? 왜 Colour -> Bool? quickCheckResult에 임의의 인스턴스를 전달하는 방법은 무엇입니까? data Colour = Green | Blue instance Arbitrar

haskell quickcheck 2011-11-18

---

14열

2답변

quickcheck에 실패한 값 찾기

값이 QuickCheck'd 테스트에 실패하면 디버깅에 사용하고 싶습니다. 내가 좋아하는 뭔가를 할 수있는 방법이 있나요 : let failValue = quickCheck' myTest in someStuff failValue 내 데이터가 그때 아마 IO에서 그것을 얻을 수있는 방법을 해킹 할 수있게 read했지만, 그렇지 않은 경우.

haskell quickcheck 2011-11-19

---

31열

2답변

QuickCheck에서 좋은 (작은) 수축을 얻으려면 어떻게해야합니까? 다음과 같습니다

나는 몇 가지 중첩 된 목록에 QuickCheck을 실행하기 위해 노력하고있어, 뭔가 : type Constraint = Text data Value = Value [Constraint] data Literal = Literal Value [Value] type Formula = [Literal] 그래서 공식은 술어와 일부 인수를 포함하고, 각각의

haskell quickcheck 2012-01-09

---