HW-Framework

Framework for working with and testing transition system implementations.

The unit tests in this code are used to test an implementation of FvmFacade, which is the class students have to implement during the practical parts of the homework.