Oliver Schneider e28f873756
actually error on failing miri-pass tests
+ remove a test that never succeeded
2016-09-26 17:49:53 +02:00
..
2016-09-22 15:47:16 +02:00