4 Commits

Author	SHA1	Message	Date
Ralf Jung	14913e993b	deprecate -Zmiri-allow-uninit-numbers and -Zmiri-allow-ptr-int-transmute	2022-06-06 16:07:30 -04:00
Ralf Jung	7f5cfa54d9	port some tests away from flags we want to remove	2022-06-06 11:44:36 -04:00
Ralf Jung	63625b0397	adjust for better provenance control	2022-06-06 11:43:25 -04:00
Ralf Jung	3d634c975c	rename test suite directories	2022-06-01 10:53:38 -04:00