CProver Analysis is not able to deal with component names with whitespace
The CProver Analysis is not able to analyze components which’s names contain whitespace.
(from redmine: issue id 1678, created on 2013-09-04, closed on 2013-10-07)
The CProver Analysis is not able to analyze components which’s names contain whitespace.
(from redmine: issue id 1678, created on 2013-09-04, closed on 2013-10-07)