search

mCRL2org / mCRL2

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

label in aut-file in wrong format after conversion with svc2aut #505

Closed jgroote closed 16 years ago

jgroote commented 16 years ago

Issue migrated from trac ticket # 503

component: lps2lts | priority: major | resolution: invalid | keywords: aut-file

2008-11-04 09:22:06: vdpol@cs.utwente.nl created the issue

The labels in the aut-file are in some internal format (MultiAct(blablabla)). I expect the labels in externally meaningfull format, similar to the labels defined in the model, and similar to those shown in the simulator.

This is important to compare the aut-files with results of external tools.

jgroote commented 16 years ago

2008-11-04 09:56:44: muck@mweerden.net commented

Can you describe how you exactly generated the LTS? I don't seem to be able to reproduce the problem with the latest release and development versions.

jgroote commented 16 years ago

2008-11-04 10:16:28: muck@mweerden.net changed status from new to closed

jgroote commented 16 years ago

2008-11-04 10:16:28: muck@mweerden.net changed resolution from * to invalid*

jgroote commented 16 years ago

2008-11-04 10:16:28: muck@mweerden.net changed title from label in aut-file in wrong format to label in aut-file in wrong format after conversion with svc2aut

jgroote commented 16 years ago

2008-11-04 10:16:28: muck@mweerden.net commented

(Changed title according to private communication.)

We store actions and states in the mCRL2 internal format which requires special pretty-print functions to obtain the desired string representations. The svc2aut tool does not know about any such specific details. Please use ltsconvert to convert a mCRL2 SVC file to the Aldebaran format.