Я выполняю CBMC из командной строки MS Visual Studio.Я построил решение с использованием MSBuild и передал его через goto-cc для получения исполняемого файла.Этот исполняемый файл при передаче в cbmc дает результат только для основного проекта, который содержит main.c.Поток не связывает другие проекты, присутствующие в решении, где могут быть найдены потенциальные проблемы.Я думаю, что программа не идет потоком.Есть ли способ связать проекты во время выполнения?