Assignments 3 till 6.5 (only quickcheck needs to be implemented)
Merge branch 'master' of https://github.com/dsafaric/software_testing_uva
Troubles with git.. Hopefully this will work