quickcheck

3열

1답변

HSpec 및 QuickCheck을 사용하여 Data.Monoid 속성 확인

HSpec 및 QuickCheck를 사용하여 Monoids (연관성 및 신원 요소)의 등록 정보를 확인하려고합니다. 특정 인스턴스를 확인하려고하지만 대부분의 코드를 다형성으로 유지하려고합니다. (그래도 난하고 싶은 무엇 module Test where import Test.Hspec import Test.QuickCheck import Data.Mo

4열

1답변

시험 유형 클래스, 나는이처럼 보이는 링 타입 클래스가

매개 변수의 변수 번호 : 나는 여러 인스턴스가이 클래스, 예를 들어 class Ring a where addId :: a addInverse :: a -> a mulId :: a add :: a -> a -> a mul :: a -> a -> a 을 이러한 경우를 테스트하기 위해 instance Ring M

2열

1답변

QuickCheck를 사용하여 무작위 생성기 테스트

나는 지뢰 찾기 보드를 만들기 위해 임의 생성기를 작성했습니다. 그것은 Gen Board를 반환하며, Board는 자신이 정의한 데이터 유형입니다. 나는 그것이하기로되어있는 것을 시험하고 싶다. 그것은 생성기이므로 Bool 또는 Property를 반환하는 데 사용 된 함수를 사용할 수 없습니다. quickCheck를 사용하여 발전기를 테스트 할 수있는 좋은

0열

1답변

Gen 모나드에서 IO 모나드로 값 가져 오기

나는 지뢰 게시판을 생성하고 있으며 첫 번째 클릭 (실제로 클릭이 아니라 클릭을 나타내는 cmd로 작성된 문자열)을 기반으로 보드를 생성하려고합니다. 했다. 이것은 Gen와 IO 모나드를 혼합해야하기 때문에 문제입니다. Gen a를 IO로 변환하는 방법이 있습니까? 나는 this 함수를 찾았습니다. 어느 것이 내가 원하는 것을 정확하게 할 것입니다. 그러나

5열

2답변

OS X에서 GHC 7.8.3 용 QuickCheck를 설치하는 동안 Clang 오류 발생 Yosemite 10.10 (14A389)

Xcode 6.1이 설치된 Mac Pro 2013에서 실행되는 OS X Yosemite 10.10 (14A389) 시스템에서 Haskell GHC 7.8.3 용 QuickCheck을 설치하는 중 (6A1052d은), 나는 다음과 같은 연타 오류로 실행 해요 : $ cabal install QuickCheck Resolving dependencies...

2열

1답변

HPC의 코드 커버리지에서 쇼 유도를 제외하는 방법은 무엇입니까?

나는 Show을 파생하는 유형이 있습니다. 테스팅에 필요하지만 응용 프로그램의 로직에는 필요하지 않은 개발 용으로 유용합니다. 따라서 테스트가 필요하지 않습니다. HPC가 테스트에 대해 100 % 적용 범위를 인식하도록하고 싶습니다. 그것을 제외시킬 수있는 방법이 있습니까? 설정이 무엇입니까? 프라그마? 속이는 시험? seqshow을 시도했지만 처음에는 작

5열

1답변

종속 유형에 대한 빠른 검사

종속 형식 인 Vector 및 Matrix 데이터 유형을 쓰고 있습니다. data Vector n e where EmptyVector :: Vector Zero e (:>) :: e -> Vector n e -> Vector (Succ n) e deriving instance Eq e => Eq (Vector n e) infixr

12열

1답변

HsColour 이진 파일의 존재/부재가 QuickCheck 라이브러리를 다시 컴파일해야하는 이유는 무엇입니까?

내가 선을 보이지 않는, 즉,이 컴파일되지 않은,의 내가 더는 HsColour 프로그램이 설치가없는 가정하자 나는 다시 QuickCheck를 설치하면 나는 QuickCheck $ cd /tmp/ $ cabal get QuickCheck $ cd QuickCheck $ cabal install ... [ 1 of 15] Compiling Test.Q

13열

1답변

내 SVG 아크 변환 구현이 QuickCheck를 통과하지 못하는 이유는 무엇입니까?

하스켈에서 W3s recommended algorithm for converting SVG-path arcs from endpoint-arcs to center-arcs and back을 구현했습니다. type EndpointArc = (Double, Double, Double, Double , Bool, Bool, Double, Doubl

2열

1답변

다형 서명이있는이 빠른 검사가 실패해야하는 이유는 무엇입니까?

QuickCheck를 사용하여 다음 테스트 코드가 주어진다면 prop_Max errMax은 errMax의 정의가 잘못되어 실패해야합니다. prop_Max의 주어진 서명을 콘크리트 유형 Int과 함께 사용하면 이런 일이 발생합니다. 그러나 Ord을 사용하여 더 많은 다형 주석 처리 된 유형을 제공하면 테스트가 통과됩니다. 왜 이런거야? import Test.