Zac-HD / hypofuzz

Adaptive fuzzing of Hypothesis tests
https://hypofuzz.com/docs
GNU Affero General Public License v3.0
76 stars 3 forks source link

"found failing" for test that cannot fail. #22

Closed tmr232 closed 1 year ago

tmr232 commented 1 year ago

I am getting the impression that I am using this wrong...

I have the following test:

from hypothesis import given
from hypothesis.strategies import text

@given(text())
def test_fuzz(s):
    return

I run it using:

hypothesis.exe fuzz -- .\tests\test_fuzz.py

It immediately reports that it found a failing input. When I check the dashboard, I get an exception thrown from inside the Hypothesis code:

image

Am I doing something wrong, or is this a library issue?

Zac-HD commented 1 year ago

Library compatibility bug, fixed in the latest version of HypoFuzz - https://github.com/Zac-HD/hypofuzz/issues/21#issuecomment-1546785874

I'm sorry for the confusion this likely caused 😞

tmr232 commented 1 year ago

I am currently using 23.5.1:

 poetry show hypofuzz
 name         : hypofuzz
 version      : 23.5.1
 description  : Adaptive fuzzing for property-based tests

So I think it's a different issue.

tmr232 commented 1 year ago

Thanks!