Insufficient output

[HubertGaravel]

In its log on stdout, Storm does not display the name of the input model. (Actually, it is displayed in the command line, but it is uneasy to extract it from here, among all other arguments).

This is annoying when many models are processes in sequence and that one wants to automatically extract the probabilities to build tables.

Suggestion: in the following table, insert a first line giving the name of the model. This will be helpful for bulk use of Storm.

---

Model name: 56_0007_010.ma -- here, the new line to be inserted. Model type: Markov Automaton (sparse) States: 8560 Transitions: 36427 Choices: 9224 Markovian St.: 8008 Max. Rate: 146.16404 Reward Models: none State Labels: 3 labels

• deadlock -> 0 item(s)
• init -> 1 item(s)

• avail -> 6145 item(s) Choice Labels: none

[HubertGaravel]

superseded by issue #637

[volkm]

By the way, you can edit an issue by clicking on the three dots at the top of the post and then selecting "Edit".