3 Commits

Author	SHA1	Message	Date
Daniel Marjamäki	c04a73f6d8	Travis: Improve bug hunting testing	2020-05-07 18:55:22 +02:00
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	fddc301f7b	Rename test cases, 'verification' was renamed to 'bug hunting'	2020-01-15 21:11:04 +01:00