Update brp.mcrl2, this has been changed recently.

utwente-fmt / ltsmin

The LTSmin model checking toolset

http://ltsmin.utwente.nl

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

52 stars 30 forks source link

Closed Meijuh closed 7 years ago

Meijuh commented 7 years ago

We do not use the brp.mcrl2 anymore, instead we use a smaller mcrl2 now: c5b19c1614a86a20065d10c134ad9d0355b0039f.