LinqCheck/TOC.yml at master · johtela/LinqCheck · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
contents:
  - page: Home
    file: index.md
    desc: LinqCheck home page.

  - page: Usage
    desc: Examples on how to use LinqCheck.
    subs:
      - page: Writing Simple Tests
        file: Examples\BasicTests.cs
        desc: How to write basic properties and tests.

      - page: Adding New Arbitrary Types
        file: Examples\SeqTests.cs
        desc: How to implement the `IArbitrary<T>` interface and use your own types in properties.

      - page: Testing Programs with Mutable State
        file: Examples\UITests\Calculator.cs
        desc: Testing Windows Calculator with LinqCheck.

      - page: Implementing a Model
        file: Examples\UITests\ModelCalculator.cs
        desc: How to write a model implementation for an imperative program.

      - page: Using UI Automation
        file: Examples\UITests\Automated.cs
        desc: Developing tests which control other applications through UI automation.

      - page: Windows 7 Calculator
        file: Examples\UITests\Win7Calculator.cs
        desc: Implementing the automation for Windows 7 Calculator.

      - page: Windows 10 Calculator
        file: Examples\UITests\Win10Calculator.cs
        desc: Implementing the automation for Windows 10 Calculator.

      - page: Testing the Calculator
        file: Examples\UITests\CalculatorTests.cs
        desc: Writing properties that run the calculator and test the results.

      - page: Running the Tests
        file: Examples\RunTests.cs
        desc: How to write the Main method for your test suite.

  - page: Implementation
    desc: Literate documentation for the LinqCheck library.
    subs:
      - page: Generators and Monads
        file: LinqCheck\Gen.cs
        desc: Generalizing random numbers.

      - page: Generating and Shrinking Arbitrary Values
        file: LinqCheck\Arbitrary.cs
        desc: An interface for arbitrary test data.

      - page: Built-In Arbitrary Types
        file: LinqCheck\DefaultArbitrary.cs
        desc: Implementation of arbitrary types included in LinqCheck.

      - page: Container for Arbitrary Implementations
        file: LinqCheck\Container.cs
        desc: Container class manages the registered arbitrary types.

      - page: Test State and Phases
        file: LinqCheck\TestState.cs
        desc: Defines the state of the properties and their execution phases.

      - page: Properties
        file: LinqCheck\Prop.cs
        desc: Implmenting the properties as LINQ expressions.

      - page: Test Runner
        file: LinqCheck\Tester.cs
        desc: Built-in simple test runner.

  - page: License
    file: License.md
    desc: License and terms of use.

  - page: README
    file: README.md
    desc: General information about the project.