tests/sav/test_array_formal.res

   1 true
   2 true
   3 false
   4
   5 true
   6 true
   7 false
   8
   9 true
  10 true
  11 false
  12
  13 true
  14 true
  15 false
  16
  17
  18 true
  19 true
  20 true
  21
  22 true
  23 true
  24 true
  25
  26 true
  27 true
  28 true
  29
  30 true
  31 true
  32 true
  33
  34
  35 true
  36 true
  37 false
  38
  39 true
  40 true
  41 false
  42
  43 true
  44 false
  45 false
  46
  47 true
  48 false
  49 false
  50
  51