src/doc/term/tests/test_term.sav/test_lin.res

   1 Linearization for `test_prog::Object::init`:
   2
   3  + test_prog$Object$init
   4    init init
   5    test_location
   6
   7  * test_prog$Race$Object::init
   8    redef init init
   9    test_location
  10