Ralf Jung 2a1d7666ed Merge pull request #286 from RalfJung/mir-validate ...

Update MIR validation and test it

2017-08-04 22:02:52 -07:00

..

compile-fail

selectively disable validation in compile-fail where appropriate. cargo test now passes :)

2017-08-03 18:13:23 -07:00

compile-fail-fullmir

Also move some compile-fail tests to fullmir-only

2017-06-21 15:07:40 +02:00

run-pass

Merge pull request #286 from RalfJung/mir-validate

2017-08-04 22:02:52 -07:00

run-pass-fullmir

make test suite MIR validation aware. run-pass passes with and without fullmir, if optimizations are disabled!

2017-08-03 18:13:22 -07:00

compiletest.rs

for now, disable validation on optimized tests -- inlining breaks validation

2017-08-03 18:13:23 -07:00