Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Method not found when using Hedgehog 0.12 #6

Closed
AlexeyRaga opened this issue Mar 16, 2022 · 2 comments
Closed

Method not found when using Hedgehog 0.12 #6

AlexeyRaga opened this issue Mar 16, 2022 · 2 comments
Assignees

Comments

@AlexeyRaga
Copy link

This example fails when using with Hedgehog 0.12.x but runs fine with Hedgehog 0.11.x

[<Property>]
let ``should be ok``(value : int) =
    value = value

Here is the exception:

System.MissingMethodException
Method not found: 'Int32 Hedgehog.FailureData.get_Size()'.
   at InternalLogic.tryRaise(Report report)
   at XunitOverrides.PropertyTestInvoker.CallTestMethod(Object testClassInstance) in /home/runner/work/fsharp-hedgehog-xunit/fsharp-hedgehog-xunit/src/Hedgehog.Xunit/XunitOverrides.fs:line 11
   at Xunit.Sdk.TestInvoker`1.<>c__DisplayClass48_1.<<InvokeTestMethodAsync>b__1>d.MoveNext() in C:\Dev\xunit\xunit\src\xunit.execution\Sdk\Frameworks\Runners\TestInvoker.cs:line 257

I checked with using hedgehog-experimental and GenX.auto directly and it works, so the bug must be somewhere in this library.

The following dependencies are used:

"Hedgehog" Version="0.12.1"
"Hedgehog.Xunit" Version="0.3.0"
"xunit" Version="2.4.1"
@dharmaturtle dharmaturtle self-assigned this Mar 16, 2022
@dharmaturtle
Copy link
Member

I believe this issue should be resolved as of the latest commit. I'm not cutting a release yet though because I'm not quite happy some details regarding recheck. Need to think about this a bit more >_>

@dharmaturtle
Copy link
Member

Fixed with the 0.4.0 release. The recheck thing I mentioned turned out to be an upstream issue. I'll look into that Soon(TM).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants