5 commits

Author	SHA1	Message	Date
Arne Döring	031bfdec6f	make run the default action of a test in tester	2018-11-23 11:58:28 +01:00
Andreas Rumpf	9364369c1f	make tests green again	2018-09-24 16:00:57 +02:00
Jacek Sieka	72dfe176f5	remove dead code elimination option (#7669)	2018-04-23 11:02:38 +02:00
cooldome	53cf0b2c24	Allow noreturn procs with void type (#6973)	2017-12-27 10:09:24 +01:00
cooldome	2b3ec0a7c6	Implement language feature #6885 (#6954)	2017-12-24 22:22:03 +01:00