4 Commits

Author	SHA1	Message	Date
Oliver Schneider	ef5fc75c35	various testing improvements	2016-04-22 20:09:00 +02:00
Oliver Schneider	211c12a1d0	use compiletest_rs	2016-04-22 10:34:14 +02:00
Scott Olson	877d2d900e	Abort miri if the Rust code had compilation errors.	2016-03-21 02:54:20 -06:00
Scott Olson	5e0ba54d00	Move miri binary source into src/bin.	2015-12-12 00:46:03 -06:00