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
hardcoded lines test
  • Loading branch information
@theimowski
theimowski committed May 5, 2015
commit a173a1b1d70d0d00279da21cacc6b510f6c1db43
20 changes: 18 additions & 2 deletions tests/Paket.Tests/DependenciesFile/PropertyTests.fs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,13 +5,29 @@ open FsCheck
open FsCheck.NUnit
open Paket

let source = Gen.constant "source https://nuget.org/api/v2"

let nuget = Gen.constant "nuget FsCheck"

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

let gist = Gen.constant "gist Thorium/1972349 timestamp.fs"

let http = Gen.constant "http http://www.fssnip.net/1n decrypt.fs"

let depLine = Gen.oneof [source; nuget; github; gist; http]

type DFFileGenerator =
static member StringArray() =
{new Arbitrary<string[]>() with
override x.Generator = Gen.elements [[|"nuget FsCheck"|]]
override x.Generator = Gen.arrayOf depLine
override x.Shrinker t = Seq.empty }

[<Property(Arbitrary = [|typeof<DFFileGenerator>|])>]
let _ = PropertyAttribute(Verbose = true)

[<Property(
Arbitrary = [|typeof<DFFileGenerator>|],
Verbose = true)>]
let ``round trip`` (lines : string[]) =
let df = DependenciesFile(DependenciesFileParser.parseDependenciesFile "dummy" lines)
df.ToString() = String.concat Environment.NewLine lines