tests/sav/nitj/fixme/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 true
  12 true
  13 true
  14 true
  15 true
  16 true
  17 true
  18
  19 true
  20 true
  21 false
  22 true
  23 true
  24 true
  25 true
  26 true
  27
  28 true
  29 true
  30 true
  31 true
  32 true
  33 true
  34 true
  35 true
  36
  37 true
  38 true
  39 true
  40 true
  41 true
  42 true
  43 true
  44 true
  45
  46 true
  47 true
  48 true
  49 true
  50 true
  51 true
  52 true
  53 true
  54
  55 true
  56 true
  57 true
  58 true
  59 true
  60 true
  61 true
  62 true
  63