tests/sav/base_attr_isset_alt3.sav

   1 1
   2 false
   3 false
   4 2
   5 true
   6 false
   7 3
   8 true
   9 false
  10 Uninitialized attribute _a2 (alt/base_attr_isset_alt3.nit)
  11 ,---- Stack trace -- - -  -
  12 | check new Foo (alt/base_attr_isset_alt3.nit:0)
  13 | new Foo base_attr_isset_alt3::Foo::init (alt/base_attr_isset_alt3.nit:53)
  14 | base_attr_isset_alt3::Sys::main (alt/base_attr_isset_alt3.nit:100)
  15 `------------------- - -  -