search

mCRL2org / mCRL2

The Git repository for the mCRL2 toolset.
https://mcrl2.org/
Boost Software License 1.0
88 stars 36 forks source link

ltsgraph crashes when reading an non existing file. #1278

Closed jgroote closed 10 years ago

jgroote commented 10 years ago

Issue migrated from trac ticket # 1277

component: ltsgraph | priority: major | resolution: duplicate

2014-05-02 09:50:50: @jgroote created the issue

Carrying out the following command, where temp.aut does not exist leads to a crash of ltsgraph (on MacOs), translated in Debug mode with the additional -DNDEBUG flag added. Don't think this last info is relevant.

[dyn069244:jfg/DEWI_in_home_network/trickle] jfg% ~/MCRL2/bin/ltsgraph.app/Contents/MacOS/ltsgraph temp.aut QPixmap::scaled: Pixmap is a null pixmap QPixmap::scaled: Pixmap is a null pixmap QPixmap::scaled: Pixmap is a null pixmap 2014-05-02 09:47:46.694 ltsgraph[491:303] modalSession has been exited prematurely - check for a reentrant call to endModalSession: 2014-05-02 09:47:49.165 ltsgraph[491:303] modalSession has been exited prematurely - check for a reentrant call to endModalSession: Segmentation fault

jgroote commented 10 years ago

2014-06-13 15:06:13: scranen@win.tue.nl changed status from new to closed

jgroote commented 10 years ago

2014-06-13 15:06:13: scranen@win.tue.nl set resolution to duplicate

jgroote commented 10 years ago

2014-08-26 16:45:23: scranen@win.tue.nl