tests/sav/base_isa_formal_type.res

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