tests/sav/nitce/fixme/base_formal_isa.res

   1 A
   2 true
   3 true
   4 false
   5
   6 G
   7 true
   8 true
   9 false
  10 true
  11 false
  12
  13 G
  14 A
  15 false
  16 true
  17 true
  18 false
  19 false
  20 false
  21 false
  22 true
  23 false