[Spot] Bug in version 2.8.6
Reuben.Rowe at rhul.ac.uk
Sat Feb 22 17:07:03 CET 2020
Hi Spot Team,
I am trying to compile Cyclist (cyclist-prover.org) against the latest
version (2.8.6) of Spot, and I am getting an error.
Cyclist is including spot/twa/twa.hh, and when compiling I get the
In file included from
In constructor ‘spot::bitset<N>::bitset(spot::bitset<N>::word_t)’:
error: constexpr constructor does not have empty body
In fact, I also get this error when trying to compile again versions
2.6.3 and 2.7.5 too.
When I try to compile against version 2.5.3, I get the error that there
is no such file spot/twa/twa.hh.
Is this a bug, or has the API changed? If the latter, how should I
update my code to use the newer versions?
Lecturer, Dept of Computer Science
Royal Holloway, University of London
Tel: +44 (0)1784 276827
More information about the Spot