We're updating the issue view to help you get more done. 

Display model checking progress

Description

It would be nice to see progress during model checking task:

  • number of states processed (also in %)

  • total number of states, transitions ,...

Status

Assignee

Fabian Vu

Reporter

Michael Leuschel

Labels

None

Priority

Major