tests/sav/base_attr3_alt1.sav

   1 alt/base_attr3_alt1.nit:22,3--8: Visibility error: Property base_attr2::A::a1= is private.
   2 alt/base_attr3_alt1.nit:24,3--8: Visibility error: Property base_attr2::A::a2= is private.
   3 alt/base_attr3_alt1.nit:25,3--4: Visibility error: Property base_attr2::A::a3 is private.
   4 alt/base_attr3_alt1.nit:26,3--8: Visibility error: Property base_attr2::A::a3= is private.
   5 alt/base_attr3_alt1.nit:31,3--4: Visibility error: Property base_attr2::A::a6 is private.
   6 alt/base_attr3_alt1.nit:37,3--4: Visibility error: Property base_attr2::A::a9 is private.
   7 alt/base_attr3_alt1.nit:40,3--9: Visibility error: Property base_attr2::A::a10= is private.
   8 alt/base_attr3_alt1.nit:42,3--9: Visibility error: Property base_attr2::A::a11= is private.
   9 alt/base_attr3_alt1.nit:43,3--5: Visibility error: Property base_attr2::A::a12 is private.
  10 alt/base_attr3_alt1.nit:44,3--9: Visibility error: Property base_attr2::A::a12= is private.