The purpose of this repository is to provide a way for people to create placeholder images quickly.
https://www.craigoates.net/Software/project/11
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
16 lines
387 B
16 lines
387 B
6 years ago
|
namespace ConsoleTests
|
||
|
|
||
|
module PropertyTests =
|
||
|
|
||
|
open Xunit
|
||
|
open FsCheck
|
||
|
open FsCheck.Xunit
|
||
|
open Validation
|
||
|
|
||
|
let config = { FsCheck.Config.Default with MaxTest = 10 }
|
||
|
|
||
|
[<Property>]
|
||
|
let ``colour map is not empty`` () =
|
||
|
(Map.isEmpty colourList) = false
|
||
|
|
||
|
Check.Quick (``colour map is not empty`` ())
|