* src/bin/ltlcross.cc: Add a %H modifier. * src/tgbatest/ltlcross2.test: Exercise it.
Attach a file by drag & drop or click to upload
Alexandre Duret-Lutz authored