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

Show model checking time and show percentage of queue processed

Description

When model checking runs one can see the running time so far in the Verifications view.
It would be nice to also see how much of the Queue in percentage terms has been processed,
possibly the absolute Queue size as well (can be computed from the statistics).

Status

Assignee

Fabian Vu

Reporter

Michael Leuschel

Labels

None

Priority

Major