czan stateful-check issues

czan / stateful-check

Stateful generative testing in clojure

MIT License

117 stars 11 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Include commands that did not run when printing frequencies

#19 r0man closed 5 months ago
2
[Feature request] Add exhaustive mode

#18 gabrielgiussi closed 5 months ago
2
Implement toString method on root and lookup vars

#17 r0man closed 1 year ago
2
Capture failing test report events as data

#16 r0man closed 1 year ago
6
Results protocol

#15 r0man closed 1 year ago
2
Emacs Mode

#14 r0man opened 1 year ago
13
Add support for clojure.test's "is" in postconditions

#13 r0man closed 1 year ago
4
Error in report step: `class java.io.StringWriter cannot be cast to class java.io.PrintWriter`

#12 danielSbastos closed 4 years ago
5
Access failed command sequence as data

#11 dmarjenburgh closed 4 years ago
6
Add link to video presentation?

#10 jhacksworth closed 4 years ago
1
How to generate args based on system-generated data.

#9 dmarjenburgh closed 4 years ago
3
Print out failing seed?

#8 bhb closed 5 years ago
8
Fixed typo

#7 radarhere closed 7 years ago
0
Upgrades to test.check 0.9.0.

#6 MichaelDrogalis closed 6 years ago
1
Update for test.check 0.9.0

#5 MichaelDrogalis closed 6 years ago
2
Refactor some test functions to be a bit easier to read

#4 gfredericks closed 6 years ago
1
Refactor some test functions to be a bit easier to read

#3 gfredericks closed 8 years ago
4
Model args are preserved across state resets

#2 mbossenbroek closed 8 years ago
3
Question about :real/postcondition and :next-state

#1 lbradstreet closed 8 years ago
10