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

Fixed some issues #151

Closed alaarman closed 6 years ago

alaarman commented 6 years ago

As there is a workaround for the NDFS issue, I won't focus on it. @yanntm request for a fix for #145 has been addressed though, as well as a fix for #135.

yanntm commented 6 years ago

Awesome, Thanks a lot Alfons.

alaarman commented 6 years ago

Fixed in d5660bb6c4237f74038acfd6f8d6afdd5b4ab629

alaarman commented 6 years ago

Should I create a new pull request @Meijuh ?

Meijuh commented 6 years ago

@alaarman, why? This pull request is fine right?

alaarman commented 6 years ago

I didn't know the pull request would be updated automatically. Take this one :)

alaarman commented 6 years ago

@Meijuh The tests on Linux fail because Sylvan is missing?