z3Exception：文件访问错误

Question

我一直在尝试使用z3 java绑定，并编写了以下代码：https://pastebin.com/x1Tcw10Z。我得到以下错误，并且不知道如何解决它。

com.microsoft.z3.Z3Exception：文件访问错误

at com.microsoft.z3.Native.parseSmtlib2File(Native.java:3665)
at com.microsoft.z3.Context.parseSMTLIB2File(Context.java:2584)
at JavaExample1.smt2FileTest(JavaExample1.java:57)
at JavaExample1.main(JavaExample1.java:144)

注意：文件正在转换为字符串，并且没有问题。

请帮助。提前谢谢。

Answer 1

您正在调用p.smt2FileTest(contents);，即ctx.parseSMTLIB2File将获取文件的内容，而不仅仅是文件的名称。您可以改为使用parseSMTLIB2String。