Skip to content
  • Alexandre Duret-Lutz's avatar
    Cosmetics. · 12783ff7
    Alexandre Duret-Lutz authored
    * src/sanity/style.test: Catch some binary operators not
    delimited with spaces.
    * src/tgbaalgos/bfssteps.cc, src/tgbaalgos/magic.cc,
    src/tgbaalgos/reducerun.cc, src/tgbaalgos/se05.cc,
    src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc: Fix these.
    12783ff7
To find the state of this project's repository at the time of any of these versions, check out the tags.