Skip to content
  • Alexandre Duret-Lutz's avatar
    nra2nba: Fix initial state construction. · 78e63d03
    Alexandre Duret-Lutz authored
    This bug caused tgbatest/ltl2dstar.test to fail but because I had
    no ltl2dstar on my computer for a while, I only discovered it after
    David Müller and Joachim Klein reported a bug against ltlcross.
    It might be the case that their bug is different (I can't reproduce it
    using their format), but I hope it was caused by this as well.
    
    * src/dstarparse/nra2nba.cc: Revert 57cda2d9, with a comment.
    * THANKS: Add David.
    78e63d03