Skip to content

[WIP] Property tests for dependencies file parsing #807

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
forki merged 10 commits into from
May 21, 2015
Merged

[WIP] Property tests for dependencies file parsing #807

Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
5eef5ad
Add FsCheck to test project
theimowski Apr 30, 2015
57ea25d
install fscheck to test project
theimowski Apr 30, 2015
5c52142
vanilla ice test
theimowski May 1, 2015
a173a1b
hardcoded lines test
theimowski May 1, 2015
1ec98b9
comment not allowed after http, github or gist dependency
theimowski May 1, 2015
b60186c
reinstall FsCheck and FsCheck.NUnit
theimowski May 5, 2015
6ed71bd
real framework constraints
theimowski May 5, 2015
539739b
remote source
theimowski May 5, 2015
3f59787
nuget packages
theimowski May 5, 2015
9327d17
make generated string smaller
theimowski May 5, 2015
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
nuget packages
  • Loading branch information
@theimowski
theimowski committed May 5, 2015
commit 3f59787e55053c8b52981ebc38e66fa637bd0350
50 changes: 47 additions & 3 deletions tests/Paket.Tests/DependenciesFile/PropertyTests.fs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,6 @@ let alphaNumString =
|> Gen.nonEmptyListOf
|> Gen.map (fun xs -> String(xs |> Array.ofList))


let remoteSource = gen {
let builder = UriBuilder()
let! host = alphaNumString
Expand All @@ -27,14 +26,59 @@ let remoteSource = gen {
|> Gen.nonEmptyListOf
|> Gen.map (String.concat "/")
builder.Path <- path
return "source " + builder.ToString()
let! creds =
Gen.frequency [
70, Gen.constant ""
15, alphaNumString
|> Gen.two
|> Gen.map (fun (x,y) -> sprintf " username: \"%s\" password: \"%s\"" x y)
15, alphaNumString
|> Gen.two
|> Gen.map (fun (x,y) -> sprintf " username: \"%%%s%%\" password: \"%%%s%%\"" x y)
]
return "source " + builder.ToString() + creds
}

let pathSource = Gen.constant "source C:"

let source = Gen.oneof [remoteSource; pathSource]

let nuget = Gen.constant "nuget FsCheck"
let semVer = gen {
let! major = Arb.generate<PositiveInt>
let! minor = Arb.generate<PositiveInt>
let! patch = Arb.generate<PositiveInt>
return {
Major = major.Get
Minor = minor.Get
Patch = patch.Get
PreRelease = None
Build = ""
PreReleaseBuild = ""
Original = None }
}

let nuget =
let packageId =
alphaNumString
|> Gen.nonEmptyListOf
|> Gen.map (String.concat ".")

let g = Gen.elements [">"; ">="]
let l = Gen.elements ["<"; "<="]
let gOrL = Gen.oneof [g; l]

let _constraint =
Gen.oneof [
Gen.constant ""
semVer |> Gen.map (sprintf " ~> %O")
semVer |> Gen.map (sprintf " == %O")
(gOrL, semVer) ||> Gen.map2 (sprintf " %s %O")
Gen.map2 (sprintf " %s %O") gOrL semVer
Gen.map4 (sprintf " %s %O %s %O") g semVer l semVer
]

(packageId, _constraint)
||> Gen.map2 (fun p c -> sprintf "nuget %s%s" p c)

let github = Gen.constant "github forki/FsUnit FsUnit.fs"

Expand Down