property-testing

Please describe the feature you'd like to see including any solutions in mind if you have any

To compare very large strings, it's easier to write the expected content in a separate file.

https://github.com/krzema12/github-actions-kotlin-dsl/blob/6fc0b3f279ee7372e084545245a08d9e51f36317/library/src/test/kotlin/it/krzeminski/githubactions/IntegrationTest.kt#L25-L39

class Inte

Due to rounding the ConsoleReporter prints some frequencies as zero and this can report incorrect values when using classify. I had to inspect the FreqMap to check the counts as I was thinking my generator was not correct. It would be useful if the classifier reported the counts as well

In tutorial we have sample for genarator of IpAddress

open System.Net
let ipAddressGen : Gen<IPAddress> = gen {
    let! addr = Range.constantBounded () |> Gen.byte |> Gen.array (Range.singleton 4)
    return System.Net.IPAddress addr
}

Anybody could check my translation to csharp? It is'nt idiomatic csharp IMHO

var byteRange = Range.ConstantBoundedByte()

There is no way to delete timestamps at the moment.

Changes will be necessary in these places:

• The timestamps cursor: https://github.com/NorfairKing/smos/blob/master/smos-cursor/src/Smos/Cursor/Timestamps.hs
• The timestamps actions: https://github.com/NorfairKing/smos/blob/master/smos/src/Smos/Actions/Entry/Timestamps.hs
• The default keybindings: https://github.com/NorfairKing/smos/bl

The report shows the timings of each test without any units, and these should be shown. The same units should be used for every test in the report (or at least in the same suite). Test times are currently measured in milliseconds (using System.currentTimeMillis though, it would make sense to display them in either ms or s. However, it may also be worthwhile recording System.nanoTime *as we