summary refs log tree commit diff
path: root/src/test/mir-opt/validate_2.rs
AgeCommit message (Expand)AuthorLines
2017-12-03fix tests in wasmAriel Ben-Yehuda-0/+2
2017-12-03funnel all unwind paths through a single Resume blockAriel Ben-Yehuda-1/+1
2017-11-28tests: update to include move annotations in MIR.Eduard-Mihai Burtescu-1/+1
2017-11-09change MIR dump filenames from `nodeN` to `DefPath`Mikhail Modin-2/+2
2017-10-09Update README and tests for new infrastructureChristopher Vittal-0/+8
2017-07-31more readable printing of validation operandsRalf Jung-2/+2
2017-07-31optionally only emit basic validation for functions containing unsafe block /...Ralf Jung-1/+1
2017-07-30silence tidyRalf Jung-0/+1
2017-07-30Add tests for emitting validation statementsRalf Jung-0/+26