This error occurs on a Mac after a new installation of Dafny, with Z3. It is a result of security policies on the Mac.

You can fix the result by running the shell script that is part of the release.

The problem can arise with other components of Dafny as well.