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

Add messages for empty product LTL results #157

Closed vbloemen closed 6 years ago

vbloemen commented 6 years ago

Addresses #118