#5: Add a test suite#6

btreeby merged 5 commits into

mainucl-bug/petra-to-ct:mainfrom

add-testing-frameworkucl-bug/petra-to-ct:add-testing-frameworkCopy head branch name to clipboard