property-testing
Here are 49 public repositories matching this topic...
-
Updated
Nov 4, 2021 - Elixir
-
Updated
Nov 1, 2021 - Haskell
-
Updated
Nov 17, 2021 - Go
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
-
Updated
Nov 13, 2021 - Scala
-
Updated
Aug 31, 2021 - TypeScript
-
Updated
Nov 17, 2021 - Kotlin
-
Updated
Oct 30, 2021 - Haskell
-
Updated
Oct 11, 2021 - D
-
Updated
Oct 8, 2021 - Python
-
Updated
Nov 2, 2021 - Haskell
Martin Pallmann (@martinpallmann) created this pull request to add support for Probably to sbt. He says that the implementation is "very basic", so there's an opportunity to work on and enhance what he's done to make it fully-featured.
Add CLI tests
-
Updated
Nov 2, 2021 - Haskell
-
Updated
Jan 23, 2020 - Kotlin
-
Updated
Sep 17, 2017 - Haskell
-
Updated
May 11, 2018 - Scala
-
Updated
Nov 2, 2021 - Haskell
-
Updated
Aug 9, 2020 - Ruby
-
Updated
Sep 1, 2021
-
Updated
Nov 13, 2021 - C
-
Updated
Jun 23, 2020 - Swift
-
Updated
May 6, 2021 - Scala
-
Updated
Sep 5, 2021 - OCaml
-
Updated
Nov 2, 2021 - Haskell
-
Updated
May 14, 2019 - Elixir
-
Updated
Mar 31, 2018 - Rust
Improve this page
Add a description, image, and links to the property-testing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the property-testing topic, visit your repo's landing page and select "manage topics."
We already have them for collections