CProver Analysis fails on Windows, if project path contains spaces
If the path to a project contains folder names with whitespaces, the cprover analysis fails.
At least on windows, there will always be a “successful” analysis result, if the cbmc command is not valid.
(from redmine: issue id 1826, created on 2013-11-01, closed on 2013-11-08)