dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
noonien8 has quit [Quit: Ping timeout (120 seconds)]
noonien8 has joined #ocaml
Tuplanolla has quit [Ping timeout: 255 seconds]
wingsorc has joined #ocaml
riverdc has quit [Ping timeout: 272 seconds]
edr has quit [Quit: Leaving]
chrisz has quit [Ping timeout: 240 seconds]
infinity0 has quit [Remote host closed the connection]
chrisz has joined #ocaml
infinity0 has joined #ocaml
random-jellyfish has joined #ocaml
random-jellyfish has quit [Changing host]
random-jellyfish has joined #ocaml
random-jellyfish has quit [Read error: Connection reset by peer]
peony has quit [Ping timeout: 255 seconds]
jlrnick has joined #ocaml
bartholin has joined #ocaml
mro has joined #ocaml
bartholin has quit [Quit: Leaving]
domq has joined #ocaml
Serpent7776 has joined #ocaml
ehrt74 has joined #ocaml
bartholin has joined #ocaml
peony has joined #ocaml
dhil has joined #ocaml
domq_ has joined #ocaml
domq has quit [Ping timeout: 260 seconds]
domq_ is now known as domq
domq has quit [Ping timeout: 240 seconds]
bartholin has quit [Quit: Leaving]
domq has joined #ocaml
ehrt74 has quit [Ping timeout: 245 seconds]
domq_ has joined #ocaml
domq has quit [Ping timeout: 252 seconds]
domq_ is now known as domq
jlrnick has quit [Remote host closed the connection]
dnh has joined #ocaml
wingsorc has quit [Ping timeout: 240 seconds]
domq has quit [Quit: domq]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
Anarchos has joined #ocaml
mro has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Anarchos has joined #ocaml
sleepydog has quit [Ping timeout: 245 seconds]
sleepydog has joined #ocaml
richardhuxton has quit [Ping timeout: 246 seconds]
pluviaq has quit [Ping timeout: 246 seconds]
toastal has quit [Ping timeout: 246 seconds]
henrytill has quit [Ping timeout: 246 seconds]
toastal has joined #ocaml
domq has joined #ocaml
pluviaq has joined #ocaml
henrytill has joined #ocaml
richardhuxton has joined #ocaml
edr has joined #ocaml
Anarchos has quit [Ping timeout: 255 seconds]
CO2 has quit [Quit: WeeChat 4.1.1]
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
CO2 has joined #ocaml
Anarchos has joined #ocaml
bartholin has joined #ocaml
neiluj has joined #ocaml
<neiluj>
Hi!
<neiluj>
how to filter elements with Qcheck's generators
<neiluj>
for instance filter integers based on if they are dividing some number
<companion_cube>
you could use a precondition in the test case instead
<companion_cube>
(the risk with filtering is that it might also be very, very costly if you mostly sample values that don't pass the filter)
<neiluj>
oh, indeed!
<neiluj>
using assume
<neiluj>
thanks!
<companion_cube>
yeah exactly
<companion_cube>
then take a look at statistics to see how many test cases were rejected, though
<companion_cube>
if you generate 1,000 but only 3 passed the filter, time for a smarter generator
<companion_cube>
(e.g. for multiple of a number n, generate numbers and multiple by n)
mro has joined #ocaml
<neiluj>
yeah
domq has quit [Ping timeout: 246 seconds]
pippijn has quit [Ping timeout: 248 seconds]
neiluj has quit [Quit: WeeChat 3.8]
mro has quit [Quit: Leaving]
haesbaert has joined #ocaml
pippijn has joined #ocaml
domq has joined #ocaml
CO2 has quit [Ping timeout: 240 seconds]
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
troydm has joined #ocaml
domq has quit [Quit: domq]
bartholin has quit [Remote host closed the connection]
bartholin has joined #ocaml
CO2 has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
m5zs7k has quit [Ping timeout: 248 seconds]
Anarchos has joined #ocaml
m5zs7k has joined #ocaml
szkl has joined #ocaml
pippijn has quit [Ping timeout: 245 seconds]
pippijn has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Anarchos has joined #ocaml
pippijn_ has joined #ocaml
pippijn has quit [Ping timeout: 255 seconds]
<Anarchos>
how to printf Bytes ? Do i need to convert them to string as %s ?
Anarchos has quit [Quit: Vision[]: i've been blurred!]