search

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

Fix Renault assertion trigger. #152

Closed vbloemen closed 6 years ago

vbloemen commented 6 years ago

Addresses #148