tests/sav/test_map_closure_default_alt1.sav

   1 B:
   2 true
   3 blue
   4 R:
   5 false
   6 red
   7 true
   8 red
   9 N:
  10 false
  11 black
  12 false
  13 Aborted in test_map_closure_default_alt1::Map::get (alt/test_map_closure_default_alt1.nit:19)
  14 ,---- Stack trace -- - -  -
  15 | test_map_closure_default_alt1::Map::get (alt/test_map_closure_default_alt1.nit:18)
  16 | test_map_closure_default_alt1::Sys::(kernel::Sys::main) (alt/test_map_closure_default_alt1.nit:28)
  17 `------------------- - -  -