Show progress bar for CProver analyses
There should be a progress bar, while a CProver analysis is performed.
(from redmine: issue id 1616, created on 2013-08-14, closed on 2013-09-26)
There should be a progress bar, while a CProver analysis is performed.
(from redmine: issue id 1616, created on 2013-08-14, closed on 2013-09-26)