stedolan crowbar issues

stedolan / crowbar

Property fuzzing for OCaml

MIT License

180 stars 31 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

"No instrumentation detected" after adding a particular simple property

#71 remexre opened 6 months ago
0
Length of lists

#70 lindig opened 1 year ago
1
add array and array1

#69 zapashcanon closed 1 year ago
2
add a Syntax module

#68 zapashcanon closed 1 year ago
7
Remove ocplib-endian

#67 patricoferris closed 1 year ago
0
Shortcut generation for map/bind with lazy small_example

#66 art-w opened 2 years ago
1
Initialize Random to work better with OCaml 5.0

#65 ulrikstrid closed 2 years ago
0
Update to dune.2.9 and cmdliner.1.1.0

#64 MisterDA closed 2 years ago
2
Fail instead of looping when data cannot be generated (bad_test hit too often)

#63 smelc opened 3 years ago
0
Shrinking

#62 sir4ur0n opened 3 years ago
1
Be explicit that Cmdliner.Term.exit does not expect an int

#61 talex5 closed 2 years ago
0
With seed as cli parameter

#60 raphael-proust closed 3 years ago
6
Be compatible with < 4.10.0

#59 dinosaure closed 3 years ago
1
What is the best way to avoid stack overflows with recursive generators?

#58 wilcoxjay opened 4 years ago
7
New release?

#57 raphael-proust closed 4 years ago
4
README: add syntax highlighting

#56 olleolleolle closed 4 years ago
2
Uninstrumented crowbar binaries trigger weird error in `afl-fuzz`

#55 NathanReb opened 4 years ago
4
Replication of crashe

#54 dinosaure opened 5 years ago
0
Add char generator

#53 pascutto closed 4 years ago
2
Bytes and string generators

#52 pascutto opened 5 years ago
0
shuffle non-monadically

#51 pqwy closed 4 years ago
2
Add a shuffled list generator

#50 NathanReb closed 5 years ago
9
Upgrade to dune and Opam 2

#49 NathanReb closed 5 years ago
2
Shuffled list generator

#48 NathanReb closed 4 years ago
3
pair : 'a gen -> 'b gen -> ('a * 'b) gen

#47 gasche closed 5 years ago
0
Fix typo in [choose_int]: 100 should be 0x100.

#46 fpottier closed 5 years ago
1
New functions ffail and pp_option. Do not quote message in fail.

#45 fpottier closed 6 years ago
5
bind (or join or similar) combinator

#44 raphael-proust closed 6 years ago
2
Fix concat_gen_list duplicating first element

#43 FooB4r closed 6 years ago
1
Add concat_gen_list ('a)

#42 FooB4r closed 6 years ago
2
Improved range function

#41 FooB4r closed 6 years ago
0
Add concat_gen_list

#40 FooB4r closed 6 years ago
0
Warn when afl support unavailable

#39 stedolan opened 6 years ago
0
('a, 'b) result generator

#38 gasche closed 6 years ago
1
add 'int16' and 'uint16' generators

#37 gasche closed 6 years ago
0
Join

#36 gasche closed 6 years ago
5
Better range function

#35 FooB4r opened 6 years ago
2
Improving grammar concatenation - string - 'a

#34 FooB4r closed 1 year ago
2
add bytes_fixed generator

#33 stedolan closed 6 years ago
0
use bytes.create 0 for empty string

#32 yomimono closed 6 years ago
1
add size optional parameter to gen.mli

#31 yomimono closed 6 years ago
1
propose a release

#30 yomimono closed 6 years ago
1
remove ocamlfind dependency

#29 yomimono closed 6 years ago
0
Failing test not reported as crash

#28 copy closed 6 years ago
1
more content in README

#27 yomimono closed 6 years ago
0
Remove bind and join

#26 stedolan closed 6 years ago
0
add lots of docstrings; don't expose `state`

#25 yomimono closed 6 years ago
3
nicer command-line behavior using cmdliner

#24 yomimono closed 6 years ago
0
exit 1 when 5000-run quickcheck tests fail

#23 yomimono closed 6 years ago
0
restructure tests

#22 yomimono closed 6 years ago
3