Comments (7)
Of course [] in issue description ought to be Property, formatter ate it.
from fscheck.
Are you using F# 3.1 with fsharp.core 4.3.1?
from fscheck.
Yes, exactly. It reproduces every time, even in new f# project with only one file.
XUnit alone is working(FactAttribute is properly handled by both test explorer and resharper runner).
FsCheck alone is working, I can use Check.QuickThrowOnFailure.
from fscheck.
Weird, I can not reproduce. I have the same setup. Do you have the latest xunit runner?
Only difference is I am not using Resharper, maybe you can try disabling that to see if it has any effect.
from fscheck.
Hi again Kurt,
I would really like to help, below I give results of my further investigation.
I downloaded source code of FsCheck.XUnit project and used PropertyAttribute.fs file in my project and then it works both under Resharper and Visual Studio test runner.
Just to ensure common understanding, failing case is:
- Start empty F# Library Project
- Include FsCheck.Xunit nuget package (it takes care of FsCheck and XUnit packages)
- Paste code from above (using PropertyAttribute)
- Fail (tests is not found and run)
I confirmed the same error behaviour on VS2012.
Is it possible that FsCheck.Xunit library that gets downloaded by nuget is of wrong version or was not rebuild after some changes (what can be other reason for MissingMethod exception)?
If there is anything else I can check or do, please let me know
Thank you very much,
Best Regards
from fscheck.
Yes. Won't work on VS2012 as that doesn't have the latest version of F# (3.1). Other than that, it works for me in VS2013...I'm assuming there would be other reports of this thing not working if it didn't generally.
If you want, create a repo with the project that doesn't work (in VS2013) then I can clone and check.
from fscheck.
Closing, feel free to re-open if there's anything else to do here.
from fscheck.
Related Issues (20)
- Question: how to create dependent properties? HOT 13
- Using `Collect` and `Classify` in conjunction with `And` or `Or` HOT 1
- Make generative collection types `IEnumerable` compatible
- Model-based testing seems to ignore command preconditions when model implementation is mutable? HOT 2
- How to globally register arbitraries in 3.x HOT 4
- Allow asynchronous tests to run on Task<'a> HOT 8
- xUnit analyzer emits errors on Property tests HOT 6
- NUnit question/ request? HOT 14
- Feature: In-box shortcut to obtain default generator for a type HOT 6
- XUnit tests marked with [Property] fail to run on .NET Framework HOT 3
- FsCheck not registering a static method that takes Arbitrary<TType> in C# HOT 7
- How to generate instances of more complicated data structures HOT 3
- The type 'Config' does not define the field, constructor or member 'WithArbitrary' HOT 2
- Update docs with new `Arbitrary` API based on `ArbMap` HOT 6
- feat(FsCheck.Xunit): Support xUnit >= 2.5, < 3 HOT 1
- Modelbased testing? HOT 3
- Expose `Gen.choose64` HOT 1
- feat(FsCheck.NUnit): Support NUnit >= 4.0.0 HOT 1
- Model-based testing examples in C#? HOT 2
- Check.QuickAll does not find testables that return unit HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from fscheck.