// Michael R. Hansen 20-10-2024


You can try the four-project solution handed out as follows:

A. Unzip the files

B. Run the structural tests by the dotnet CLI command

      dotnet test

in the folder src\StructuralTests

C. Run the functional tests by the dotnet CLI command

      dotnet test

in the folder src\FunctionalTests

D. Run the property-based tests by the dotnet CLI command

      dotnet test

in the folder src\PropertyTests



----------------------------------------------------------------


The four-project solution was created using the following 
twelve dotnet CLI commands:

1.   dotnet new sln -o LuggageWithFlights

and in folder LuggageWithFlights:

2.   dotnet new classlib -lang F# -o src\Library
3.   dotnet new xunit -lang F# -o src\FunctionalTests
4.   dotnet new xunit -lang F# -o src\StructuralTests
5.   dotnet new xunit -lang F# -o src\PropertyTests


In the three folders FunctionalTests, StructuralTests and PropertyTests:

6.   dotnet add reference ..\Library\Library.fsproj

In the folder PropertyTests 
7.   dotnet add package FsCheck
8.   dotnet add package FsCheck.Xunit --version 2.16.6

In the folder: LuggageWithFlights, the four projects are 
added to the solution by the commands:

9.   dotnet sln add src\Library
10.  dotnet sln add src\FunctionalTests
11.  dotnet sln add src\StructuralTests
12.  dotnet sln add src\PropertyTests


Furthermore, 
- three program files Test.fs has been edited in folders: 
    FunctionalTests, StructuralTests, and PropertyTests, 
- a file defining a generator for luggage catalogues is added to the PropertyTests folder
- the project file PropertyTests.fsproj has been edited concerning compiling info, and 
- the file Library.fs has been edited in the folder Library.  



