search

mCRL2org / mCRL2

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

Assertion failure when loading trace #966

Closed jgroote closed 12 years ago

jgroote commented 12 years ago

Issue migrated from trac ticket # 963

component: ltsview | priority: critical | resolution: fixed

2012-01-31 16:27:10: @jkeiren created the issue

I experience the following issue using r10211 on Linux-x64.

ltsview a.aut

Then File -> Open Trace -> a.trc; The tool crashes with the following assertion failure:

[16:25:13.662 verbose] Detected Aldebaran extension.

ltsview: /data/mcrl2/src/libraries/lts/include/mcrl2/lts/lts.h:308: mcrl2::lts::detail::state_label_fsm mcrl2::lts::lts<mcrl2::lts::detail::state_label_fsm, mcrl2::lts::detail::action_label_string>::state_label(const states_size_type) const: Assertion `m_nstates==m_state_labels.size()' failed.
jgroote commented 12 years ago

2012-01-31 16:27:32: @jkeiren uploaded file a.aut.gz (150.4 KiB)

Problematic state space

jgroote commented 12 years ago

2012-01-31 16:27:45: @jkeiren uploaded file a.trc (9.6 KiB)

Trace file that triggers the issue

jgroote commented 12 years ago

2012-01-31 16:28:51: @jkeiren commented

This may be related to bug #860

jgroote commented 12 years ago

2012-02-01 08:22:38: anonymous commented

In release mode this behaviour gives rise to a crash.

jgroote commented 12 years ago

2012-02-13 16:33:59: @jkeiren commented

Further investigation shows that, for LTSview to function properly when loading traces, an LTS in .lts or .fsm format is needed. A warning should be added before the upcoming release.

The tool should be refactored to use the trace library for handling traces!

jgroote commented 12 years ago

2012-02-14 11:21:45: @jgroote changed status from new to closed

jgroote commented 12 years ago

2012-02-14 11:21:45: @jgroote set resolution to fixed

jgroote commented 12 years ago

2012-02-14 11:21:45: @jgroote commented

Resolved in commit r10276