tests/run-pass/bools.rs

   1 #![feature(custom_attribute)]
   2 #![allow(dead_code, unused_attributes)]
   3
   4 #[miri_run]
   5 fn boolean() -> bool {
   6     true
   7 }
   8
   9 #[miri_run]
  10 fn if_false() -> i64 {
  11     let c = false;
  12     if c { 1 } else { 0 }
  13 }
  14
  15 #[miri_run]
  16 fn if_true() -> i64 {
  17     let c = true;
  18     if c { 1 } else { 0 }
  19 }
  20
  21 #[miri_run]
  22 fn match_bool() -> i16 {
  23     let b = true;
  24     match b {
  25         true => 1,
  26         _ => 0,
  27     }
  28 }
  29
  30 #[miri_run]
  31 fn main() {
  32     assert!(boolean());
  33     assert_eq!(if_false(), 0);
  34     assert_eq!(if_true(), 1);
  35     assert_eq!(match_bool(), 1);
  36 }