testsuite/bc_boolean.bc

   1 !0
   2 !1
   3 !(-129)
   4 4 && 5
   5 4 && 0
   6 0 && 5
   7 4 && 5 && 7
   8 4 && 0 && 7
   9 0 && 5 && 7
  10 4 && 5 && 0
  11 0 && 0 && 7
  12 4 && 0 && 0
  13 0 && 5 && 0
  14 !4 && 5
  15 !4 && 0
  16 !0 && 5
  17 4 && !5
  18 4 && !0
  19 0 && !5
  20 !4 && 5 && 7
  21 !4 && 0 && 7
  22 !0 && 5 && 7
  23 !4 && 5 && 0
  24 !0 && 0 && 7
  25 !4 && 0 && 0
  26 !0 && 5 && 0
  27 4 && !5 && 7
  28 4 && !0 && 7
  29 0 && !5 && 7
  30 4 && !5 && 0
  31 0 && !0 && 7
  32 4 && !0 && 0
  33 0 && !5 && 0
  34 4 && 5 && !7
  35 4 && 0 && !7
  36 0 && 5 && !7
  37 4 && 5 && !0
  38 0 && 0 && !7
  39 4 && 0 && !0
  40 0 && 5 && !0
  41 !4 && !5 && 7
  42 !4 && !0 && 7
  43 !0 && !5 && 7
  44 !4 && !5 && 0
  45 !0 && !0 && 7
  46 !4 && !0 && 0
  47 !0 && !5 && 0
  48 !4 && 5 && !7
  49 !4 && 0 && !7
  50 !0 && 5 && !7
  51 !4 && 5 && !0
  52 !0 && 0 && !7
  53 !4 && 0 && !0
  54 !0 && 5 && !0
  55 4 && !5 && !7
  56 4 && !0 && !7
  57 0 && !5 && !7
  58 4 && !5 && !0
  59 0 && !0 && !7
  60 4 && !0 && !0
  61 0 && !5 && !0
  62 !4 && !5 && !7
  63 !4 && !0 && !7
  64 !0 && !5 && !7
  65 !4 && !5 && !0
  66 !0 && !0 && !7
  67 !4 && !0 && !0
  68 !0 && !5 && !0
  69 3 < 4 && 7
  70 3 && 4 >= 4
  71 3 > 4 && 7
  72 3 && 4 >= 5
  73 3 < 4 && 0
  74 0 && 4 >= 4
  75 3 > 4 && 0
  76 0 && 4 >= 5
  77 3 > 4 && 0
  78 0 && 4 < 4
  79 3 >= 4 && 0
  80 0 && 4 >= 5
  81 3 < 4 && 7
  82 3 && 4 >= 4
  83 3 > 4 && 7 > 4
  84 3 >= 2 && 4 >= 5
  85 3 < 4 && 0 > -1
  86 4 < 3 && 4 >= 4
  87 3 > 4 && 3 == 3
  88 3 != 3 && 4 >= 5
  89 3 > 4 && 0 > 1
  90 0 >= 0 && 4 < 4
  91 3 >= 4 && 0 >= 1
  92 0 <= -1 && 4 >= 5
  93 4 || 5
  94 4 || 0
  95 0 || 5
  96 4 || 5 || 7
  97 4 || 0 || 7
  98 0 || 5 || 7
  99 4 || 5 || 0
 100 0 || 0 || 7
 101 4 || 0 || 0
 102 0 || 5 || 0
 103 !4 || 5
 104 !4 || 0
 105 !0 || 5
 106 4 || !5
 107 4 || !0
 108 0 || !5
 109 !4 || 5 || 7
 110 !4 || 0 || 7
 111 !0 || 5 || 7
 112 !4 || 5 || 0
 113 !0 || 0 || 7
 114 !4 || 0 || 0
 115 !0 || 5 || 0
 116 4 || !5 || 7
 117 4 || !0 || 7
 118 0 || !5 || 7
 119 4 || !5 || 0
 120 0 || !0 || 7
 121 4 || !0 || 0
 122 0 || !5 || 0
 123 4 || 5 || !7
 124 4 || 0 || !7
 125 0 || 5 || !7
 126 4 || 5 || !0
 127 0 || 0 || !7
 128 4 || 0 || !0
 129 0 || 5 || !0
 130 !4 || !5 || 7
 131 !4 || !0 || 7
 132 !0 || !5 || 7
 133 !4 || !5 || 0
 134 !0 || !0 || 7
 135 !4 || !0 || 0
 136 !0 || !5 || 0
 137 !4 || 5 || !7
 138 !4 || 0 || !7
 139 !0 || 5 || !7
 140 !4 || 5 || !0
 141 !0 || 0 || !7
 142 !4 || 0 || !0
 143 !0 || 5 || !0
 144 4 || !5 || !7
 145 4 || !0 || !7
 146 0 || !5 || !7
 147 4 || !5 || !0
 148 0 || !0 || !7
 149 4 || !0 || !0
 150 0 || !5 || !0
 151 !4 || !5 || !7
 152 !4 || !0 || !7
 153 !0 || !5 || !7
 154 !4 || !5 || !0
 155 !0 || !0 || !7
 156 !4 || !0 || !0
 157 !0 || !5 || !0
 158 3 < 4 || 7
 159 3 || 4 >= 4
 160 3 > 4 || 7
 161 3 || 4 >= 5
 162 3 < 4 || 0
 163 0 || 4 >= 4
 164 3 > 4 || 0
 165 0 || 4 >= 5
 166 3 > 4 || 0
 167 0 || 4 < 4
 168 3 >= 4 || 0
 169 0 || 4 >= 5
 170 3 < 4 || 7
 171 3 || 4 >= 4
 172 3 > 4 || 7 > 4
 173 3 >= 2 || 4 >= 5
 174 3 < 4 || 0 > -1
 175 4 < 3 || 4 >= 4
 176 3 > 4 || 3 == 3
 177 3 != 3 || 4 >= 5
 178 3 > 4 || 0 > 1
 179 0 >= 0 || 4 < 4
 180 3 >= 4 || 0 >= 1
 181 0 <= -1 || 4 >= 5