Use for-loop with counter for CProver analyses
Use for-loop with counter for CProver analyses instead of a while loo
(from redmine: issue id 1552, created on 2013-07-31, closed on 2013-08-04)
Use for-loop with counter for CProver analyses instead of a while loo
(from redmine: issue id 1552, created on 2013-07-31, closed on 2013-08-04)