2 commits

Author	SHA1	Message	Date
Ralf Jung	58a17026c9	Let -Zmir-emit-validate also control whether miri even acts on the validation commands	2017-08-03 18:13:23 -07:00
Oliver Schneider	fb2d393427	update tests	2017-02-09 10:59:42 +01:00