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