@After usage in state tests
Merge branch 'master' of https://github.com/pimotte/EWI3620TU-GROUP11
Coverage reports