6 Commits

Author	SHA1	Message	Date
Ralf Jung	7d623f73cc	do not use 'let _', it is strange	2018-11-26 15:31:53 +01:00
Ralf Jung	f56841d974	unignore a bunch of tests that actually work	2018-08-30 15:57:17 +02:00
Oliver Schneider	20c2e0bede	Test miri on mac os	2018-05-11 11:29:18 +02:00
Oliver Schneider	cf92528426	Add windows support	2017-09-16 14:02:59 +02:00
Ralf Jung	060bb2fa9f	use ui test mode rather than mir-opt ... These tests are not run per default	2017-09-16 12:36:31 +02:00
Ralf Jung	668491a892	Work on making validation test pass again ... Turns out that tracking write locks by their lifetime is not precise enough, but for now, we don't have an alternative. Also, we need to force_allocate what we acquire or else the memory will not be in the right state.	2017-08-09 15:49:47 -07:00