Fixed pins interface for mCRL2

utwente-fmt / ltsmin

The LTSmin model checking toolset

http://ltsmin.utwente.nl

BSD 3-Clause "New" or "Revised" License

51 stars 30 forks source link

Fixed pins interface for mCRL2 #223

Open mlaveaux opened 5 months ago

mlaveaux commented 5 months ago

Two small changes to accommodate for some smaller clean ups performed in mCRL2. Unfortunately the latest development version of ltsmin does not (yet) work, but the latest release build does.

Renamed mcrl2_logger to logger.
Renamed JITTYC_AVAILABLE to MCRL2_ENABLE_JITTYC.