tests/sav/test_map_closure_default_alt1.res

   1 Runtime error: Aborted (alt/test_map_closure_default_alt1.nit:19)
   2 B:
   3 true
   4 blue
   5 R:
   6 false
   7 red
   8 true
   9 red
  10 N:
  11 false
  12 black
  13 false