summary refs log tree commit diff
path: root/src/test/mir-opt/validate_2.rs
AgeCommit message (Expand)AuthorLines
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