Christian Prochaska 4c4d4e5c63 Fix printing of signed numbers ... If any operand of the '?' operator is of an unsigned type, the result is unsigned by default. Thanks to Julian Stecklina for finding this out. Fixes #189.		2012-04-23 15:35:01 +02:00
..
cap_integrity.run	Let cap_integrity test be more expressive	2012-03-23 14:34:09 +01:00
ds_ownership.run	Test for enforcing dataspace ownership	2012-04-20 18:38:44 +02:00
printf.run	Fix printing of signed numbers	2012-04-23 15:35:01 +02:00
rm_fault.run	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00
sub_rm.run	Add an 'executable' flag to 'Rm_session::attach()'	2012-04-20 11:21:19 +02:00
util_mmio.run	Complement test for MMIO framework	2012-02-23 10:42:12 +01:00