crowbar

crowbar copied to clipboard

Shortcut generation for map/bind with lazy small_example

1

This proposal might not be the right bandage (maybe just expanding the documentation of `choose` would be better.) I ran into some issues with a recursive generator that was failing...

art-w

If a test is too restrictive: ```ocaml let is_bad_data : ... -> bool f data = if is_bad_data data then Crowbar.bad_test () else ... (* do test *) let ()...

smelc

Bugs found with Crowbar

5

Bugs found in OPAM packages: xmldiff: zoggy/xmldiff#4 calendar: https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=1748&group_id=83&atid=415 yojson: mjambon/yojson#20 (reproduced, not originally found with crowbar) cbor: ygrek/ocaml-cbor#1 bson: MassD/bson#16 bes: (via email) uunf: dbuenzli/uunf#8, dbuenzli/uunf#10 bencode: rgrinberg/bencode#4 fpath:...

stedolan

Shrinking

1

Hello! AFAIU there is currently no shrinking feature in Crowbar (I could only find a few words about it in the [Wiki design notes](https://github.com/stedolan/crowbar/wiki/Design-notes#shrinking-testcases)). What's the status on the idea...

sir4ur0n

What is the best way to avoid stack overflows with recursive generators?

7

I'm new to the library, and I tried reading through the source code and all existing open and closed issues and PRs, but I couldn't find any guidance to this....

wilcoxjay

avoid `Premature end of file`

5

Perhaps I'm not using correctly crowbar, but it seems that creating a correct test case is not user friendly: an empty file is not enough and I don't know if...

bobot

Uninstrumented crowbar binaries trigger weird error in `afl-fuzz`

4

@pascutto and I recently ran into a weird issue while trying to fuzz https://github.com/mirage/index. We tried fuzzing an uninstrumented binary by mistake and got a `Fork server handshake failed` error...

NathanReb

I try currently to use `crowbar` and `afl` to test an implementation of RFC 1951 available here: https://github.com/dinosaure/z Fuzzer is available here: https://github.com/dinosaure/z/blob/master/fuzz/fuzz.ml#L156 [`hxd`](https://github.com/dinosaure/hxd) is necessary (to pin) for debugging....

dinosaure

Hi ! First of all thanks for this great tool ! I've been willing to use it over the past few days, and when I needed to generate `bytes` and...

pascutto

Better range function

2

When generating characters from their ASCII code if we want every char except the controls chars Controls char: from 0 to 31 and 127 ```ocaml map [choose [range 32; const...

FooB4r