Michael Tautschnig 8e013bc3f2 Add missing EXIT or SIGNAL specifications ... We should always check for these to avoid spuriously passing tests.		2019-02-21 15:04:42 +00:00
..
test.c	Reachability slicer: mark reachable code more precisely	2018-05-21 10:31:47 +01:00
test.desc	Add missing EXIT or SIGNAL specifications	2019-02-21 15:04:42 +00:00