Welcome! Please see the
About
page for a little more info on how this works.
GitHub Login
All Activity
Questions
Unanswered
Tags
Ask a Question
About
Ask a Question
Add a prop/for-all alternative to c.t.c.clojure-test that uses clojure.test/is &c
0
votes
asked
Apr 10, 2016
in
test.check
by
jira
This would be similar to
https://github.com/gfredericks/test.chuck/blob/9f424c474b02f6e89b423049b5c5daebf71cec9c/src/com/gfredericks/test/chuck/clojure_test.cljc#L112
.
Have to think carefully about when to print clojure.test's standard failure stuff with respect to shrinking.
Note that adding {{is}} support means that we would get {{thrown?}} and {{thrown-with-msg?}} support as well, which are use cases that are currently more awkward to hand-roll.
h2. on the other hand
am I just wanting to do this because of the "test output is bad" problem? Is there a better solution that attacks that directly?
request
jira
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
1
Answer
0
votes
answered
Jun 26, 2019
by
jira
Reference:
https://clojure.atlassian.net/browse/TCHECK-101
(reported by gfredericks)
Please
log in
or
register
to add a comment.
Welcome to Clojure Q&A, where you can ask questions and receive answers from members of the Clojure community.
Related questions
Refactor c.t.c/quick-check as a state machine to provide more extension points
prop/for-all should let later bindings refer to earlier bindings
Add a way to access the current test var in :each fixtures for clojure.test
Consider adding for-all-2 to address a couple issues
test.check doesn't seem to have a macro for asynchronous tests
Categories
All categories
Clojure
(1.5k)
ClojureScript
(612)
ClojureCLR
(27)
Contrib libs
(727)
algo.generic
(3)
algo.monads
(4)
core.async
(112)
core.cache
(19)
core.contracts
(5)
core.logic
(66)
core.match
(44)
core.memoize
(8)
core.rrb-vector
(13)
core.typed
(33)
core.unify
(7)
data.avl
(1)
data.codec
(3)
data.csv
(12)
data.finger-tree
(1)
data.fressian
(6)
data.generators
(3)
data.int-map
(17)
data.json
(18)
data.priority-map
(4)
data.xml
(24)
data.zip
(4)
java.classpath
(2)
java.data
(12)
java.jdbc
(3)
java.jmx
(6)
math.combinatorics
(5)
math.numeric-tower
(1)
replicant
(0)
test.check
(45)
test.generative
(2)
tools.analyzer
(8)
tools.build
(29)
tools.cli
(9)
tools.deps
(120)
tools.deps.graph
(2)
tools.emitter.jvm
(7)
tools.gitlibs
(4)
tools.logging
(6)
tools.macro
(8)
tools.namespace
(29)
tools.reader
(11)
tools.tools
(2)
tools.trace
(5)
Tools
(76)
Meta
(19)
Other
(93)
Beginner
(0)
...