我是 KeyY 的新手，我正在尝试设置所有内容，以便我可以开始验证程序。为此，我需要启用 SMT Solver: Z3。我下载了Z3文件，但是在KeyY中Z3设置的命令行中填写目录路径时，得到错误“null”（见截图）。我为我的 Z3.exe 文件尝试了许多不同的位置，但仍然出现相同的错误。我通过转到文件->右键单击->按选项键（macbook）->复制路径来获得目录路径。
有没有人知道我做错了什么？
提前致谢！
错误截图 （为隐私起见已删除名称）
我是 KeyY 的新手，我正在尝试设置所有内容，以便我可以开始验证程序。为此，我需要启用 SMT Solver: Z3。我下载了Z3文件，但是在KeyY中Z3设置的命令行中填写目录路径时，得到错误“null”（见截图）。我为我的 Z3.exe 文件尝试了许多不同的位置，但仍然出现相同的错误。我通过转到文件->右键单击->按选项键（macbook）->复制路径来获得目录路径。
有没有人知道我做错了什么？
提前致谢！
错误截图 （为隐私起见已删除名称）
