3 Commits

Author	SHA1	Message	Date
Wolfgang Witt	a9f432d6b0	chore(test): finally manged to create a users map	2021-03-15 10:45:37 +00:00
Wolfgang Witt	f68ae3b356	chore(test): first try at property test (incomplete)	2021-03-15 10:45:37 +00:00
Wolfgang Witt	9f83cc2e5b	chore(test): create file ExamSpec.hs with basic information for the error case	2021-03-15 10:45:37 +00:00