Latest change Dec 16, 2022

Instructions for how to use FsCheck in the DVA229 Lab Course

1. Download labs.zip, and unpack where your project is located.
2. For Lab 1 load Test.fs, Program.fsLab1.fs, from DVA229Lab1/ (you may use the script fsi.fsx for this).
3. Either run all tests using Test.all in Test.fs (by writing Test.all();; in fsi), or by compiling and executing the project,
4. Or: use the individual test functions in Test.fs one by one.
5. Similarly for Lab 2 (load Test.fs, Program.fs, and some or all of BST.fs, Tree.fs, List.fs from DVA229Lab2/).

We suggest that you use the lab skeleton files as templates for your solutions to the assignments. These files are Lab1.fs for Lab 1, and List.fs, Tree.fs, BST.fs, Calculator.fs for Lab 2. If you use them, then functions and modules will have the correct names that are used when the test functions are run by FsCheck.