3 Commits

Author	SHA1	Message	Date
Daniel Marjamäki	6722ee9d3f	test/bug-hunting: add --clang option to the juliet testing	2020-01-20 18:53:40 +01:00
Daniel Marjamäki	8d6891ac81	bug hunting; modified itc test script so you can pass --clang to it	2020-01-20 10:43:42 +01:00
Daniel Marjamäki	fddc301f7b	Rename test cases, 'verification' was renamed to 'bug hunting'	2020-01-15 21:11:04 +01:00