z3 - 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)

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

请帮忙。提前致谢。

标签： z3

Answer 1

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