Stuff needed for tests.
Merge branch 'master' of https://github.com/nielssj/ITU-SMDP-Group11