-
Alexandre Duret-Lutz authored
* spot/twaalgos/langmap.cc, spot/ltsmin/ltsmin.cc: Add asserts to hide spurious "potential null pointer dereference" messages. * spot/twaalgos/tau03opt.cc (color_ref): Initialize pc to nullptr even when is_cyan is true so that valgrind does not report pc being used uninitialized in is_white().
fc205c18