Back to all issues

Issue 5205

Bug: Communication error - Backend process died unexpectedly


SubmittedProductStatus
2023-04-11Reactis for SimulinkResolved in 2022.2.2 (released Jun 30, 2023; release notes)
Resolved in 2022.0.4 (released Jun 30, 2023; release notes)

When starting Simulator or Tester, the GUI hangs for about 30 seconds and then brings up a "Communication Error" message box saying "Backend process dies unexpectedly (exit code 0x00000001) unhandled exception: DynLinkError: "libz3.dll": The specified module could not be found"

This happens if "Visual C++ Redistributable for Visual Studio 2015" is not installed on the system. Workaround is downloading and installing the following Microsoft package:

https://www.microsoft.com/en-gb/download/details.aspx?id=48145