• Alexandre Duret-Lutz's avatar
    Spot wants `^', not `xor'. · bbba8ca9
    Alexandre Duret-Lutz authored
    * src/SpotWrapper.hh (SpotWrapper::SPOT_XOR): Declare.
    * src/SpotWrapper.cc (SpotWrapper::SPOT_XOR): Define.
    (SpotWrapper::translateFormula): Use SPOT_XOR.
    bbba8ca9
To find the state of this project's repository at the time of any of these versions, check out the tags.