[Spot] Bug in version 2.8.6

Rowe, Reuben 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 
following error:

In file included from 
/home/cim/staff/uhac003/Academic/Resources/Spot/spot-2.8.6/install/include/spot/twa/acc.hh:28:0,
                  from 
/home/cim/staff/uhac003/Academic/Resources/Spot/spot-2.8.6/install/include/spot/twa/twa.hh:27,
                  from src/soundness/proof_aut.hpp:4,
                  from src/soundness/proof_aut.c:1:
/home/cim/staff/uhac003/Academic/Resources/Spot/spot-2.8.6/install/include/spot/misc/bitset.hh: 
In constructor ‘spot::bitset<N>::bitset(spot::bitset<N>::word_t)’:
/home/cim/staff/uhac003/Academic/Resources/Spot/spot-2.8.6/install/include/spot/misc/bitset.hh:57:5: 
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?

Thanks,

Reuben

-- 
Lecturer, Dept of Computer Science
Royal Holloway, University of London
Egham
Surrey
TW20 0EX

Tel: +44 (0)1784 276827



More information about the Spot mailing list