NUnit question/ request?

I am experimenting with FsCheck using C# and NUnit as shown below in the code. I wonder why properties MUST be declared with a verbose syntax as in method ‘ThisWorks’ while the much simpler version ‘ThisShouldAlsoWorkButItWontCompile’ gives a compilation related to the FsCheck Property attribute error saying: “The test method has ‘2’ parameter(s), but only ‘0’ argument(s) are supplied by attributes.”

It should be possible to transform the latter function into the first one automatically by FsCheck. It would result in much more readable/maintainable/portable tests. Why not?

public class NUnitTests
{
    private int Add(int x, int y) // Method under test
    {
        return x + y;
    }

    [Property(Verbose = false, MaxTest = 200)]
    public Property ThisWorks()
    {
      Func<int,int,bool> summer = (a,b) => Add(a,b) == a + b;
      return Prop.ForAll(summer);
    }
    
    [Property(Verbose = false, MaxTest = 200)]
    public bool ThisShouldAlsoWorkButItWontCompile(int x, int y)
    {
        return Add(x,y) == x+y;
    }
}

[kurtschelfthout]

FsCheck’s Property is only superficially similar to TestCase. It is not possible to do what you suggest.

The NUnit analyser is clearly too eager here. Turn it off and/or check in with the NUnit people so they can fix it.

[kurtschelfthout]

Closing as dupe