-
David Himmelstrup authored
I have no idea how to use the testsuite so I'll start making QuickCheck tests instead. I've included tests for 'HeaderInfo.getOptions'.
0490ee1f
I have no idea how to use the testsuite so I'll start making QuickCheck tests instead. I've included tests for 'HeaderInfo.getOptions'.