test.check

0열

2답변

Clojure의 test.check에서 임의의 서브 시퀀스를 어떻게 샘플링합니까?

Subset Sum Problem의 임의의 해결할 수있는 인스턴스를 생성하려고합니다. Wikipedia는 목표 값이 항상 0이어야한다고 말하지만 목표 값을 지정할 수도 있습니다. 이는 내가 여기서하고있는 것입니다. 따라서 (gen/vector gen/int)을 사용하여 임의의 벡터를 만든 다음 임의의 하위 벡터를 샘플링하고 그 벡터의 합계를 사용하여 대상

clojure subset-sum test.check 2017-11-27

---

2열

1답변

test.check로 구조화 된 맵 생성하기

나는 test.check를 가지고 놀고 있는데,지도를 인수로 취하는 함수를 테스트하고있다. , 값이있는 명확하게 정의 된 발전기를 다른 한 예상 키 세트가, {:name "Bob" :age 42 :email "[email protected]" :admin true} 요점 :이지도는 같은 정의 된 구조를 가지고 않습니다. 나는 gen/map에서 살펴 보았

clojure test.check 2014-12-04

---

0열

2답변

Clojure에서 test.check와 함께 작동 할 수있는 UUID를 생성하는 방법

생성 테스트는 흥미로운 것 같지만 테스트의 일부로 임의의 UUID를 생성해야했습니다. java.util.UUID/newRandom은 test.check 축소와 함께 훌륭하게 재생되지 않습니다. 그것은 보이는 것보다 Clojure의에 번역 까다 롭습니다 public static UUID randomUUID() { long lsb = r.nextLo

clojure test.check 2015-01-30

---

1열

2답변

제한된 순서로 일련의 동작에 대한 test.check 생성기를 만드는 방법은 무엇입니까? 두 발생기의 예로서

(require '[clojure.test.check.generators :as gen]) (def ACTIONS {:create-new-user #{} :edit-user #{:create-new-user} :create-new-board #{:create-new-user} :edit-board #{:create-n

clojure test.check 2014-12-13

---

0열

2답변

test.check의 함수 발생기

함수 생성기를 만들고 싶습니다. 실제로는 IFn 값의 생성자가 있지만 함수 도메인이 무한 (값이 엄격하므로) 경우 함수 생성자로 사용하는 것이 일반적으로 바람직하지 않습니다. 이 기능이 존재합니까? 아니면 직접 구현해야합니까?

clojure test.check 2016-11-15

---