search

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

Uninitialized memory #179

Closed yanntm closed 4 years ago

yanntm commented 4 years ago

Hi, Sorry to reopen this issue #142 , but it is in fact not patched in "master", so I still get valgrind complaints when debugging. It is just a very small patch : set to zero at allocation. https://github.com/utwente-fmt/ltsmin/pull/142/commits/470cb28cc715716159afbfcc498b5fc8e7ee3ce7

I have some difficult to reproduce crashes currently I'm trying to diagnose, this is not helping. Thanks yann

yanntm commented 4 years ago

this is closed by the accepted PR https://github.com/utwente-fmt/ltsmin/pull/182