У меня есть проект на C #, который использует библиотеку Z3. Проект работает и прекрасно работает сам по себе. Но я пытаюсь добавить второй проект в основное решение и использовать второй проект в качестве проекта модульного тестирования для первого и основного проекта. Во втором проекте я добавляю ссылку на первый проект, а также устанавливаю NUnit из «Управление пакетами NuGet ...». Но после того, как я собрал полное решение и попытался запустить модульные тесты, я получил сообщение об ошибке:
System.BadImageFormatException: не удалось загрузить файл или сборку 'Microsoft.Z3, версия = 4.5.0.0, культура = нейтральная, PublicKeyToken = 9c8d792caae602a2' или одна из ее зависимостей. Предпринята попытка загрузить программу с неверным форматом.
Что я делаю не так?